C语言 一个参数怎么能有类型却没有名字呢?

xoshrz7s  于 2023-05-28  发布在  其他
关注(0)|答案(3)|浏览(152)

我看到一个问题被标记为dupe,但问题的一部分没有得到dupe的回答,我没有找到合适的dupe来纠正它。那就这样吧
我曾经看到过这样一个声明:

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

cygmwpex1#

它可以用 * 函数原型 * 来解释。函数原型 * 声明 * 一个函数,但不 * 定义 * 它。
原型的一个目的是它可以使用不同的编译单元。您将原型放在头文件中,将定义放在源文件中。这使得编译目标文件成为可能。当你包含头文件并链接到目标文件时,你不需要重新编译函数。
另一个原因是它允许一遍编译。编译器只需要读取源代码一次。阅读更多关于它在这里: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,并以floatchar*作为参数。因此,对于您的问题,由于它从不对参数做任何事情,因此它不需要使用名称来引用它们。只有定义是这样的。这就是为什么你会得到你在问题中发布的编译器错误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

基本上,你可以用两种方式(不包括可变参数函数)声明一个函数原型:

  1. <return type> <name>();,它声明了一个带有 * unspecified * 参数的函数,并且将适合任何具有正确名称和返回类型的函数定义,而不管参数是什么。
  2. <return type> <name>(<type> [<name>], <type> [<name>] ... );声明了一个带有 * 指定 * 参数类型的函数。这些名称不是强制性的,可以与定义中的名称不同。声明无参数函数的正确方法是<return type> <name>(void);
flseospp

flseospp2#

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

ifsvaxew

ifsvaxew3#

您可以在头文件中将函数声明为return_type function_name (parameter type);或作为原型(同样的事情),并且在定义函数时仍然使用参数,通过使用函数源代码中的名称。
例如,看看这个声明:int function(int);它没有标识符(参数名),但可以在定义中使用如下:

int function(int);/*
                  * function prototype/declaration without
                  * parameter name 
                  */
int function(int n) /* Parameter name specified during definition */
{
       if (n > 0)
       {
             /* Statement ..... */
       }
       /* Other code ...... */
}

上面的代码可以正常工作,不会出现编译错误。即使使用-std=gnu89标准。

相关问题