函数声明是C/C++中保障类型安全、跨文件调用、协作开发和编译检查的基础设施；它支持跨文件模块调用、解决调用顺序问题、定义接口契约、启用编译期类型校验，并被IDE和静态分析工具依赖。

函数声明在开发中不是可选的“补充说明”，而是编译型语言（尤其是C/C++）中保障代码正确性和协作效率的基础设施。它适用的范围远不止“让函数能被调用”这么简单。

跨文件模块调用必须依赖函数声明

当一个函数定义在 file_a.c 中，而 file_b.c 需要调用它时，file_b.c 本身并不知道这个函数长什么样。此时必须通过头文件（如 utils.h）提供函数声明，再在 file_b.c 中 #include "utils.h"。否则编译器会报“implicit declaration of function”警告甚至错误。

• 头文件中只放声明（如 int calc_sum(int a, int b);），不放实现
• 源文件中定义函数（如 int calc_sum(int a, int b) { return a + b; }）
• 所有用到该函数的源文件都包含同一份头文件，确保接口统一

同一文件内调用顺序颠倒时需前置声明

C语言按顺序编译，如果 main() 函数里调用了后面才写的 parse_config()，编译器在读到调用处还不认识这个函数——这时就必须在 main() 上方加一句声明：

• char* parse_config(const char* path);
• 不需要写形参名，只写类型也可：char* parse_config(const char*);
• 声明后，函数定义可以放在任意位置，包括文件末尾

多人协作与接口契约管理离不开函数声明

大型项目中，函数声明是团队间约定的“接口契约”。比如协议解析模块负责人先写出头文件中的所有函数声明（含参数、返回值、注释），其他模块开发者就能基于这些声明提前编码、模拟测试，无需等待具体实现完成。

• 接口变更时，只需改头文件，所有包含它的源文件重新编译即可发现不匹配
• 编译器会严格比对声明与定义：参数个数、类型、顺序、返回类型——任何一项不一致都会报错或警告
• IDE和静态分析工具也依赖声明生成跳转、补全和文档

类型安全校验的核心依据

没有函数声明，编译器只能做“隐式声明”（如旧版K&R C默认返回 int），极易引发类型错误：传入 float 却按 int 解释，或忽略指针层级导致越界。现代C标准（C89起）强制要求显式原型声明，正是为了启用这套类型检查机制。

• 例如声明为 void log_error(const char* msg, int code);，若调用时传 log_error(42, "err")，编译器立刻报错
• 这种检查发生在编译阶段，比运行时报错更早、更可靠