使用 C void 参数“void foo(void)”是否更好？ 或者不是“void foo()”？

Question

void foo() 和 void foo(void) 哪个更好？ 对于 void 它看起来丑陋且不一致，但有人告诉我它很好。 这是真的？

编辑：我知道一些旧的编译器会做一些奇怪的事情，但是如果我只使用 GCC，void foo() 可以吗？ foo(bar); 会被接受吗？

Answer 1

void foo(void);

这是 C 语言中“无参数”的正确说法，在 C++ 中也适用。

但是：

void foo();

在 C 和 C++ 中意味着不同的东西！ 在 C 中，它的意思是“可以接受任意数量的未知类型的参数”，在 C++ 中，它的意思与 foo(void) 相同。

变量参数列表函数本质上是非类型安全的，应尽可能避免。

Answer 2

C 中有两种指定参数的方法。一种是使用标识符列表，另一种是使用参数类型列表。 标识符列表可以省略，但类型列表不能。 因此，要说一个函数在函数定义中不带参数，您可以使用（省略的）标识符列表来实现这一点，

void f() {
    /* do something ... */
}

并且可以使用参数类型列表来实现：

void f(void) {
    /* do something ... */
}

如果在参数类型列表中唯一的一个参数类型是 void（它必须没有name then)，那么这意味着该函数不带参数。 但这两种定义函数的方法在声明内容方面有所不同。

标识符列表

第一个定义函数采用特定数量的参数，但既不传达数量，也不传达所需内容的类型 - 与所有使用标识符列表的函数声明一样。 因此调用者必须事先准确地知道类型和计数。 因此，如果调用者调用该函数并为其提供一些参数，则该行为是未定义的。 例如，堆栈可能会被损坏，因为被调用的函数在获得控制权时需要不同的布局。

不推荐在函数参数中使用标识符列表。 它在过去就被使用过，并且仍然存在于许多生产代码中。 由于这些参数提升，它们可能会导致严重的危险（如果提升的参数类型与函数定义的参数类型不匹配，则行为也未定义！），并且当然安全性要低得多。 因此，在函数的唯一声明和定义中，始终对没有参数的函数使用 void 。

参数类型列表

第二个定义该函数采用零个参数，并传达这一点 - 就像使用参数类型列表声明该函数的所有情况一样，该列表称为“原型”。 如果调用者调用该函数并为其提供一些参数，则这是一个错误，编译器会输出适当的错误。

声明函数的第二种方式有很多好处。 当然之一是检查参数的数量和类型。 另一个区别是，因为编译器知道参数类型，所以它可以将参数隐式转换为参数类型。 如果不存在参数类型列表，则无法完成此操作，并且参数将转换为升级类型（称为默认参数升级）。 例如，char 将变为 int，而 float 将变为 double。

函数的复合类型

顺便说一句，如果文件同时包含省略的标识符列表和参数类型列表，则参数类型列表“获胜”。 最后的函数类型包含一个原型：

void f();
void f(int a) {
    printf("%d", a);
}

// f has now a prototype. 

这是因为两个声明都没有说任何矛盾的内容。 然而，第二个还有一些话要说。 这就是一个论点被接受。 可以反向完成相同的

void f(a) 
  int a;
{ 
    printf("%d", a);
}

void f(int);

操作。第一个使用标识符列表定义函数，而第二个则使用包含参数类型列表的声明为其提供原型。

Answer 3

void foo(void) 更好，因为它明确表示：不允许使用参数。

void foo() 意味着您可以（在某些编译器下）发送参数，至少如果这是函数的声明而不是其定义。

Answer 4

C99引用

本回答旨在引用并解释C99 N1256 标准草案。

声明符的定义

术语声明符会出现很多次，所以让我们来理解它。

从语言语法中，我们发现以下下划线字符是声明符：

int f(int x, int y);
    ^^^^^^^^^^^^^^^

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

int f();
    ^^^

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

声明符是函数声明和定义的一部分。

声明符有两种类型：

