为何在C语言函数实现源文件中也需包含对应头文件？

你注意到的这个操作是C开发里的标准实践，核心是确保函数的声明和实现严格一致，具体有这几个关键作用：

• 提前发现签名不匹配的错误
  头文件里的函数原型是对外公开的接口约定，比如void foo(void);。如果实现文件不包含头文件，你要是不小心把函数写成int foo(int x)，单独编译这个源文件时编译器不会报错，但等到和调用它的文件链接时才会出问题——链接错误的排查难度远大于编译错误。包含头文件后，编译器会直接对比原型和实现的签名，一旦不匹配立刻报错，把问题解决在编译阶段。

• 维护单一的接口真相源
  要是不在实现文件里包含头文件，有人可能会随手在实现文件里再写一遍函数原型，时间久了很容易出现“头文件里的原型改了，但实现文件里的旧原型没更新”的情况。直接包含头文件就只需要维护头文件这一个接口定义，避免重复定义带来的不一致问题。

• 共享依赖的类型和宏
  很多头文件里除了函数原型，还会附带函数实现需要用到的自定义类型（比如typedef struct User User;）、宏常量（比如#define BUF_SIZE 256）。包含头文件就能直接复用这些定义，不用在实现文件里重复写一遍，既省事儿又能避免重复定义的编译错误。

举个实际的代码例子：

/**
* THE PROTYPES DEFINITION SOURCE proto_source.c
*/

#include "myheader.h" // 这里的include就是为了实现上述的检查与共享

void foo(void)
{
    // 函数具体实现
}

内容的提问来源于stack exchange，提问作者elakhdar_ayoub