3.5.1 模块实例化过程

文档摘要

3.5.1 模块实例化过程模块实例化，不是把一段代码“new”出来那么简单——它是一场精密的契约履行：编译器与运行时系统依据语义契约，在内存中协同构建出一个具备完整行为能力、可验证状态边界、可参与链接拓扑的独立执行单元。在“3.5 实例化与链接模型”的宏大图景中，“3.5.1 模块实例化过程”正是整座大厦的地基浇筑环节：它不显山露水，却决定了后续所有符号解析、重定位、动态调用、内存隔离乃至安全策略落地的物理可能性。今天，我们不谈抽象概念，不讲教科书定义；我们拆开编译器后端、运行时加载器、链接器脚本和内存管理单元，亲手拧紧每一颗螺丝，还原一次真实世界中模块实例化的全链路实现。让我们从一个看似平凡的声明开始：而另一模块通过 C ABI 引用它：表面看，这只是两个文件的函数调用。