• 参数类型列表
• 标识符列表

参数类型列表

声明如下：

int f(int x, int y);

定义如下：

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

称为参数类型列表，因为我们必须给出每个参数的类型。

标识符列表

定义如下：

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

声明如下：

int g();

我们不能声明具有非空标识符列表的函数：

int g(x, y);

因为 6.7.5.3“函数声明符（包括原型）” 说:

3 函数声明符中不属于该函数定义的标识符列表应为空。

之所以称为标识符列表，是因为我们只在 f(x, y) 上给出标识符 x 和 y，类型在后面。

这是一种较旧的方法，不应再使用。 6.11.6 函数声明符 说：

1 使用带空括号的函数声明符（不是原型格式参数类型声明符）是一项过时的功能。

简介解释了什么是过时的功能：

某些功能已过时，这意味着它们可能会被考虑用于
在本国际标准的未来修订中撤回。 他们被保留是因为
它们的广泛使用，但它们在新的实现中的使用（用于实现
不鼓励使用新程序（针对语言 [6.11] 或库功能 [7.26]）

f() 与 f(void) 声明

当你只写：

void f();

它必然是一个标识符列表声明，因为6.7.5“声明符”说将语法定义为：

direct-declarator:
    [...]
    direct-declarator ( parameter-type-list )
    direct-declarator ( identifier-list_opt )

因此只有标识符列表版本可以为空，因为它是可选的（_opt）。

direct-declarator 是唯一定义声明符的括号 (...) 部分的语法节点。

那么我们如何消除歧义并使用更好的无参数参数类型列表呢？ 6.7.5.3 函数声明符（包括原型） 说：

10 void 类型的未命名参数作为列表中唯一项的特殊情况指定该函数没有参数。

所以：

void f(void);

就是这样。

这是明确允许的神奇语法，因为我们不能以任何其他方式使用 void 类型参数：

void f(void v);
void f(int i, void);
void f(void, int);

如果我使用 f() 声明会发生什么？

也许代码将编译得很好：6.7.5.3 函数声明符（包括原型）：

14 函数声明符中的空列表不属于
该函数的定义指定没有有关该函数的数量或类型的信息
已提供参数。

所以你可以逃脱：

void f();
void f(int x) {}

其他时候，UB 可能会悄悄出现（如果你幸运的话，编译器会告诉你），你将很难找出原因：

void f();
void f(float x) {}

请参阅：为什么空声明适用于带 int 参数的定义，但不适用于 float 参数？

f( ) 和 f(void) 的定义

f() {}

vs

f(void) {}

相似，但不相同。

6.7.5.3 函数声明符（包括原型） 说：

14 函数声明符中作为该函数定义一部分的空列表指定该函数没有参数。

看起来与f(void)的描述类似。

但仍然...似乎：

int f() { return 0; }
int main(void) { f(1); }

符合未定义的行为，而：

int f(void) { return 0; }
int main(void) { f(1); }

不符合以下讨论：为什么 gcc 允许将参数传递给定义为不带参数的函数？

TODO 明白为什么。 与是否是原型有关。 定义原型。

Answer 5

在 C++ 中，main() 和 main(void) 之间没有区别。

但是在 C 中，main() 将使用任意数量的参数进行调用。

示例：

main (){
    main(10, "abc", 12.28);
    // Works fine!
    // It won't give the error. The code will compile successfully.
    // (May cause a segmentation fault when run)
}

main(void) 将在不带任何参数的情况下被调用。 如果我们尝试传递它，那么最终会导致编译器错误。

例子：

main (void) {
     main(10, "abc", 12.13);
     // This throws "error: too many arguments to function ‘main’ "
}

Answer 6

除了语法差异之外，出于实用原因，许多人还更喜欢使用 void function(void)：

如果您使用搜索功能并且想要查找该函数的实现，您可以搜索 function(void)，它将返回原型和实现。

如果省略 void，则必须搜索 function()，因此也会找到所有函数调用，从而更难以找到实际的实现。