C++ 语言概述与编译模型

定义与作用

C++ 是一种基于 C 的通用编程语言，由 Bjarne Stroustrup 于 1979 年在贝尔实验室开始设计，最初被称为 "C with Classes"。在 C 语言的坚实基础上，C++ 增加了类、模板、异常处理、命名空间、运算符重载、函数重载、引用、自由存储管理以及丰富的标准库设施。

C++ 的设计哲学可概括为：

• 零开销抽象：你不为不使用的特性付出成本
• 直接映射硬件：C++ 提供与 C 同等的底层控制能力
• 多范式融合：面向过程 + 面向对象 + 泛型编程 + 函数式风格共存

理解 C++ 的编译模型是掌握语言的前提——它不是解释型语言，也不是纯 JIT 编译型，而是经过复杂翻译阶段的原生编译型语言。

核心原理

ISO 标准演进

C++ 的标准化始于 1998 年，每个新标准在扩展语言的同时修正前代缺陷：

C++11 是分水岭——引入了右值引用、移动语义、lambda、智能指针、并发库，标志着"现代 C++"的诞生。本教程以 C++11 为核心，适当延伸至 C++14/17/20。

翻译阶段（9 阶段模型）

从 .cpp 源文件到可执行文件，C++ 经历 9 个翻译阶段（phases of translation）：

翻译单元与 ODR

翻译单元（Translation Unit） 是编译的基本单位：

翻译单元 = 一个源文件 + 所有 #include 头文件 - 条件排除代码

单一定义规则（ODR，One Definition Rule） 分两个层面：

1. 翻译单元内：变量、函数、类、枚举、模板最多只能有一个定义
2. 整个程序中：非内联函数和非内联变量在整个程序中只能有一个定义，但类、枚举、内联函数等可在多个翻译单元中各有定义（定义必须完全相同）

违反 ODR 是非良构、无需诊断（no diagnostic required） 的行为——编译器可能不报错，但导致未定义行为。

完整示例

示例一：多文件项目的编译流程

场景说明：一个简单学生管理系统，包含头文件声明、源文件实现和主函数，演示翻译单元与链接。

student.hpp

#ifndef STUDENT_HPP
#define STUDENT_HPP

#include <string>

class Student {
public:
    Student(const std::string& name, int score);
    void display() const;

private:
    std::string name_;
    int score_;
};

#endif

student.cpp

#include "student.hpp"
#include <iostream>

Student::Student(const std::string& name, int score)
    : name_(name), score_(score) {}

void Student::display() const {
    std::cout << "姓名: " << name_
              << ", 分数: " << score_ << std::endl;
}

main.cpp

#include "student.hpp"

int main() {
    Student s("张三", 95);
    s.display();
    return 0;
}

编译与链接（GCC 示例）：

g++ -std=c++11 -c student.cpp -o student.o    # 编译为对象文件
g++ -std=c++11 -c main.cpp -o main.o          # 编译为对象文件
g++ student.o main.o -o student_app           # 链接为可执行文件

预期输出：

姓名: 张三, 分数: 95

逐段分析：

• #ifndef/#define/#endif 是包含守卫，防止同一头文件在一个翻译单元中被多次包含，从而违反 ODR
• student.cpp 和 main.cpp 各自形成一个翻译单元，分别编译为 student.o 和 main.o
• 链接阶段（阶段 9）将两个目标文件中的符号解析，main.o 中对 Student::display() 的引用被解析到 student.o 中的定义
• 如果 Student 类在头文件中没有包含守卫，且被多次间接包含，就会触发 ODR 违规

示例二：ODR 违规的典型场景

场景说明：演示内联函数与非内联函数在多翻译单元中的 ODR 差异。

config.hpp（在多个 .cpp 中包含）

#ifndef CONFIG_HPP
#define CONFIG_HPP

// 情况 A: 内联函数——每个翻译单元可以各有一份定义
inline int get_max_connections() {
    return 500;
}

// 情况 B: 非内联函数——整个程序只能有一份定义
int get_port_number();  // 这里只有声明

#endif

config.cpp

#include "config.hpp"

// 定义出现在一个翻译单元中
int get_port_number() {
    return 8080;
}

server.cpp

#include "config.hpp"
#include <iostream>

int main() {
    std::cout << "最大连接数: " << get_max_connections() << std::endl;
    std::cout << "端口号: " << get_port_number() << std::endl;
    return 0;
}

预期输出：

最大连接数: 500
端口号: 8080

逐段分析：

• get_max_connections 标记为 inline，允许在每个包含 config.hpp 的翻译单元中各有一份定义——链接器会自动去重
• get_port_number 是普通函数，只能在一个翻译单元中有定义。如果在 config.hpp 中直接写函数体（非 inline），那么每个包含它的翻译单元都会生成定义，导致链接器报 multiple definition 错误
• 这是初学者最常见的编译链接错误之一：在头文件中定义了非内联函数

错误实践：在头文件中定义非内联函数导致链接错误

// ---- 错误示例: types.hpp ----
#ifndef TYPES_HPP
#define TYPES_HPP

// 错误：非 inline、非模板的普通函数定义在头文件中
int compute(int x) {  
    return x * 2;
}

#endif

// ---- a.cpp ----
#include "types.hpp"

// ---- b.cpp ----
#include "types.hpp"

// 链接阶段报错:
// multiple definition of `compute(int)'

正确做法：要么加 inline，要么声明与定义分离，要么用 static 限制为内部链接。

易错场景与面试考点

易错场景

常见面试问题

1. C 和 C++ 的核心区别是什么？——C++ 在 C 基础上增加了类、模板、异常、重载、引用、命名空间以及标准库（STL），且拥有完全不同的编译期范型能力。

2. 什么是翻译单元？——一个源文件经过预处理后（包含头文件展开、宏替换、条件编译排除）形成的完整代码块，是编译的基本单位。

3. ODR（单一定义规则）的两层含义是什么？——翻译单元内实体最多一个定义；整个程序内非内联实体最多一个定义。类、模板、内联函数等可在多翻译单元有定义但必须完全相同。

4. inline 函数为什么可以定义在头文件中？——因为 C++ 标准规定内联函数在每个使用它的翻译单元中都必须有定义，且链接器会合并相同定义而非报重定义错误。

5. 翻译的 9 个阶段分别是什么？请按顺序简述。

6. "良构程序（well-formed）"与"非良构程序（ill-formed）"有何不同？为什么 ODR 违规标为"无需诊断"？——ODR 违规的检测需要跨翻译单元分析，编译器单文件编译时无法完整检测，因此标准允许"无需诊断"，但程序已是非良构的。

7. C++11 相较于 C++98/03 最重要的三大变革是什么？——右值引用与移动语义、lambda 表达式、并发内存模型与线程库。

小结

• C++ 是原生编译型多范式编程语言，ISO 标准每 3 年迭代
• 编译经历 9 个翻译阶段，核心概念是翻译单元和 ODR
• 内联函数与模板可在头文件中定义；普通函数必须声明与定义分离
• 理解编译模型是解决编译/链接错误的基础