【C/C++】程序的构建(编译)过程概述

devtools/2024/10/18 14:17:46/

🦄个人主页:小米里的大麦-CSDN博客

🎏所属专栏:C++_小米里的大麦的博客-CSDN博客

🎁代码托管:C++: 探索C++编程精髓,打造高效代码仓库 (gitee.com)

⚙️操作环境:Visual Studio 2022

目录

一、前言

二、预处理(Preprocessing)

三、编译(Compilation)

四、汇编(Assembly)

五、链接(Linking)

总结 

各阶段输出总结

流程总结

共勉


一、前言

每个语言和环境都有其特定的构建和执行流程,但大多数都会涉及某种形式的处理,将源代码转换成机器可以直接理解的形式。在编译和构建一个 C/C++ 程序的过程中,通常会经过 预处理编译汇编链接 这四个阶段,这个过程被称为构建流程或者编译流程。每个阶段都负责将代码从一个形式转换为下一个形式,最终生成可执行文件。下面我会以一个简单的C/C++程序详细讲解每个阶段的具体过程。

注意:编译器的工作其实非常复杂,远远不是博主我这轻描淡写的两句话就能描述清楚的!想要深入了解,还需不断钻研!!!

二、预处理(Preprocessing)

预处理阶段是编译过程的第一个步骤,主要负责对代码进行宏替换、头文件展开、条件编译等操作。这一阶段的任务是将代码进行格式化标准化,方便后续的编译步骤。

  • 头文件展开#include 指令引入的头文件会被展开,将头文件中的内容插入到文件中。
  • 宏替换:预处理阶段会替换所有的宏定义,例如 #define MAX 100,在代码中使用 MAX 的地方都会被替换为 100
  • 条件编译:根据 #ifdef#ifndef 等预处理指令,编译器会有选择地包含或忽略某些代码。
  • 删除注释:所有的代码注释(///* ... */)会在预处理阶段被移除,代码中只会保留实际的指令。

输出:经过预处理的源文件会生成一个新的文件,通常扩展名为 .i,这就是纯净的、展开后的源代码文件。

例如:

#include <stdio.h>
#define PI 3.14
int main() {printf("%f\n", PI);//打印PI的值
}

预处理后:

int main() {printf("%f\n", 3.14);
}

三、编译(Compilation)

编译器会将预处理后的源代码(.i 文件)转化为汇编代码。这一阶段会对代码的语法进行检查,确保没有语法错误,并且会生成与硬件无关的汇编语言代码。

  • 语法分析:编译器会检查代码的语法,确保代码符合 C/C++ 语言规范。如果语法有问题,编译器会抛出错误。
  • 语义分析:编译器会检查变量类型、函数调用等,确保它们的使用是正确的。
  • 生成汇编代码:编译器会将源代码转换成一种与 CPU 架构无关的汇编代码。这个文件通常以 .s 作为后缀。

输出:经过编译后的文件通常以 .s 为后缀,它包含的是汇编代码。

例子(生成的汇编代码部分,大致是这样,会有部分不准确):

movl $0, %eax
call printf

四、汇编(Assembly)

在汇编阶段,汇编器会将汇编代码(.s 文件)转换成机器代码(即二进制指令)。这些二进制指令可以直接被计算机的处理器执行。

  • 汇编器会将汇编语言翻译成机器指令,这些指令以二进制格式存储在目标文件(.o.obj)中。
  • 目标文件是不可执行的,它只是包含了机器代码和一些符号信息(如变量、函数名等),供下一步的链接使用。

输出:这个阶段的输出是一个目标文件,通常以 .o.obj 作为后缀,里面包含了二进制机器代码。

五、链接(Linking)

链接是编译过程的最后一步,负责将一个或多个目标文件(.o 文件)合并,生成一个可执行文件。这个阶段包括以下几项工作:

  • 符号解析:链接器会解析每个目标文件中的符号(如函数和变量),并将它们正确地关联在一起。比如,如果一个目标文件调用了一个在另一个目标文件中定义的函数,链接器会负责将它们连接起来。
  • 库链接:链接器会将程序需要的库文件(如标准库 libc)与目标文件链接在一起,确保程序能调用库函数。
  • 地址分配:链接器会为每个符号(函数、变量)分配内存地址,使得程序在执行时可以正确访问它们。

输出:链接后的最终产物是一个可执行文件,通常命名为 a.out(在 Linux/Unix 系统中)或 .exe 文件(在 Windows 系统中)。

例子:链接后,生成的可执行文件可以直接运行,执行程序逻辑。

下面放几张图片使抽象的理解形象些:

 

总结 

各阶段输出总结

  • 预处理(Preprocessing):生成预处理后的源代码文件,通常扩展名为 .i
  • 编译(Compilation):生成汇编代码文件,通常扩展名为 .s
  • 汇编(Assembly):生成目标文件,通常扩展名为 .o.obj
  • 链接(Linking):生成可执行文件,扩展名为 a.out(Linux/Unix)或 .exe(Windows)。

流程总结

  1. 预处理:对代码做初步的处理,如头文件展开、宏替换等。
  2. 编译:将预处理后的代码转化为汇编代码,同时进行语法检查。
  3. 汇编:将汇编代码转换为机器代码,生成目标文件。
  4. 链接:将目标文件与库文件链接,生成可执行程序。

这个编译过程将源代码逐步转化为计算机可以执行的二进制机器代码,是 C/C++ 编译过程的核心。

共勉


http://www.ppmy.cn/devtools/115301.html

相关文章

怎么使用Chrome与C++实现高效自动化测试

在软件开发过程中&#xff0c;自动化测试是确保代码质量和稳定性的关键步骤。谷歌浏览器&#xff08;Chrome&#xff09;提供了强大的开发者工具和丰富的API&#xff0c;结合C的强大功能&#xff0c;可以实现高效的自动化测试。本文将介绍如何使用Chrome和C来实现这一目标。&am…

Vision Transformer (ViT)、Swin Transformer 和 Focal Transformer

1. Vision Transformer (ViT) Vision Transformer详解-CSDN博客https://blog.csdn.net/qq_37541097/article/details/118242600?ops_request_misc%257B%2522request%255Fid%2522%253A%2522F8BBAFBF-A4A1-4D38-9C0F-9A43B56AF6DB%2522%252C%2522scm%2522%253A%252220140713.13…

Arthas jvm(查看当前JVM的信息)

文章目录 二、命令列表2.1 jvm相关命令2.1.3 jvm&#xff08;查看当前JVM的信息&#xff09; 二、命令列表 2.1 jvm相关命令 2.1.3 jvm&#xff08;查看当前JVM的信息&#xff09; 基础语法&#xff1a; jvm [arthas18139]$ jvmRUNTIME …

thinkphp 做分布式服务+读写分离+分库分表(分区)(后续接着写)

thinkphp 做分布式服务读写分离分库分表&#xff08;分区&#xff09; 引言 thinkphp* 大道至简一、分库分表分表php 分库分表hash算法0、分表的方法&#xff08;thinkphp&#xff09;1、ThinkPHP6 业务分表之一&#xff1a;UID 发号器2、ThinkPHP6 业务分表之二&#xff1a;用…

C++ 字符串中的第一个唯一字符 - 力扣(LeetCode)

点击链接即可查看题目&#xff1a;387. 字符串中的第一个唯一字符 - 力扣&#xff08;LeetCode&#xff09; 一、题目 给定一个字符串 s &#xff0c;找到 它的第一个不重复的字符&#xff0c;并返回它的索引 。如果不存在&#xff0c;则返回 -1 。 示例 1&#xff1a; 输入: s…

Gnu Radio抓取WiFi信号,流程图中模块功能

模块流程如图所示&#xff1a; GNURadio中抓取WiFi信号的流程图中各个模块的功能&#xff1a; UHD: USRP Source&#xff1a; 使用此模块配置USRP硬件进行信号采集。设置频率、增益、采样率等参数。Complex to Mag^2&#xff1a; 将复数IQ数据转换为幅度的平方。Delay&#xf…

系统架构设计师 大数据架构篇一

&#x1f310;大数据架构 大数据处理系统分析 &#x1f50d; 大数据处理系统三大挑战 &#x1f680; 非结构化数据处理&#xff1a;如何处理非结构化和半结构化数据。复杂性与不确定性&#xff1a;大数据复杂性、不确定性特征描述的刻画方法和大数据的系统建模。异构性影响&…

C语言中的信号量、进程同步与互斥、线程同步与互斥详解

文章目录 信号量的基本概念信号量的基本操作信号量的使用场景C语言中使用信号量一&#xff0c;信号量相关的函数示例代码解释&#xff1a; 二、进程同步与互斥1. 进程同步的方式&#xff1a;信号量示例代码&#xff1a;使用信号量进行进程同步解释&#xff1a;2. 进程互斥的方式…