标准是否要求在调用函数时显式强制转换以取消 * 参数？-解网

问：

请考虑以下函数声明：

void foo(void *);

该标准有关于函数调用的明确段落：6.5.2.2/p7

如果表示被调用函数的表达式的类型确实包含一个原型，参数是隐式转换的，因为如果通过赋值，则对相应的参数类型进行，取每个参数的类型是其声明的类型。

因此，参数转换就像通过简单的赋值一样执行。现在考虑简单分配的规则：6.5.16.1/p1

左操作数具有原子、限定或非限定指针类型，和（考虑左操作数在左值之后的类型 conversion）一个操作数是指向对象类型的指针，另一个操作数是指向对象类型的指针是指向 void 的限定或非限定版本的指针，并且 left 指向的 type 具有 point 类型的所有限定符到右边;

因此，从任何指针类型转换为指针类型（反之亦然）由赋值运算符规则保证。现在，由于保证了转换为以下内容的合法性：void *6.3.2.3/p1void *

指向 void 的指针可以转换为指向任何对象的指针，也可以从指向任何对象的指针转换类型。

为了调用函数，显式是必需的。例：(void *)

struct some_struct *ptr = //...
foo(ptr) // non conforming
foo((void *) ptr) //conforming

问题：在调用上面示例中的函数时，是否需要显式转换为符合要求，或者我错过了某些内容？void *

C 函数指针

@St.Antario：好吧，如果你搞砸了，结果是不稳定的。你也不能释放一个。因此，我的评论适用于非限定指针——您必须显式处理限定符（尽管添加——例如，使用参数调用函数并将非常量指针传递给某个对象——不需要强制转换;OTOH，移除或确实需要石膏）。volatileconst Anything *constconst void *constvolatile

1赞 Adrian Mole 10/15/2023

我真的看不出你的问题，在这里。您给出的第一个引文说，第一个调用（您已将其标记为不符合要求）隐式执行赋值，然后使用 'temporary' 调用函数。你的第二个引文说 - 非常清楚 - 这样的赋值是有效的：一个操作数是指向对象类型的指针，另一个是指向 void 的限定或非限定版本的指针void* vptr = ptrvptr

答：

3赞 Toby Speight 10/15/2023 #1

你错过了一些东西——即使你引用了它。

考虑问题中代码的这个略微修改的版本：

void foo(void *p);

struct some_struct *ptr;
foo(ptr);

当我们调用时，我们分配它的参数，就好像foop

void *p = ptr;

这是完全有效的，因为

左操作数有......非限定指针类型，以及
一个操作数（即）是指向对象类型的指针，并且ptr
另一个操作数（） 是指向 void 的限定或非限定版本的指针，并且p
左边指向的类型具有右边指向的类型的所有限定符（即两边都没有限定符）。

上一个：在 C 中将 char 数组从函数返回给变量

下一个：C size的传递数组 [duplicate]

标准是否要求在调用函数时显式强制转换以取消 * 参数？

Does the Standard require explicit casting to void * argument when calling a function?

评论