1. C++ 语言概述
C++ 是一种通用、静态类型、编译式、支持多范式的程序设计语言，C++ 在 C 语言的基础上增加了面向对象、泛型编程等特性，同时保持了与 C 语言的高度兼容性和高效性，使其成为系统软件、游戏开发、高性能计算等领域的核心语言。
2. C++ 的核心特点
2.1 面向对象编程 (OOP)
C++ 全面支持面向对象编程的四大特性：
- 封装 (Encapsulation)：通过类（class）将数据（成员变量）和操作数据的方法（成员函数）捆绑在一起，并控制对内部数据的访问权限（public, protected, private）。
- 继承 (Inheritance)：允许一个类（派生类）继承另一个类（基类）的属性和方法，实现代码复用和层次化设计。
- 多态 (Polymorphism)：通过虚函数（virtual function）和函数重写（override）实现"一个接口，多种实现"。运行时多态（动态绑定）是 C++ OOP 的精华。
- 抽象 (Abstraction)：通过抽象类（包含纯虚函数）和接口定义通用行为，隐藏实现细节。
2.2 泛型编程 (Generic Programming)
通过模板（template）实现，允许编写与数据类型无关的通用代码。
- 函数模板：定义通用函数。
- 类模板：定义通用类，如标准模板库（STL）中的 vector, list, map 等。
cpp
// 函数模板示例：求最大值
template <typename T>
T max(T a, T b) {
return (a > b) ? a : b;
}
// 类模板示例：一个简单的栈
template <typename T>
class Stack {
private:
std::vector<T> elements;
public:
void push(const T& value) { elements.push_back(value); }
T pop() {
T top = elements.back();
elements.pop_back();
return top;
}
};2.3 高效性与底层控制
C++ 继承了 C 语言的"贴近硬件"特性，提供了对系统资源的精细控制。
- 手动内存管理：通过 new/delete 运算符直接控制堆内存的分配与释放。
- 指针与引用：直接操作内存地址，实现高效的数据传递和访问。
- 内联函数 (inline)：建议编译器将函数体直接插入调用处，减少函数调用开销。
- 编译时优化：强大的编译器（如 GCC, Clang, MSVC）能进行深度优化，生成高效的机器码。
2.4 标准模板库 (STL)
STL 是 C++ 标准库的核心组成部分，提供了一系列通用的模板类和函数。
- 容器 (Containers)：如 vector（动态数组）、list（双向链表）、map（关联数组）、set（集合）。
- 算法 (Algorithms)：如 sort（排序）、find（查找）、copy（复制），作用于容器之上。
- 迭代器 (Iterators)：提供访问容器元素的统一接口，是容器与算法之间的桥梁。
- 函数对象 (Functors) 与 Lambda 表达式（C++11 起）：使算法行为可定制。
cpp
#include <iostream>
#include <vector>
#include <algorithm>
int main() {
std::vector<int> nums = {5, 2, 8, 1, 9};
std::sort(nums.begin(), nums.end()); // 使用 STL 算法排序
for (int num : nums) { // 范围 for 循环 (C++11)
std::cout << num << " ";
}
return 0;
}3. C++ 的现代特性（C++11/14/17/20）
现代 C++ 在保持高性能的同时，大幅提升了开发效率和安全性。
- 自动类型推导 (auto)：让编译器自动推断变量类型。
- 智能指针 (Smart Pointers)：如 unique_ptr, shared_ptr, weak_ptr，自动管理内存生命周期，减少内存泄漏。
- 移动语义 (Move Semantics) 和右值引用 (Rvalue Reference)：避免不必要的深拷贝，提升性能。
- Lambda 表达式：方便地定义匿名函数对象。
- 并发支持 (Concurrency)：标准库提供了 thread, mutex, future 等，支持多线程编程。
- 模块 (Modules) (C++20)：改进代码组织方式，提升编译速度。
- 概念 (Concepts) (C++20)：为模板参数添加约束，使泛型代码更清晰、错误信息更友好。