目录
Part 06 How the C++ Compiler Works
1.编译过程
2.C++并不关心文件
3.翻译单元(Translation Unit)
4. 实际用代码感受一下编译过程
4.1 预处理
4.1.1 预处理的本质
4.1.2 预处理后的.i文件
4.1.3 骚操作
4.2 .asm文件(汇编语言源文件)
4.2.1 直观感受优化
4.2.2 常量折叠(Constant Folding)
Part 06 How the C++ Compiler Works
1.编译过程
我们在编译软件上写的内容,实际上就是文本,那从文本到可执行的程序,中间需要经过两步,编译和链接。编译就是将文本转化为.obj后缀的目标文件。
编译又可以分为几个步骤:
①预处理(Preprocessing)
②词法分析(Lexical Analysi)
③语法分析(Syntax Analysis)
④语义分析(Semantic Analysis)
⑤优化(Optimization)
⑥代码生成(Code Generation)
我们可以用一个简单的例子来直观感受一下每个过程
源代码:
#include <stdio.h>int main() {int a = 5;int b = 7;int sum = a + b;printf("Sum is: %d\n", sum);return 0;
}
词法分析生成词法单元(Tokens)
Keyword: include
Identifier: <stdio.h>
Keyword: int
Identifier: main
Punctuation: (
Punctuation: )
Punctuation: {
Keyword: int
Identifier: a
Operator: =
Number: 5
Punctuation: ;
...
语法分析生成抽象语法树(AST)
Program
|
└── Function: main├── Declaration: int a├── Assignment: a = 5├── Declaration: int b├── Assignment: b = 7├── Declaration: int sum├── Assignment: sum = a + b├── Function Call: printf│ ├── String: "Sum is: %d\n"│ ├── Argument: sum└── Return: 0
语义分析:
- 语义信息:
- 类型检查通过,变量和函数引用有效。
- 符号表记录了变量的类型和位置。
优化(Optimization):
int a = 5;
int b = 7;
int sum = a + b;
printf("Sum is: %d\n", sum);
return 0;
代码生成(Code Generation)
MOV a, 5
MOV b, 7
ADD sum, a, b
PRINT "Sum is: %d\n", sum
HALT
转成obj机器码
2.C++并不关心文件
这主要是跟Java做对比
在Java中,一个源代码文件通常对应一个类,且文件名与类名相同,并以 .java
为扩展名。而在C++中:源代码可以分布在多个文件中,每个文件独立地包含了一部分程序的实现。这些文件可以包含函数、类、变量的定义和实现等。默认情况下编译器看到.h文件会将其作为头文件处理,见到.cpp文件会将其作为源文件处理。你可以改变它,不具有强制性。
总而言之:
在Java中,文件名与类名的匹配是强制性的,而且有严格的规范。这种规范有助于提高代码的可读性和可维护性,但也限制了一定的灵活性。
在C++中,虽然有一些约定(例如使用.cpp
作为源文件的扩展名),但这些并非强制性规定。C++更加注重灵活性和兼容性,允许开发者使用不同的扩展名或者甚至没有扩展名。这种灵活性允许开发者更自由地组织和命名源文件,但也可能导致一些不规范的实践。
3.翻译单元(Translation Unit)
在编译过程中被处理的最小单元。在C++中一个源文件和一个头文件通常就是一个翻译单元。一个翻译单元作为编译器的输入,经过编译过程后生成一个目标文件,然后多个目标文件可以被链接在一起形成最终的可执行程序。
4. 实际用代码感受一下编译过程
4.1 预处理
4.1.1 预处理的本质
预处理其实就是复制粘贴头文件的内容
我们写两个源文件感受一下:
math.cpp(没有包含任何头文件)
int Multiply(int a, int b)
{return a + b;
}
Log.cpp(包含iostream头文件)
#include <iostream>void Log(const char* message)
{std::cout << message << std::endl;
}
然后我们单独编译(Ctrl+F7)
得到两个obj文件
大小差距很大,造成这种现象的原因就是包含头文件,预处理会把头文件的内容全部复制到Log.cpp中来。
4.1.2 预处理后的.i文件
.i
文件是指预处理后的源文件。在C和C++编译过程中,预处理器会对源文件进行处理,展开宏、处理条件编译指令等,并生成一个经过预处理的中间文件。这个中间文件的扩展名通常是.i
。
我们可以通过更改下面的设置来让他生成预处理后的.i文件
对Main.cpp文件预处理
#include <iostream>void Log(const char* message);int main()
{Log("Hello World!");//用Log函数实现打印的功能std::cin.get();
}
文本编辑器打开Main.i文件
我们会直观的发现这个现象
4.1.3 骚操作
利用这个特点我们可以实现一些骚操作
建一个只有一个结束大括号的头文件
EndBrace.h
}
然后将原本.cpp文件中的结束大括号改成#include “EndBrace.h”(自己建立的头文件用双引号)还能编译成功吗?
Math.cpp(替换)
int Multiply(int a, int b)
{return a + b;
#include "EndBrace.h"
成功!
打开生成的.i文件
还可以利用宏定义
#define (被替换的内容) (替换后的内容)
#define Age 18 就是在预处理的时候,把代码里面的Age全部替换成18
Math.cpp(替换)
#define INTEGER int
INTEGER Multiply(INTEGER a, INTEGER b)
{return a + b;
}
成功!
打开生成的.i文件
#if
预处理指令用于条件编译。它允许根据指定的条件来选择性地包含或排除部分代码。
Math.cpp(替换)
#if 1
int Multiply(int a, int b)
{return a + b;
}
#endif
打开生成的.i文件
Math.cpp(替换)
#if 0
int Multiply(int a, int b)
{return a + b;
}
#endif
v打开生成的.i文件
4.2 .asm文件(汇编语言源文件)
关闭刚才的设置
更改汇编语言文件输出
这里我们可以看到源代码的汇编语言格式
4.2.1 直观感受优化
Debug版本总共有253行
如果我们改一下Debug版本的设置为
这个时候我们继续运行编译
只有177行
4.2.2 常量折叠(Constant Folding)
常量折叠(Constant Folding)是编译器在编译时对表达式中的常量进行计算和简化的过程。在这个过程中,编译器会尽可能地将表达式中的常量计算出结果,以减少运行时的开销。
改一下Math.h
int Multiply()
{return 2*5;
}
编译,并查看生成的汇编文件.asm