文章

【信奥业余科普】C++ 的奇妙之旅 | 10：代码是如何运行的？——编译过程与“Hello, World”

发表于 更新于
作者 OneCoder
次浏览 22 分钟阅读

在上一篇文章中，我们了解了 C++ 的发展历史。很多同学可能已经准备好动手写代码了。但在编写著名的“Hello, World!”程序之前，我们需要先了解一个基本原理：由英文字母写成的 C++ 代码，是如何被计算机识别并运行的？

今天，我们将介绍程序编译的基本过程，并解析我们即将编写的第一段 C++ 代码。

写在前面的话：这是一系列专为对信奥（信息学奥赛）感兴趣的中小学生及家长朋友们准备的科普文章。笔者受自身学识所限，文中若存在不严谨之处，还望各位读者指正。

本系列文章往期回顾：

第二部分 【C++的奇妙之旅】

一、 什么是编译器？

不知道大家在准备写下第一行代码前，有没有产生过这样一个疑问： “既然我们在之前的科普中明确过，计算机的大脑（CPU）只能理解由 0 和 1 组成的底层机器指令，那它是怎么看懂我们写下的各式各样的英文单词，并且乖乖干活的呢？”

解开这个疑问，就是解开程序运行真相的钥匙。

很多新接触编程的同学在学写代码时，会使用类似 Dev-C++ 或 VS Code 这样的工具箱。写完代码后，只需点击一下运行按钮，程序就会在屏幕上跑起来。但这并不是魔法，在这个简单的动作背后，默默工作着人类计算机科学中极其重要的基础工具：编译器（Compiler）。

为了让机器能看懂我们用 C++ 写出的英文代码，我们就必须要在中间接驳一个“翻译器”。编译器（如我们常用的 GCC 或 Clang）正扮演了这样的角色。当你点击运行按钮时，编译器会在极短的时间内，将你的代码丢进一条流水线，并完成以下四个主要步骤：

  1. 预处理（Preprocessing）：处理代码中以 # 开头的指令（如 #include），将引用的外部工具包内容包含进来，同时移除代码中的注释。
  2. 编译（Compilation）：分析代码的语法结构。如果没有语法错误，编译器会将 C++ 代码翻译成底层的汇编语言。
  3. 汇编（Assembly）：将汇编语言进一步翻译成 CPU 能够识别的机器码指令。
  4. 链接（Linking）：将生成的机器码与系统或第三方提供的库文件合并，最终生成一个可独立执行的程序（例如 Windows 上的 .exe 文件）。

为什么要了解编译过程？ 理解这一过程有助于我们更好地应对代码报错。当代码出现错误提示时，意味着编译器在某个阶段（通常是编译或链接阶段）遇到了无法转换的问题。理解这一点，可以帮助初学者以更清晰的逻辑去排查代码中的拼写或语法问题，而不是在报错时感到手足无措。

二、 编译器的门派与配置的核心逻辑

既然我们知道了代码执行必须要依赖“翻译官”，那么市面上具体有哪些翻译官可供选择？在真正编写代码前，我们常听说的“配置编译器环境”到底又是在配置些什么东西呢？

1. 常见的三大编译器类型及发展关系

在 C++ 的世界里，语言的语法标准是统一的，但负责将其“翻译”为底层机器码的编译器却有多种实现。随着计算机工业的发展，目前最流行的是以下三种编译器：

GCC (GNU Compiler Collection)

  • 诞生背景：诞生于 1980 年代，是为了支持早期的开源操作系统（如 Linux）而开发的免费编译器。
  • 优势：历史最为悠久，支持的硬件架构最全。经过几十年的优化，它编译出的程序执行效率非常高。在信息学竞赛（如 CSP、GESP）中，官方统一指定的评测编译器就是它的 C++ 版本——g++。
  • 劣势：由于年代久远，其内部代码结构变得庞大且复杂。这导致它很难与现代的代码编辑器深度整合，无法很好地提供“实时语法检查”等需要快速响应的功能。

Clang (基于 LLVM 架构)

  • 诞生背景：由于 GCC 的内部结构调整困难，苹果公司为了给自家的开发工具提供更好的代码提示和语法检查功能，资助并扶持了一个采用全新模块化设计的现代编译器项目，这就是 Clang。
  • 优势：采用了模块化的架构设计，自身的编译速度极快。对于新手来说，它最大的优点是报错信息极其精准和友好——它能准确标出拼写错误的具体单词，有时还会给出修改建议。目前 macOS 系统已将其作为默认编译器。
  • 劣势：在某些复杂算法的极限优化上，最终生成程序的执行效率有时会略逊于积累深厚的 GCC。

