第3章：函数原理

从“一次调用跨过哪些契约”开始

源码中的 result = transform(input) 看似一步，真实系统却要同时满足三套契约：C/C++ 规定 parameter、scope、lifetime 与 return semantics；ABI 规定 machine-level argument classification、register preservation 和 stack alignment；ISA 提供 direct/indirect branch、memory access 与 return mechanism。把三层混成一句“函数就是压栈”会漏掉寄存器参数、inline、tail call 和省略栈帧等关键事实。

先预测一个两参数函数在 -O0/-O2 下是否需要独立 frame，再用 debugger 和 disassembly 对照：哪些是语言必须保留的结果，哪些只是当前 ABI 的传递方式，哪些已被优化器消除。

3.1 CPU眼里的参数传递

C++ 的 pass-by-value 会初始化一个 parameter object；reference parameter 绑定已有 object；pointer parameter 按值复制 pointer value。CPU 不直接执行“按值”或“按引用”关键字，compiler 根据目标 ABI 对每个 type 分类，再分配 argument registers、stack slots 或 memory reference。

struct Pair {
    int left;
    int right;
};
 
int combine(Pair pair, const int& bias) {
    return pair.left + pair.right + bias;
}

在某个 ABI 上，小 aggregate 可能拆到多个 registers，另一个 ABI 或不同 layout 可能改走 memory；reference 通常用 address-like machine value 传入，但语言层仍是 alias semantics。callee 若需要长期保存 reference/pointer，还必须保证 pointee lifetime，不是“已经进了寄存器就安全”。

register arguments 也可能在 prologue 被 spill 到 stack，特别是 -O0、可变参数、取参数地址或 register pressure 较高时。反过来，inline 后 caller/callee 边界消失，parameter 可能只是优化器 SSA value。实验结论必须记录 compiler、target triple、ABI 和 flags。

3.2 CPU眼里的函数括号

函数的 {} 在语言层定义 compound statement 和 scope：local object 在控制流到达 declaration 时开始 lifetime，离开 scope 时按规则析构。CPU 没有“左花括号指令”或“右花括号指令”；compiler 把 scope 影响变成 initialization、cleanup、branch targets 和 debug ranges。

int readValue() {
    Buffer buffer;
    if (!buffer.ready()) {
        return -1;
    }
    return buffer.value();
}

两个 return paths 都要满足 buffer destructor semantics。compiler 可共享一个 cleanup block，也可把 destructor inline 到各路径；若 destructor 无 observable effect，甚至可消除相关 code。花括号决定的是必须满足的 lifetime 规则，不保证固定 prologue/epilogue shape。

异常离开 scope 时，runtime 可能依据 unwind metadata 执行 destructors；goto 也不能随意跳过需要建立的 object lifetime。看到多个 assembly labels 不等于源码有多个 scopes，看到一个 label 也不说明 cleanup 缺失。

3.3 CPU眼里的调用和返回

典型 direct call 先准备 arguments，再由 call 类 instruction 记录 continuation address 并改变 instruction pointer。callee 可执行 prologue：调整 stack pointer、保存 callee-saved registers、建立 frame pointer、分配 spill/local slots。返回前 epilogue 恢复状态，ret 类 instruction 取回 continuation，caller 继续执行。

int square(int value) {
    return value * value;
}
 
int evaluate(int input) {
    return square(input) + 1;
}

-O0 常保留清晰的 frame 便于 debug；-O2 可能 inline square，让 call/ret 全部消失。leaf function 可能不调整 stack pointer，frame-pointer omission 让 rbp 成为普通 register；tail call 可用 jump 复用当前 frame。C++ 只要求 observable behavior 等价，不要求每次 source call 都对应物理 call instruction。

caller-saved registers 允许 callee 覆盖，caller 若仍需要旧值须自行保存；callee-saved registers 由 callee 在返回前恢复。这个责任划分支撑 separately compiled functions 互操作，也构成跨 ABI 误链接的风险边界。

3.4 CPU眼里的函数指针

普通 direct call 的 target 常能在链接或装载阶段确定；函数指针调用先从 variable/table 取得 target address，再执行 indirect branch。callback table、C API hook、state dispatch 和部分虚调用都依赖这种运行时目标选择。

using Operation = int (*)(int, int);
 
int add(int a, int b) { return a + b; }
int multiply(int a, int b) { return a * b; }
 
int apply(Operation operation, int a, int b) {
    return operation(a, b);
}

函数指针 type 必须与调用接口兼容；把不兼容 signature 强制转换后调用可能破坏 parameter/return conventions。地址本身也不等于 object pointer 的可移植表示。indirect call 会限制普通 inline，但 whole-program optimization、constant propagation 或 profile-guided devirtualization 仍可能证明 target 并改回 direct call。

security hardening 可能为 indirect targets 增加 control-flow integrity、pointer authentication 或 trampoline；这些是平台实现层，不改变函数指针的语言语义，却会改变机器路径和性能观测。

