TL; DR

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

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

原型的一个目的是使使用不同的编译单元成为可能。您将原型放在头文件中，并将定义放在源文件中。这样就可以编译目标文件。然后，在包含头文件并与目标文件链接时，无需重新编译功能。

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

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 ++而可以支持函数重载的原因。

最后，一个带有您提供的代码片段的编译示例：

// 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>();声明带有 unspecified 参数的函数，并且将与具有正确名称和返回类型的任何函数定义匹配，而与参数无关。
<return type> <name>(<type> [<name>], <type> [<name>] ... );声明具有指定的参数类型的函数。名称不是强制性的，可以与定义中的名称不同。声明不带参数的函数的正确方法是<return type> <name>(void);

Answer 2

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

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

2 个答案:

TL; DR