MSVC (Microsoft Visual C++)

  • 诞生背景：与前两者扎根于开源社区不同，MSVC 是微软闭源开发的商业编译器，专门用于 Windows 操作系统的软件环境。
  • 优势：它与微软的 Visual Studio 开发环境深度绑定，在 Windows 平台上提供了极其强大的代码调试功能。市面上的大型 Windows 桌面软件和商业游戏大部分都是用它开发的。
  • 劣势：作为商业软件，其跨平台能力较弱（主要限于 Windows 平台），且在过去一段时间内，对最新 C++ 语法标准的支持速度往往不及 GCC 和 Clang。

三者的逻辑关系总结：

  • GCC 奠定了开源系统底座和算法竞赛评测的基础。
  • Clang 是为了解决 GCC 架构老旧、无法提供现代化编辑器增强功能而诞生的替代方案。
  • MSVC 则是专为 Windows 商业软件生态量身定制的闭源工具。

2. “配置编译器”到底在配置什么？

对于新手而言，可能总被“要先配置环境变量（Path）”这个词搞得晕头转向。其实，把编译器下载到电脑里仅仅是开端，要想让它顺利工作，我们主要是在帮系统理清两个关键层面的逻辑：

  • 第一层：系统级寻址（配置环境变量 Path） 计算机内部就像一座巨大的城市，装着成千上万不同的软件。当你随便在一个开发软件里按下“运行”时，操作系统（比如 Windows）作为不管技术细节的市长，它根本不知道名为“g++”的这位翻译官究竟住在哪个街道（文件夹路径）。 所谓的“将路径加入系统环境变量 Path”，本质上就是把翻译官的精确家庭住址，强制录入到操作系统的全局公共通讯录里。一旦登记完毕，以后无论你身在电脑的哪个角落呼叫编译指令，系统都能瞬间按名字把翻译官揪出来干活。

  • 第二层：资源包寻址（找齐标准词典与工具包） 编译器在工作时并非赤手空拳，它需要依赖许多由 C++ 前辈们提前写好的“官方标准库”才能翻译出复杂的程序功能（例如后面会讲到的用来在屏幕上打印文字的 <iostream> 工具）。 通常情况下，当你下载并安装编译器环境（如常用的 MinGW 安装包）时，除了翻译官程序本体（g++）外，安装包里已经一并附带了这些官方标准的 include（头文件）和 lib（库文件）资源文件夹。 配置编译器的核心逻辑之二，就是要告诉开发软件或系统，这些自带资源文件夹的确切位置。在实际操作中有两种常见落地方式：

    1. 通过开发软件界面（IDE）配置：在类似 Dev-C++ 等软件的“编译选项”或“目录设置”中，直接填入这些自带的 include 和 lib 文件夹的具体路径。
    2. 通过命令行参数配置：如果纯使用终端界面打字编译代码，则会在执行命令时，手动添加类似 -I（大写字母i代表Include路径）和 -L（大写字母L代表Lib路径）的参数标记，来指明资源包的存放地。

💡 实战指南： 回到信奥赛场，如果你使用的是 Windows 系统，并且准备参加 GESP 或 CSP 比赛，官方要求和建议使用的开发环境是配置 g++ 13.2.0 编译器。关于如何具体下载、安装，并动手走通这套从系统到词库的配置逻辑，可以参考本站之前的这篇保姆级实战教程： 【GESP】Windows系统配置官方要求Dev-C++和g++13.2.0编译环境

三、 剖析第一个程序：Hello, World!

了解完编译的原理后，我们来看看编程学习中最经典的入门程序：输出“Hello, World!”（你好，世界！）。从 1970 年代起，这便成为多数人学习新编程语言的首个练习。

一段用于输出这句话的 C++ 基础代码如下：

1
2
3
4
5
6

#include <iostream>

int main() {
    std::cout << "Hello, World!" << std::endl;
    return 0;
}

初看这段代码，可能会觉得有一些陌生的符号（如 #、<<、{} ）。下面我们逐行拆解这段代码的含义：

1. #include <iostream>：引入标准库

要在屏幕上显示一段文字，在底层实际上需要涉及显卡寻址、控制屏幕像素等非常复杂的硬件调用。 为了方便开发者，C++ 将这些复杂的底部操作进行了封装，提供了一个通用的输入输出流库（iostream）。

