C - 奇怪的原型论证

Question

这个函数原型发生了什么？显然，带有某种类型转换的 void 参数令人困惑......

int *my_func(my_struct *m, void (*m_op)(my_struct *v, void arg));

Answer 1

函数 my_func 的第二个参数是一个指向函数的指针，该函数不返回任何值 (void)，但它接受两个参数，一个 my_struct指针和...和（无效的）void。后者可能应该是 void *arg;您不能拥有 void 类型的变量或参数。按照目前的情况，代码不应该编译。

Answer 2

此原型声明了一个返回 int * 的函数 my_func。它有两个参数，第一个是 my_struct * 类型，第二个是奇怪的类型 void (*)(my_struct *, void)。这意味着第二个参数是一个指向返回 void 的函数的指针，它本身有两个参数，一个指向 my_struct 和 void 的指针（我认为这是一个拼写错误，它接受一个void *）。

Answer 3

这篇小文章解释了如何以螺旋状的方式解析 C 声明。构建过程是相反的。

Answer 4

我的建议 - 始终尝试将声明拆分为较小的声明 - 在这种情况下代码将更具可读性。在这种情况下，您可以将代码重写为：

typedef struct {} my_struct;

typedef void (* m_op_function)(my_struct * v, void * arg);

int * my_func(my_struct * m, m_op_function f);

正如大家所说 - 关于 m_op_function 的第二个参数，这里几乎有 99,99% 的拼写错误 - 可能是 void* - 这样您就可以传递任何指针到它 - 无论是 (char*)、(int*)、(my_struct*) 或其他任何内容。只需投射指针即可。