函数声明是编译器与物理内存的“地址契约”：void func()不提供参数信息，导致栈帧失控；void func(void)显式声明零参数，保障寄存器与栈帧确定性；void func(int a, char *b)完整描述栈帧拓扑，实现可验证的内存布局。
函数声明不是语法装饰，而是编译器与物理内存之间的一份“地址契约”。要真正吃透 void func();、void func(void); 和 void func(int a, char *b); 这三种声明的演进逻辑，必须回到内存的物理事实：CPU不认函数名，只认地址；栈不认参数名，只认压入的字节序列；编译器不靠“语义猜测”，而靠声明提供的**调用接口蓝图**。
第一层：无括号声明 —— 编译器失去栈帧尺寸控制权
像 void func(); 这种旧式K&R风格声明，本质是向编译器说：“有个叫 func 的函数，返回 void，其余我不管。”它不提供任何参数信息。后果是：
- 编译器无法校验实参个数和类型，调用时全凭程序员手动对齐栈或寄存器
- 无法生成栈帧中参数区的大小和布局，形参访问靠“经验偏移”，极易越界
- 在 ARM AAPCS 中，若实际传了5个参数但声明未指明，第5个参数该压栈还是丢弃？编译器无据可依
第二层：void 参数声明 —— 显式宣告“零参数”的内存确定性
void func(void); 不是多此一举，而是物理层面的精确断言：调用时，栈帧中**不为任何形参预留空间**，且寄存器 R0–R3 必须保持原值（不被当作输入覆盖）。这带来三项底层保障：
- 栈帧创建时 SP 不需下移，FP 可直接指向当前栈顶，减少指令开销
- 链接器能验证调用点是否真没传参，避免隐式压栈导致的栈失衡
- 在嵌入式裸机环境中，这是中断服务函数（ISR）的标准写法——绝不允许意外污染调用者寄存器
第三层：具名类型参数声明 —— 构建可验证的栈帧拓扑图
void func(int a, char *b); 是对内存布局最完整的描述。它让编译器能在汇编生成阶段就画出这张图：
- R0 存 a 的值（4 字节整数），R1 存 b 的地址（8 字节指针），共占两个通用寄存器
- 若后续加第三个参数，自动触发栈传递：SP -= 8，把新参数存入 [SP+0] 和 [SP+4]
- 函数入口处可立即执行
str r0, [fp, #-4]将 a 保存到栈帧固定偏移，实现局部变量寻址可预测
这三层演进，本质是从“信任人”走向“约束机器”：从放任调用者自由组织栈，到强制声明参数内存足迹，最终使每次函数调用都成为一次可静态分析的物理内存操作。不复杂，但容易忽略。
