首页
学习
活动
专区
工具
TVP
发布
社区首页 >问答首页 >一个参数怎么可能有类型但没有名称?

一个参数怎么可能有类型但没有名称?
EN

Stack Overflow用户
提问于 2019-07-10 07:43:19
回答 2查看 3.6K关注 0票数 9

我看到一个问题被标记为一个副本,但该副本没有回答问题的一部分,并且我没有找到合适的副本来纠正它。这样就可以了。

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

代码语言:javascript
复制
int (*function)(int, float);

我真的不太明白。它需要两个参数,但它们没有名称。这是如何工作的呢?我的意思是,在声明像这样的函数时:

代码语言:javascript
复制
int f(int x, int y) {
    return x+y;
}

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

代码语言:javascript
复制
int f(int, int) {
    return /* What should I even write here? */ ;
}

我得到两个错误:

代码语言:javascript
复制
f.c:1:7: error: parameter name omitted
 int f(int, int)
       ^~~
f.c:1:7: error: parameter name omitted
 int f(int, int)
            ^~~
EN

回答 2

Stack Overflow用户

发布于 2019-07-10 07:43:19

使用函数原型可以很容易地解释它。函数原型声明了一个函数,但没有定义它。

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

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

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

代码语言:javascript
复制
void fun1(void) {
    fun2();
}

void fun2(void) {
    fun1();
}

当然,这将是一个无休止的循环,但重点是这不会编译。fun2可以编译,但是当我们谈到fun1时,我们不知道fun2是否存在。解决方案是使用函数原型。

代码语言:javascript
复制
void fun2(void);

void fun1(void) {
    fun2();
}

void fun2(void) {
    fun1();
}

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

你的例子不是一个函数,而是一个函数指针。同样的原因也适用于此。您可以使函数指针指向函数,但只有函数定义需要参数的标识符。阅读有关函数指针here的更多信息

如果需要,您可以在声明和定义中对参数使用不同的名称。这是一个潜在的用途(我不是说它是好是坏。只是为了表明这是可能的)是对原型中的变量使用描述性名称,但在定义中使用较短的名称。例如,这段代码编译得很好:

代码语言:javascript
复制
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);。当涉及到函数指针时,这一点非常重要。看看这个例子,它是我从另一个答案中复制过来的:

代码语言:javascript
复制
$ 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;
}

这将生成以下警告:

代码语言:javascript
复制
$ 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;
   ^

当涉及到常规函数原型时,如果愿意,您可以完全跳过参数。这段代码编译并运行得很好:

代码语言:javascript
复制
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++可以的原因。

最后,一个使用您提供的代码片段的编译示例:

代码语言:javascript
复制
// 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>();,并且将适合任何具有适当名称和返回类型的函数定义,而与声明具有指定参数类型的函数的arguments.
  2. <return type> <name>(<type> [<name>], <type> [<name>] ... );无关。名称不是必需的,并且可以与定义中的名称不同。声明不带参数的函数的正确方法是<return type> <name>(void);
票数 12
EN

Stack Overflow用户

发布于 2020-09-03 20:14:00

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

票数 2
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/56961714

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档