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才会寻找是否真的存在。

相关推荐
不正经学生4 小时前
C语言预处理详解:编译器真正动手之前的那些事
c语言·开发语言·算法·面试·bug
门思科技4 小时前
LoRaWAN 设备类别:Class A、B、C 对比与选型指南
c语言·开发语言·php
恋恋西风6 小时前
C++ 理解 std::thread 在单核和多核上的行为差异
开发语言·c++
Brilliantwxx6 小时前
【Linux】 进程(9)程序与进程地址空间(基础+进阶+面试题)
linux·运维·服务器·开发语言·c++
BizzZ_7 小时前
C++(22)——类型转换和IO流
开发语言·c++
小范同学_7 小时前
JDK1.7 与 JDK1.8 HashMap 底层原理对比 + 数组并发扩容死循环详解
java·开发语言
geovindu8 小时前
CSharp: 万年历
开发语言·后端·c#·.net
我找到地球的支点啦8 小时前
Matlab系列(009) 一CRC循环冗余校验详解
开发语言·数据结构·算法·matlab·信息与通信
予昊8 小时前
从零实现“在线五子棋对战“:WebSocket 实时通信 + 段位匹配
java·开发语言·网络·websocket
weixin_461408589 小时前
Mybatis-flex小记
java·开发语言·mybatis