3.5 CPU眼里的函数返回值

小 scalar return 常放 ABI 指定 result register；floating/vector 和 small aggregate 有各自分类。较大 aggregate 可能由 caller 先提供 destination storage，把地址作为 hidden argument 传给 callee，callee 写入后返回。具体 size threshold 和 register 分配是 ABI 规则，不能写成跨平台固定的“超过 16 bytes”。

struct Report {
    long values[8];
};
 
Report buildReport(long seed) {
    Report report{};
    report.values[0] = seed;
    return report;
}

RVO/NRVO 可让 local report 直接占用 caller 的 destination，因此“按值返回大对象必有一次复制”并不成立。C++17 对部分 prvalue 场景保证省略，NRVO 仍取决于条件。若返回 reference/pointer，则 machine result 可能只是 address，但 pointee 必须继续存活；返回 local reference 是典型 dangling bug。

错误码、optional/expected、exception 的控制流也不同。评估 return cost 应查看实际 ABI lowering、copy/move counters 与 optimized output，而不是从源码 return type 单独猜测。

3.6 CPU眼里的堆和栈

stack 通常按线程提供，call chain 在其中保存 return/control state，automatic local 可能位于 frame，也可能只在 register。heap 是由 allocator 管理的 dynamic storage，allocation 返回可跨 scope 存活的 block，直到显式释放或 owner 自动释放。二者首先是 lifetime/ownership 模型差异，不只是“一个快、一个慢”。

std::unique_ptr<Report> makeOwned(long seed) {
    auto report = std::make_unique<Report>();
    report->values[0] = seed;
    return report;
}

stack allocation 常可化为调整 pointer，且 locality 好；但 guard pages、stack probing、大对象、dynamic alignment 都可能增加工作。heap allocation 需要 allocator metadata、synchronization 或 refill，却不保证每次都触发 system call；thread cache/pool 可让常见路径很短。不能声称“堆固定慢几十到几百倍”。

stack direction、red zone、guard size 和默认 stack limit 都是 platform configuration；递归深度也取决于每帧大小与优化。尾递归消除在 C++ 中不保证，安全方案应控制 depth 或改为显式 data structure，而不是期待 optimizer 必然复用 frame。

3.7 函数实验回溯函数调用关系

debugger 的 backtrace 不是读取一条“调用历史链表”。unwinder 从 current PC/registers 开始，依据 frame pointer chain 或 unwind information 恢复上一帧 stack pointer、saved registers 和 return address；symbolizer 再结合 executable/shared-library load addresses 与 debug symbols，把 address 转成 function/file/line。

#0  parseRecord()      at parser.cpp:84
#1  loadConfig()       at config.cpp:42
#2  runApplication()   at app.cpp:19
#3  main()             at main.cpp:8

优化会改变可见调用关系：inline function 可能只作为 debug inline frame 出现，tail call 不保留普通 return frame，frame pointer omission 要依赖 unwind metadata，optimized local 可能无可恢复 location。stack corruption、错误 unwind metadata 或 stripped symbols 还会造成截断和未知地址。

最小实验同时保留 debug symbols，并比较 -O0 -fno-omit-frame-pointer 与 production flags。发生 crash 时记录 executable build ID、module load addresses、register dump 和原始 addresses；只有匹配同一 binary 的 symbols 才能可靠 symbolicate。函数指针 target 还应在 call 前记录 index/address，辅助确认 indirect edge。

调用链验证协议

1. 固定 compiler、target ABI、flags 与 binary build ID。
2. 在 source 层标出 value/reference/pointer parameters 和各自 lifetime。
3. 在 call site 记录 argument classification、stack alignment 与 caller-saved values。
4. 在 callee 标出 scope cleanup、frame changes 与 return channel。
5. 对大对象 return 验证 hidden destination、RVO/NRVO 和 copy/move count。
6. 对 indirect call 记录 function pointer value 与实际 target symbol。
7. 对 heap/stack 分别追踪 owner、allocator event、mapping 与 release time。
8. 用 raw backtrace addresses 加匹配 symbols 复原 chain，并注明 inline/tail-call caveats。

小结

• 参数传递先服从 C++ value/reference semantics，再由 ABI 分类到 registers 或 memory
• 函数括号定义 scope 和 lifetime cleanup，不对应固定 CPU brace instruction
• 调用和返回维护 continuation 与双方状态，但 inline、leaf 和 tail call 可消除传统栈帧
• 函数指针形成 indirect call，signature compatibility 与 target lifetime/validity 都必须成立
• 函数返回值可走 result register、隐藏返回地址或 copy elision，阈值由 ABI 决定
• 堆和栈首先区别 ownership、lifetime 与管理方式，不能用固定方向或固定倍数概括
• backtrace 依靠 unwind 与 symbolization，优化、符号缺失和栈破坏会改变可见调用关系
• 每次实验都要分开记录 language semantics、ABI convention、ISA evidence 和 optimizer result