失控的返回值

看不见的 ‘int’

最简单的C程序也许是像下面这样（简单到这个编辑器都没将这段代码识别出来高亮）：

main () {
}
1
2

这个程序包含一个不易察觉的错误。C语言函数有个特点——如果并未显式声明返回类型，那么函数返回类型就默认为是整型什么都不返回，：

void main () {
    /** 不显式定义返回值和这种定义不！一！样！*/
}
1
2
3

一个返回值为整型的函数如果返回失败，实际上是隐含地返回了某个“垃圾”整数（如果非要深究，这个时候会返回处理器第一个运算寄存器的值，而这个值是什么取决于当前处理器的运算状态）。
只要该数值不被用到，就无关紧要。在 gcc 编译器中可以强制加上强制返回检查，当编程者在函数实现时遗漏了 return 编译器会报错误或警告，因此上面第一个编译时，在新版本的 gcc 会产生一个警告，养成一个好的习惯，所有的函数返回，不管是 int 与否，都需要显式编写（包括 int 与 void ）， 另外，尽可能打开相关编译器缺省返回值的警告或者错误选项（如果允许的话）。

粗鲁的 ‘int’

通常说来，上面一个情况这不会造成什么危害，只要该数值不被用到，就无关紧要。
真正危害的是下面一种情况。
除了函数定义没有显式编写类型意外，还有一种情况会经常被编程者所忽略，就是 没有显式声明，在很多 C 语言编译器，未显式声明函数（函数定义域对于函数调用域不可见），缺省都会编译通过，部分高版本的编译器会输出一个警告，但这些警告往往被编译者忽略。
例如：

double square (double a) {
    return a * a;
}
1
2
3

上述函数定义，使用双精度浮点作运算，数据类型输入与返回均使用 double，值得注意的是，如果未在调用时显式声明他，对于编译器来说，它会是这个样子：

extern int square (int a);
1

显然，这个并非我们函数定义的初衷。这个产生的后果很难评估大小，但是这确实“板上钉钉”地引入了一个错误，且并非逻辑造成的。
因此，对于函数定义者来说，不光要编写好函数实现，出于有始有终的”责任“，还应该完善对应头文件的声明定义；对于函数调用者来说，所有的函数调用，都要确定有显式的声明（包含头文件，或者，在调用前显式加上该函数声明）；对于项目运维者来说，尽可能要求编程者清理编写产生警告，并且在有可能的条件下，把 非显式声明函数调用 在编译选项中设置成错误（如 gcc 中加入编译参数 -Werror-implicit-function-declaration）。