为什么在已经定义函数的源代码中添加了一个头文件？

Question

例如，如果我有以下三个用 C 语言编写的文件：

hello.h

void hello (const char * name);

hello.c

#include "hello.h"
int
main (void)
{
hello ("world");
return 0;
}

hello_fn.c

#include <stdio.h>
#include "hello.h"
void
hello (const char * name)
{
printf ("Hello, %s!\n", name);
}

我知道将#include "hello.h" 行添加到hello.c 告诉编译器hello (const char * name) 的定义将在外部文件（单独编译）期间提供，但是我现在的问题是为什么在 hello_fn.c 包含它自己的定义时将它添加到文件 hello_fn.c hello (const char * name) ，我的意思是它不会从外部提供？

谢谢

Answer 1

这实际上是一种很好的做法，因为编译器可以根据您的定义（在 hello_fn.c 中）检查您的声明（在标题中）。

否则，就无法确保它们匹配。你可以很容易地说：

void hello (int notCorrect) { ... }

到您的 C 源文件中，它会愉快地独立编译这两个源文件，然后（取决于您在 ... 位中实际执行的操作）在运行时失败。

---

例如，考虑文件：

hello.c:
    #include <stdio.h>
    #include "hello.h"
    int main(void) { hello(42); }
hello_fn.c:
    #include <stdio.h>
    //#include "hello.h"
    void hello(char *x) { puts(x); }
hello.h:
    int hello(int x);

这编译得很好，因为每个 C 源文件在其声明的内容上是内部一致的。 hello.c/hello.h 对认为 hello 需要一个 int 而 hello_fn.c 认为它需要一个 C 字符串。

运行时我得到一个核心转储⁽¹⁾，因为值42 不是有效的字符串地址。当我取消注释hello_fn.c 中的include 行时，编译器（正确地）抱怨我的声明和定义不一致（因为hello_fn.c/hello.h 对现在不一致）。

---

最重要的是，标头中可能有 other 内容（尽管在您的示例中不存在），但 only 存在于标头中。这通常是在调用者和被调用者之间共享的声明，例如类型、extern 项目、#define 项目等。在头文件和源文件中单独声明它们没有什么意义。

---

⁽¹⁾实际结果可能会有所不同，因为这是未定义的行为。