C++从源文件到可执行文件的过程

C++ 从源文件.cpp到可执行文件.exe经历了什么?

Step 0. Prepossing Phrase (.cpp -.i)

编译器Compiler 处理头文件#include, 宏定义#define, 条件编译指令

告诉当前源文件.cpp调用的函数接口存在,但是是否实现与编译器Compiler无关。

具体做法是复制将头文件展开(复制)到当前文件中。

这个Phrase完成后仍然是人类语言。

Step 1. Compilation Phrase (.i - .obj)

编译器compiler将.i文件翻译成机器语言binary language ,生成目标文件.obj

无论该文件内部函数功能是否在程序中被调用,每个.cpp文件都会生成一个对应的.obj文件,但是可执行文件.exe只会生成一个。

当然也可以手动选择不编译该文件,Linker 优化功能可能会省略那些未被调用的.obj文件.

Step 2. Liking Phrase (.obj - .exe)

简单讲,Linker通过每个文件(包含库文件)之间的关系将多个文件整理起来。

Linker的2个真正功能:

  1. Symbol Resulotion: 找到所有.obj文件当中的'未识别符号'的定义;
  2. Relocation: 把所有代码段、数据段安排到最终的.exe地址空间中。

注1. 如果函数前标注了static,那么函数只在当前.cpp文件中可见。

注2. 如果函数调用了2个同名函数,会引发Linker Error , 因为Linker无法判断调用的是哪个,但是确实存在。

注3. 如果只存在函数声明,不存在实现,而该函数恰好被调用,会引发Linker Error。


Compiler 只和接口(声明)对接,Linker才会寻找是否真的存在。

相关推荐
布莱克60519 小时前
C/C++ 中变量的声明与定义:区别、联系与常见误区
c语言·开发语言·c++·声明·定义
LabVIEW开发19 小时前
LabVIEW 局部变量为何引发竞争条件?四种同步机制
开发语言·labview
benchmark_cc20 小时前
A 股、港股、美股如何建立统一的标的主数据格式?
开发语言·python·数据分析·pandas·量化交易·股票数据·quantdash
Zenova EdgeOS21 小时前
Go 工业边缘错误处理实战:用 errors 构建可追溯错误链
开发语言·数据库·golang
取名真是21 小时前
Python 算法知识点从基础到进阶
开发语言·python·算法
FRing031 天前
vue2干货总结3(computed计算属性、watch监听器)
开发语言·前端·vue.js·vue2
Fatbobman(东坡肘子)1 天前
快速消失的硬盘容量 -- 肘子的 Swift 周报 #160
开发语言·人工智能·redis·ios·swiftui·iphone·swift
揽星河..1 天前
【C语言】底层程序设计
c语言·开发语言
JavaPub-rodert1 天前
从零搭建通用管理后台:ShiyuAdmin 的 Go、React 与 RBAC 实践
开发语言·react.js·golang
沫璃染墨1 天前
从零入门计算机网络系列(十二):HTTP长连接与会话管理详解——从Connection到Cookie与Session
linux·服务器·c++·tcp/ip·ubuntu·http·交互