头文件不是可有可无的

最新推荐文章于 2025-12-17 18:30:38 发布

转载最新推荐文章于 2025-12-17 18:30:38 发布 · 704 阅读

文章标签：

#c语言 #编译器 #头文件

C/C++ 专栏收录该内容

5 篇文章

订阅专栏

本文探讨了在编程中忽视函数声明可能导致的严重错误，并解释了正确声明函数如何帮助早期发现并解决这些问题。强调了编程时应遵循的原则，即尽早暴露错误，而不是掩盖或忽视它们。

头文件定义了数据结构，这大家都能体会到，因为不包含你要使用头文件的话，编译根本就通不过。头文件的另一个作用，声明函数接口，作用似乎没那么大，因为编译、连接都通过了，程序也能运行了，这不就行了吗。下面我们用一个例子说明这个问题。

#include <stdlib.h>
#include <stdio.h>
int main(void)
{
        int i=foo (2, 3);
        printf ("foo returns %d\n", i);
        return 0;
}

int foo (int a)
{
        return (a+a);
}

此程序有严重的错误，但是如果我们用命令

$ gcc -c main.c

编译的时候，没有任何警告或出错信息。好，我们加上-Wall选项：

$ gcc -c -Wall main.c

main.c: In function `main':
main.c:8: warning: implicit declaration of function `foo'
这句implicit declaration of function可能是被程序员忽视最多的警告了。好，我们继续忽视它，接下来连接也能通过：

$ gcc -o ex1 main.o

运行也没有问题。但你不觉得毛骨悚然吗？一个严重的错误就这样从你眼皮底下过去了。你的程序越来越复杂，这个警告混在一大堆编译信息里，根本就注意不到了。直到某一天一些奇怪的问题出现了，你开始调用各种土枪洋炮来调试程序…

其实，如果我们稍微尊重些编译器，把函数的声明加在main的前面，问题错误马上显现：

int foo (int a);
int main(void)

$ gcc -c -Wall main.c

main.c: In function `main':
main.c:9: error: too many arguments to function `foo'
如果没有关于被调函数的特定信息，编译器便假定在这个函数的调用时传递的参数类型和个数都是正确的，同时会假定函数返回一个整数类型的值。对于那些返回值并非整数的函数而言，这种隐式声明常常导致错误。这就是函数声明的作用，它既告诉程序员如何调用一个函数，也让编译器检查调用与函数原型是否一致。有些人以为连接器会检查参数匹配的问题，连接不出错就万事大吉了，这是不对的。你想，参数是以寄存器或压栈的方式传递的。编译之后，参数类型和个数等信息都已丢失，连接器还能帮你查错吗？它只是简单地把名字相同的符号连接起来而已。

错误发现的越早越好
编程出现错误是不可避免的。错误发现的越早，修改的成本就越小。因此原则是：尽量让错误暴露出来（例如严格的编译选项、测试），而不是掩盖或忽视它。能在编译时发现的错误，不要拖到运行时；能在编辑时发现的错误，不要拖到编译时（许多编辑器的括号匹配、代码补齐等功能就是为了减少这样的错误）。