术语：前向声明与函数原型

Question

对我来说，使用 C 编程语言时这些术语本质上是同义词。在实践中，我可能更喜欢文件内原型的“前向声明”，而不是通过头文件包含的原型的“函数原型”。但当你考虑预处理后会发生什么时，即使这也是人为的区别。也许我错过了一些东西。

对于何时使用一个术语与另一个术语是否存在共识？

Answer 1

术语“原型”是指特定的声明语法；具体来说，函数参数的数量和类型出现在声明中。给定一个函数定义，

int foo(int a, char *b) {...}

您可以有以下任何声明：

int foo();                // a declaration, but not a prototype
int foo(a, b);            // a declaration, but not a prototype
int foo(int, char *);     // a declaration and a prototype
int foo(int a, char *b);  // a declaration and a prototype

Answer 2

IMO 这些并不是真正的同义词。
对我来说，“函数原型”指的是函数名称及其参数和返回的类型。它不仅适用于您所谓的“前向声明”。所有函数都有一个原型。

我们更经常区分函数声明及其相应的定义。

Answer 3

我使用术语“前向声明”来表示以下带有定义的 struct 声明。

struct Foo;

为了与 1989 年之前的 (K&R) C 兼容，函数声明不必是完整的原型。

char *foo();  // NOT the same as char *foo(void)

Answer 4

我所知道的 C 语言中唯一的概念是声明和定义之间的区别。原型是一个声明，可以在任何地方、任何时间发生，而定义是给定对象的实际实现。根据这个概念，没有所谓的前向声明，只有声明的顺序。

Answer 5

我不知道是否达成共识，但我认为最简洁的方法是：

• 将所有声明放在头文件中，而不是放在源文件或 .c 文件中。 （我认为当您说前向声明时，您指的是声明。）
• 将所有定义放在源文件中

我不喜欢将声明放在文件中，因为在 C 中可能会出现冲突的声明而不会出现错误，这可能会导致段错误，例如： if ac has

int foo(char *str_one, char *str_two, char *str_three);

和 bc has

int foo(char *str_one, char *str_two);

你不会收到警告或错误，并且从 bc 调用 foo() 不会将所有参数放在堆栈上应有的位置，这意味着 foo() 只会从堆栈中抓取一些内容并将其视为字符串三，可能会导致段错误。所以对我来说，声明位于头文件中，定义位于源文件中。