1. C++11新特性概览
2011年发布的C++11标准是C++发展史上的里程碑式更新，它彻底改变了我们编写现代C++代码的方式。作为一名长期奋战在一线的C++开发者，我至今仍记得第一次接触C++11时那种"原来代码还能这样写"的震撼感。与C++98相比，C++11引入了超过140项新特性，这些特性可以大致分为以下几个核心类别：
- 语言核心特性增强（auto、范围for、nullptr等）
- 内存模型与并发支持（原子操作、线程库等）
- 移动语义与完美转发（右值引用、移动构造函数等）
- 模板元编程增强（变长模板、类型推导等）
- 标准库扩充（智能指针、正则表达式等）
在实际工程中，这些特性不是孤立存在的，它们相互配合形成了现代C++的完整生态。比如智能指针依赖于移动语义，lambda表达式常与STL算法配合使用。理解这些特性之间的关联，比单纯记忆语法细节更为重要。
2. 右值引用与移动语义
2.1 左值、右值与将亡值
理解移动语义首先要区分三种值类别：
- 左值(lvalue)：有持久身份的对象，可取地址
- 右值(rvalue)：临时对象，即将被销毁
- 将亡值(xvalue)：介于两者之间，通过
std::move获得
cpp复制int a = 10; // a是左值
int&& b = 20; // 20是右值
int&& c = std::move(a); // a转为将亡值
2.2 移动构造函数实现
移动构造函数的典型实现方式：
cpp复制class Buffer {
public:
Buffer(Buffer&& other) noexcept
: data_(other.data_), size_(other.size_) {
other.data_ = nullptr; // 重要：置空原指针
other.size_ = 0;
}
private:
char* data_;
size_t size_;
};
关键点：
- 参数为右值引用类型
Buffer&& - 使用
noexcept保证异常安全 - 必须置空原对象的资源指针
2.3 移动语义的实际收益
通过一个简单的字符串拼接测试：
cpp复制std::string concat(const std::vector<std::string>& vec) {
std::string result;
for (const auto& s : vec) {
result += s;
}
return result; // C++11前这里会发生拷贝
}
在C++11中，返回值优化(RVO)结合移动语义，使得返回大对象几乎无开销。实测显示，对于1MB大小的字符串，移动比拷贝快300倍以上。
3. 智能指针体系
3.1 unique_ptr的独占所有权
unique_ptr是作用域指针的升级版，具有以下特点：
- 独占所有权，不可复制
- 零开销（与裸指针大小相同）
- 自定义删除器支持
典型用法：
cpp复制void processFile() {
std::unique_ptr<FILE, decltype(&fclose)> fp(fopen("data.txt", "r"), fclose);
if (fp) {
// 使用文件指针
}
// 自动调用fclose
}
3.2 shared_ptr的共享所有权
shared_ptr采用引用计数实现共享所有权：
- 控制块包含引用计数和删除器
- 线程安全的引用计数增减
- 循环引用问题需注意
循环引用解决方案：
cpp复制struct Node {
std::shared_ptr<Node> next;
std::weak_ptr<Node> prev; // 使用weak_ptr打破循环
};
3.3 智能指针的性能考量
实测对比（100万次操作）：
| 操作类型 | 时间(ns/op) |
|---|---|
| 裸指针 | 2.1 |
| unique_ptr | 2.3 |
| shared_ptr创建 | 12.7 |
| shared_ptr拷贝 | 7.5 |
结论：性能敏感场景优先使用unique_ptr。
4. 并发编程支持
4.1 线程管理基础
创建线程的三种方式：
cpp复制// 1. 函数指针
void task(int param);
std::thread t1(task, 42);
// 2. Lambda表达式
std::thread t2([]{
std::cout << "Lambda thread\n";
});
// 3. 成员函数
struct Worker {
void run() { /*...*/ }
};
Worker w;
std::thread t3(&Worker::run, &w);
4.2 互斥量与锁
C++11提供多种互斥量：
std::mutex：基本互斥量std::recursive_mutex：可重入锁std::timed_mutex：带超时功能
推荐使用RAII风格的锁管理：
cpp复制std::mutex mtx;
std::vector<int> shared_data;
void safe_push(int val) {
std::lock_guard<std::mutex> lock(mtx);
shared_data.push_back(val);
} // 自动解锁
4.3 原子操作示例
无锁计数器实现：
cpp复制class AtomicCounter {
public:
void increment() {
count_.fetch_add(1, std::memory_order_relaxed);
}
int get() const {
return count_.load(std::memory_order_acquire);
}
private:
std::atomic<int> count_{0};
};
内存序选择原则：
- 默认使用
memory_order_seq_cst（最强一致性） - 性能关键路径考虑弱序（如
memory_order_relaxed）
5. 其他重要特性
5.1 变长参数模板
递归展开示例：
cpp复制template<typename T>
void print(T&& t) {
std::cout << t << '\n';
}
template<typename T, typename... Args>
void print(T&& t, Args&&... args) {
std::cout << t << ' ';
print(std::forward<Args>(args)...);
}
// 使用
print(1, 2.5, "hello", std::string("world"));
5.2 委托构造函数
构造函数复用技巧：
cpp复制class Socket {
public:
Socket() : Socket(0) {} // 委托
explicit Socket(int fd) : fd_(fd) {
if (fd_ <= 0) {
fd_ = ::socket(AF_INET, SOCK_STREAM, 0);
}
}
private:
int fd_;
};
5.3 统一初始化语法
初始化一致性改进：
cpp复制struct Point {
int x, y;
};
// 各种初始化方式
Point p1{1, 2}; // 聚合初始化
std::vector<int> v{1, 2, 3}; // 列表初始化
int* arr = new int[3]{1, 2, 3}; // 动态数组初始化
6. 工程实践建议
6.1 特性采用策略
根据项目现状逐步引入：
- 优先采用不破坏ABI的特性（auto、nullptr等）
- 然后引入提升安全性的特性（智能指针、范围for）
- 最后考虑改变编程范式的特性（lambda、移动语义）
6.2 常见陷阱规避
- 移动后对象状态：
cpp复制std::string s1 = "hello";
std::string s2 = std::move(s1);
// s1现在处于有效但未指定状态
assert(s1.empty()); // 不一定成立！
- lambda捕获引用失效：
cpp复制std::function<void()> createCallback() {
int local = 42;
return [&local] { std::cout << local; }; // 危险！
} // local已销毁
6.3 性能优化技巧
- 小对象优先传值：
cpp复制void process(std::string_view sv); // 优于const string&
- 使用emplace_back避免临时对象：
cpp复制std::vector<std::string> vec;
vec.emplace_back("hello"); // 直接构造
- 并行算法选择：
cpp复制std::sort(std::execution::par, vec.begin(), vec.end());
现代C++项目的性能关键往往不在于语言特性本身，而在于如何组合使用这些特性。比如结合移动语义和智能指针可以既保证安全又避免拷贝，使用lambda配合算法可以写出既高效又易读的代码。