函数声明与定义的变迁：从K&R风格到原型声明

说到函数声明，我刚开始学C语言那会儿，用的还是老掉牙的K&R风格。那时候的代码，说实话，看着就像天书。后来C89、C99一路演进到C23，函数声明这块的变化，可以说是翻天覆地。

今天我就跟你聊聊，函数声明和定义到底经历了哪些变迁。为什么说旧式风格是个坑？原型声明又好在哪？

一、K&R风格：那个野蛮生长的年代

K&R风格，说白了就是C语言刚诞生时的写法。函数声明和定义都特别随意。

先看一个K&R风格的函数声明：

int add();  /* 声明一个函数，参数未知 */

你没看错，括号里什么都不写。这表示「参数类型和个数未指定」。编译器不会做任何检查。

再看K&R风格的函数定义：

int add(a, b)
int a;
int b;
{
    return a + b;
}

参数类型写在函数名下面，用单独的行声明。这种写法，我当年第一次看到时，心里直犯嘀咕：「这真的是C语言？」

二、原型声明：C89带来的革命

C89标准引入了一个重要的概念——函数原型。说白了，就是在声明和定义时，明确写出参数的类型和个数。

原型声明长这样：

int add(int a, int b);  /* 明确告诉编译器：两个int参数 */

原型定义长这样：

int add(int a, int b)
{
    return a + b;
}

嗯，这才是我们熟悉的现代C语言写法。

为什么说原型声明是个好东西？我举个例子你就明白了。

假设你写了这样的代码：

/* 旧式声明 */
int add();

int main()
{
    int result = add(1, 2, 3);  /* 编译器不会报错！ */
    return 0;
}

int add(int a, int b)
{
    return a + b;
}

看到了吗？调用时传了三个参数，但函数只接受两个。没有原型声明，编译器根本不会检查。运行时会发生什么？嗯，轻则结果错误，重则程序崩溃。

三、void关键字：明确表示「无参数」

C89还引入了另一个好东西——void关键字。用来明确表示函数不接受任何参数。

/* 旧式：参数未知 */
int get_value();

/* 现代：明确无参数 */
int get_value(void);

这两者有什么区别？区别大了去了。

int get_value() 表示「参数未指定」，编译器不会做任何检查。你可以这样调用：

int x = get_value(42, "hello");  /* 编译器不会报错！ */

而 int get_value(void) 明确表示「不接受任何参数」。如果你传了参数，编译器会直接报错。

我个人习惯，只要函数不接受参数，一定写 void。这不仅仅是风格问题，更是安全性的保障。

四、C99到C23：逐步淘汰旧式风格

C99标准开始，K&R风格就被标记为「废弃」。但编译器为了兼容旧代码，还是允许使用。

C23标准终于下了狠手——彻底移除K&R风格的函数定义。也就是说，下面这种写法在C23中是非法的：

/* C23中非法！ */
int add(a, b)
int a;
int b;
{
    return a + b;
}

必须写成：

/* C23中合法 */
int add(int a, int b)
{
    return a + b;
}

另外，C23还移除了「隐式函数声明」。以前如果你调用一个没声明过的函数，编译器会假设它返回 int。现在不行了，必须显式声明。

五、变迁总结：一张图看懂

下面这张图，展示了函数声明与定义的演进历程：

六、实际项目中的建议

说了这么多，到底该怎么写？我给你几条实在的建议：

1. 始终使用原型声明 —— 不管是声明还是定义，都写清楚参数类型和个数。
2. 无参数时写void —— 别偷懒，int func(void) 比 int func() 安全得多。
3. 不要依赖隐式声明 —— 每个函数调用前，要么有声明，要么有定义。
4. 编译时开启警告 —— 用 -Wall -Wextra 等选项，让编译器帮你检查。

好了，关于函数声明与定义的变迁，就聊到这里。记住，写代码时多用原型声明，少给自己挖坑。