函数与程序结构

从调用点能证明什么开始

函数不是“跳到另一段代码”的语法糖，而是一份跨调用边界的契约：调用点必须知道参数数量与类型、返回类型、哪些对象可能被间接修改、失败怎样表达。K&R 第二版最重要的 ANSI C 更新之一就是函数原型，它让编译器能在调用发生前检查定义与使用是否兼容。

图中没有“参数从右到左压栈”或“栈向低地址增长”，因为 C 标准不保证这些 ABI 细节。参数可能进寄存器，函数可能被内联，优化后可能没有稳定帧指针。调试器展示的是某个编译器、目标 ABI 与优化级别的实现，不是语言语义。

原型、定义与返回类型

函数原型 应在调用前可见，通常来自模块头文件。double atof(const char *text); 同时声明非整数返回类型和只读输入约定；若调用点错误地假定返回 int，寄存器与值解释都可能不兼容。

K&R 第一版时代的旧式定义与隐式 int 是历史语法；第二版讲 ANSI 原型，现代 C99 以后还删除了隐式函数声明。本站示例统一使用原型形式，不用“编译器猜返回类型”掩盖接口错误。

函数若可能失败，应避免用某个合法数据值兼作模糊错误。可以返回状态码，把多个结果写到调用者提供的对象：

int divide_int(int dividend, int divisor, int *quotient, int *remainder)
{
    if (divisor == 0 || quotient == 0 || remainder == 0)
        return 0;
    *quotient = dividend / divisor;
    *remainder = dividend % divisor;
    return 1;
}

调用者只在返回真后读取两个输出。真实接口还要考虑最小有符号值除以负一的溢出边界；对外 API 应把允许范围写入契约，而不是假设“除数非零就一定安全”。

C 只有值传递

值传递 解释了两件看似矛盾的事：修改 int 形参不影响调用者，修改 *pointer 却可能影响调用者对象。后者不是引用传递，而是两个指针值指向同一对象。

改变形参指针本身只改变副本：pointer = NULL 不会把调用者的指针置空。若接口要更新调用者保存的指针，需传“指向该指针对象的指针”，并明确新所有权与失败时旧值是否保留。

数组参数还有一层调整：形参写作 int values[10]、int values[] 或 int *values，在函数类型中都调整为指针，10 不会随调用传入。函数必须另收 size_t count，并规定指针在 count > 0 时有效、目标容量和是否允许重叠。

作用域、链接与存储期是三条轴

作用域 回答名字在哪里可见； 链接 回答不同声明是否代表同一实体；存储期回答对象生存期多长。三者相关但不等价。

文件作用域 static 函数/对象具有内部链接，只在当前翻译单元可用。块内 static 对象仍只有块作用域且无链接，但具有静态存储期，程序启动时初始化一次并贯穿执行。普通块内变量通常是自动存储期，每次进入声明所在块获得一个对象。

所有静态存储期对象在程序启动前先零初始化；未显式初始化的自动对象值不确定，读取它来计算结果可能触发未定义行为。register 在 ANSI C 中是自动存储期声明说明符和优化提示，并限制取地址；现代优化器通常自行分配寄存器，接口设计不应依赖该提示。

旧页常把“全局变量就是 extern”说得过于简单。文件作用域 int count; 是暂定定义，程序仍需要满足外部定义规则；头文件若在多个翻译单元放这种写法，可能产生多重定义或依赖旧工具链的 common 扩展。头文件应写 extern int count;，并在恰好一个 .c 文件提供 int count = 0;，更好的设计则优先用函数封装状态。

头文件与翻译单元

每个 .c 文件经过预处理后形成一个 翻译单元。头文件是共享接口文本，不是单独编译的实现容器。它应包含函数原型、共享类型、必要宏和 extern 声明，并使用包含保护。

头文件 counter.h：

#ifndef COUNTER_H
#define COUNTER_H
 
void counter_reset(void);
void counter_add(unsigned long amount);
unsigned long counter_value(void);
 
#endif

实现文件 counter.c 把状态设为文件私有：

