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 等。
// 函数模板示例:求最大值 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 起):使算法行为可定制。
#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):为模板参数添加约束,使泛型代码更清晰、错误信息更友好。