【问题标题】：How can a parameter have type but no name?参数如何有类型但没有名称？
【发布时间】：2019-11-19 13:12:29
【问题描述】：

我看到一个被标记为欺骗的问题，但问题的一部分没有得到欺骗的回答，而且我没有找到合适的欺骗来纠正它。就这样吧。

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

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)
            ^~~

【问题讨论】：

标签： c function-pointers function-prototypes

【解决方案1】：

用函数原型可以最容易地解释它。函数原型声明一个函数，但没有定义它。

原型的一个目的是它使不同的编译单元成为可能。您将原型放在头文件中，将定义放在源文件中。这使得编译目标文件成为可能。然后，当您包含头文件并与目标文件链接时，您不需要重新编译这些函数。

另一个原因是它允许一次性编译。编译器只需要读取一次源代码。在此处阅读更多信息：https://pediaa.com/what-is-the-difference-between-single-pass-and-multipass-compiler/

如果您出于某种原因希望两个函数相互调用，它们也很有用。考虑这个例子：

void fun1(void) {
    fun2();
}

void fun2(void) {
    fun1();
}

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

void fun2(void);

void fun1(void) {
    fun2();
}

void fun2(void) {
    fun1();
}

当你看到这是目的时，很明显函数原型只是一个声明。它不做任何事情。声明int f(float, char*); 只是说存在一个名为f 的函数。它返回一个int，并将float 和char* 作为参数。因此，对于您的问题，由于它从不对参数做任何事情，因此不需要名称来引用它们。只有定义可以。这就是为什么您会收到您在问题中发布的编译器错误error: parameter name omitted：

您的示例不是函数，而是函数指针。同样的原因也适用于那里。您可以使函数指针指向函数，但只有函数定义需要参数标识符。阅读更多关于函数指针here

如果需要，您实际上可以为声明和定义中的参数使用不同的名称。这样做的一个潜在用途（我不是说它是好是坏。只是表明它是可能的）是对原型中的变量使用描述性名称，但在定义中更短。这编译得很好，例如：

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';
}

这样做的一个正当理由是头文件通常用作接口，因此说标识符必须在此处更具描述性是有道理的。同样，我只是表明这是可能的，并没有说你应该或不应该这样做。

说到原型，值得一提的是许多人不知道的事实。原型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;
   ^

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

void foo();

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

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

以上在 C++ 中不起作用，因为 C++ 不支持带有未指定参数的原型。在 C++ 中，void f(); 与 void f(void); 完全相同。这就是为什么 C 不能支持函数重载而 C++ 可以的原因。

最后，一个使用您提供的 sn-p 的编译示例：

// 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;DR

您基本上可以通过两种方式（不包括可变参数函数）声明函数原型：

<return type> <name>(); 声明了一个带有 未指定 参数的函数，并且适用于任何具有正确名称和返回类型的函数定义，而与参数无关。
<return type> <name>(<type> [<name>], <type> [<name>] ... ); 声明了一个具有指定参数类型的函数。这些名称不是强制性的，可以与定义中的名称不同。声明没有参数的函数的正确方法是<return type> <name>(void);

【讨论】：

【解决方案2】：

在函数声明/原型设计中，参数名称是可选的。声明必须具有参数数据类型，但标识符名称是可选的...

【讨论】：