#include "counter.h"
 
static unsigned long value;
 
void counter_reset(void) { value = 0; }
void counter_add(unsigned long amount) { value += amount; }
unsigned long counter_value(void) { return value; }

调用文件只看公开接口：

#include "counter.h"
#include <stdio.h>
 
int main(void)
{
    counter_reset();
    counter_add(3);
    printf("%lu\n", counter_value());
    return 0;
}

用 cc -std=c90 -Wall -Wextra -Wpedantic counter.c main.c -o counter 一次编译并链接。再分别编译为对象文件，可以区分编译期原型错误与链接期未定义/重复符号错误。

外部变量与接口状态

extern 声明表示该名字具有相应链接并在别处定义，它不是“从另一个文件复制变量”。函数声明通常默认具有外部链接，不需要重复写 extern。跨文件声明必须类型兼容；某个源文件把对象声明成 long，另一个定义成 int，链接器未必能诊断出 C 类型契约冲突。

外部可变状态让任何调用都可能改变结果，增加初始化顺序、重入、测试隔离和并发风险。优先把状态隐藏在模块实现后，通过函数维持不变量；测试提供明确 reset/setup，而不是让用例依赖前一个用例留下的值。

局部名字可以遮蔽外层名字。int x = x + 1; 在块内声明时，初始化器中的 x 已指向新声明的自动对象，而不是同名文件对象，读取不确定值会出错。开启 -Wshadow，并让局部名字表达角色而非复用短名。

递归需要基例、进展和深度界限

递归 适合树、分治和递归语法，但不是天然比循环清楚。必须证明参数每次更接近基例，并估计最坏深度；C 不保证尾调用优化，也不规定递归一定对应某种向低地址增长的硬件栈。

下面用返回状态避免阶乘溢出被静默接受：

#include <limits.h>
 
int factorial(unsigned int n, unsigned long *result)
{
    unsigned long previous;
    if (result == 0)
        return 0;
    if (n < 2) {
        *result = 1;
        return 1;
    }
    if (!factorial(n - 1, &previous) || previous > ULONG_MAX / n)
        return 0;
    *result = previous * n;
    return 1;
}

基例处理 0 和 1；n - 1 保证进展；乘法前用除法边界避免无符号回绕。对不可信大输入仍应限制 n 或改迭代实现，避免调用深度耗尽实现资源。

预处理器只操作记号

C 预处理器 负责 #include、#define、#if/#ifdef 等。对象式宏适合编译期开关、字符串化/记号粘贴等记号任务；函数式宏可能重复求值实参，也没有函数调用那样的参数类型契约。

#define MAX_BAD(a, b) ((a) > (b) ? (a) : (b))
 
/* MAX_BAD(i++, j++) 会先比较两个实参，再次求值被选中的那个。 */

为参数和整体加括号只能修复分组，不能修复多次求值。ANSI C90 没有 inline；在 C99 及之后，头文件内的私有小助手可用 static inline，获得类型检查与每个实参一次求值。公开的 inline 与 extern inline 定义规则更复杂，应遵循项目统一模式，不把 C++ 经验直接套入 C。

条件编译会产生多个实际程序。每个受支持宏组合都要构建与测试，公开结构布局和函数声明不能在调用者与实现之间悄悄分叉。遇到错误时先判断是宏展开、C 类型检查还是外部符号解析，必要时查看预处理输出而不是只读原源码。

先预测：MAX_BAD(i++, j++) 至少会修改哪个变量两次？答案取决于第一次比较选择了哪个分支，这正说明宏把副作用次数交给了运行数据。

小结

• 函数原型让调用点检查参数和返回类型；C 参数始终值传递，数组形参调整为指针
• 作用域、链接、存储期分别回答名字可见性、实体身份和对象生存期，不能混用
• 头文件放共享声明与类型，外部定义放一个源文件，文件私有实现使用 static
• 递归要证明基例、进展、深度和算术边界，C 不保证具体栈帧或尾调用优化
• 预处理器操作记号；宏适合记号任务，C99 static inline 适合有类型的私有小函数