c - 参数如何有类型但没有名称？

Question

我看到一个问题被标记为骗子，但问题的一部分没有得到骗子的回答，我也没有找到合适的骗子来纠正它。所以这里。

我曾经看到过这样的声明:

int (*function)(int, float);

我真的不明白。它需要两个参数，但它们没有名称。这是如何运作的？我的意思是，在声明这样的函数时:

int f(int x, int y) {
    return x+y;
}

如果没有标识符，这怎么可能呢？我注意到这不起作用，甚至在第一行给出编译器错误，说

int f(int, int) {
    return /* What should I even write here? */ ;
}

我收到两个错误:

f.c:1:7: error: parameter name omitted
 int f(int, int)
       ^~~
f.c:1:7: error: parameter name omitted
 int f(int, int)
            ^~~

Answer 1

可以用函数原型(prototype)最容易地解释它。函数原型(prototype)声明了一个函数，但没有定义它。
原型(prototype)的一个目的是它可以使用不同的编译单元。您将原型(prototype)放在头文件中，将定义放在源文件中。这使得编译目标文件成为可能。然后，当您包含头文件并与目标文件链接时，您不需要重新编译这些函数。
另一个原因是它允许一次性编译。编译器只需要读取一次源代码。在此处阅读更多信息:https://pediaa.com/what-is-the-difference-between-single-pass-and-multipass-compiler/
如果您出于某种原因希望两个函数相互调用，它们也很有用。考虑这个例子:

void fun1(void) {
    fun2();
}

void fun2(void) {
    fun1();
}

当然这将是一个无限循环，但关键是这不会编译。 fun2会编译，但是当我们来到 fun1我们不知道 fun2存在。解决方案是使用函数原型(prototype)。

void fun2(void);

void fun1(void) {
    fun2();
}

void fun2(void) {
    fun1();
}

当您看到这是目的时，很明显函数原型(prototype)只是一个声明。它不做任何事情。声明 int f(float, char*);只是说存在一个名为 f 的函数.它返回一个 int , 它需要 float和一个 char*作为论据。因此，对于您的问题，由于它从不对参数做任何事情，因此不需要名称来引用它们。只有定义可以。这就是为什么你会得到编译器错误 error: parameter name omitted您在问题中发布的内容:
您的示例不是函数，而是函数指针。同样的原因也适用于那里。您可以使函数指针指向函数，但只有函数定义需要参数标识符。阅读有关函数指针的更多信息 here
如果需要，您实际上可以为声明和定义中的参数使用不同的名称。这样做的一个潜在用途(我不是说它是好是坏。只是表明它是可能的)是对原型(prototype)中的变量使用描述性名称，但在定义中更短。这编译得很好，例如:

void backwards(const char *inputString, char *outputString);

void backwards(const char *is, char *os) {
    size_t l = strlen(is);
    for(size_t n=0; n<l; n++)
        os[l-n-1]=is[n];
    os[l]='\0';
}

这样做的一个正当理由是头文件通常用作接口(interface)，因此说标识符必须在此处更具描述性是有道理的。同样，我只是表明这是可能的，并没有说你应该或不应该这样做。
在谈到原型(prototype)时，值得一提的是许多人不知道的事实。原型(prototype) void f();不声明不带参数的函数。它声明了一个带有未指定数量参数的函数。声明不带参数的函数的正确方法是 void f(void); .当涉及到函数指针时，这可能很重要。看看我从另一个答案中复制的这个例子:

$ cat main.c 
int foo() { return 0; }
int bar(int a) { return a; }

int main(void)
{
    int (*f)();
    f=foo;
    f=bar;
    int(*g)(void);
    g=foo;
    g=bar;
}

这会生成此警告:

$ gcc main.c 
main.c: In function ‘main’:
main.c:11:3: warning: assignment to ‘int (*)(void)’ from incompatible pointer type ‘int (*)(int)’ [-Wincompatible-pointer-types]
  g=bar;
   ^

对于常规函数原型(prototype)，如果您愿意，可以完全跳过参数。这编译并运行得很好:

void foo();

int main() {
    foo(5,6);
}

void foo(int x, int y) {
    printf("The sum is: %d\n", x+y);
}

以上不适用于 C++，因为 C++ 不支持带有未指定参数的原型(prototype)。在 C++ 中， void f();与 void f(void); 完全相同.这就是为什么 C 不能支持函数重载而 C++ 可以的原因。
最后，一个带有您提供的代码段的编译示例:

// Declaration of function pointer
int (*function)(int, float);
// Declaration of function
int foo(int, float);
// Definition of function
int foo(int x, float y) {
    return x;
}
// Assign the function pointer
function = foo;

TL;博士
您基本上可以通过两种方式(不包括可变参数函数)声明函数原型(prototype):

<return type> <name>();它声明了一个带有未指定参数的函数，并且将适合任何具有正确名称和返回类型的函数定义，而与参数无关。

<return type> <name>(<type> [<name>], <type> [<name>] ... );它声明了一个具有指定参数类型的函数。这些名称不是强制性的，可以与定义中的名称不同。声明没有参数的函数的正确方法是 <return type> <name>(void);