#include <iostream> 是一条预处理指令。它的作用是告诉编译器：在继续编译之前，先将 iostream 这个标准库的内容引入到当前文件中。这样一来，我们就可以直接使用库中现成的输出指令，不需要重新编写与硬件交互的繁琐代码。

2. int main()：程序的入口点

这行代码定义了程序的主函数（main 函数）。操作系统在运行一个 C++ 程序时，都会默认从 main 函数开始执行。如果更改了这个函数的名字，程序通常将无法正常启动。

int 表示这个函数在执行完毕后会返回一个整数类型（Integer）的值。而紧随其后的大括号 {} 则标明了 main 函数的作用范围，程序的核心代码都会写在这一对括号内部。

3. std::cout << ... ：实现文字输出

在很多现代编程语言（如 Python）中，输出往往类似于 print("Hello") 这样的简单函数。而在 C++ 中，这句代码表示使用数据流（Stream）的方式进行输出。

  • std::cout：代表标准输出流，通常指代显示器的屏幕。
  • <<：是插入运算符，作用是将右侧的数据传入左侧的输出流中。
  • std::endl：表示结束当前行（End of Line），类似于回车换行的作用，同时它会刷新输出缓冲区，确保文字立刻显示在屏幕上。

C++ 采用这种流式设计的优点在于很好的扩展性。如果将来你想把文字输出到文件中而不是屏幕上，只需将代表屏幕的 cout 替换成代表文件的输出流对象即可，逻辑结构无需发生变化。

4. return 0; ：返回执行状态

程序的最后一句是 return 0;。它的作用是向操作系统报告程序的运行结束情况。

在计算机的规范中，返回数字 0 通常代表该程序成功且正常地结束了运行。如果代码执行过程中遇到严重的错误崩溃，往往会向操作系统返回一个非零的数字。操作系统根据这个返回值就能判断程序的退出状态，以便进行后续的处理或记录错误日志。

结语

简短的“Hello, World!”程序虽然只有区区五六行代码，但它向我们完整展示了一个 C++ 程序的核心逻辑骨架。

从底层逻辑的地位上来看，这几个部分构成了所有程序的基石：

  1. 引入工具（#include）：为程序提前筹备好必需的能力包（如输入输出能力）。
  2. 定义入口（main）：为操作系统划定程序开始执行的绝对起点。
  3. 程序主体（核心逻辑部分）：即 main 函数大括号内的范围。在当前的例子中，主体只包含了单纯的输出逻辑（打印字符）。但在实际中，这里正是所有核心业务（包括接收用户输入、执行复杂计算、反馈处理结果）发生的地方。
  4. 运行交接（return 0）：程序收尾，向操作系统报告执行状态并交还控制权。

你要知道，未来无论你编写多么庞大复杂的代码（无论是解答百行级别的信奥算法题，还是开发百万行级别的大型软件），其最底层的运行结构都与这段“Hello, World!”完全一致。那些看似高深繁复的系统，本质上都只不过是在 main 函数的“程序主体”区间内进行了无限的扩充，加入了更多的变量处理、更多的输入判定以及更多样的输出逻辑而已。

因此，在刚踏入 C++ 大门时，透彻理解这个基本骨架及其背后的逻辑地位，远比单纯死记硬背代码的拼写规则要重要得多。

下期预告： 熟悉了程序的编译运行过程以及基础输出操作后，我们将在下一篇文章中正式进入 C++ 的数据处理环节，学习它的核心基础：变量的声明与常用的数据类型。我们下期见！

所有代码已上传至Github：https://github.com/lihongzheshuai/yummy-code

GESP 学习专题站：GESP WIKI

"luogu-"系列题目可在洛谷题库进行在线评测。

"bcqm-"系列题目可在编程启蒙题库进行在线评测。

欢迎加入：Java、C++、Python技术交流QQ群(982860385)，大佬免费带队，有问必答

欢迎加入：C++ GESP/CSP认证学习QQ频道，考试资源总结汇总

欢迎加入：C++ GESP/CSP学习交流QQ群(688906745)，考试认证学员交流，互帮互助

GESP/CSP 认证学习微信公众号
GESP/CSP 认证学习微信公众号
信奥业余科普, C++的奇妙之旅
科普 计算机科学基础 GESP CSP C++
本文由作者按照 CC BY-NC-SA 4.0 进行授权