第16章 C++11/14/17新特性

课程目录第16章 C++11/14/17新特性

16. C++11/14/17新特性：让代码更现代、更安全

说实话，C++11 之后的这几个标准，是我从业以来最兴奋的几次更新。以前写 C++，总觉得它像个老学究——严谨、强大，但写起来有点啰嗦。新标准出来后，感觉整个语言都年轻了。今天咱们就聊聊几个我最常用的新特性，它们实实在在地改变了我的编码习惯。

我记得刚学 C++ 那会儿，写个迭代器得这么写：

std::vector<std::map<std::string, int>>::const_iterator it = myVec.begin();

每次看到这种代码，我都想摔键盘。后来 auto 来了，世界清静了：

auto it = myVec.begin();  // 编译器自动推导类型

auto 的核心规则其实很简单：编译器根据初始化表达式推导出变量类型。但有几个坑，我踩过，得跟你说说：

避坑指南：我曾经在代码里写 const auto x = func();，以为 x 是 const 引用，结果 func() 返回的是临时对象，x 只是 const 值拷贝。后来我养成了习惯：想要引用时，明确写 const auto&。

你想想看，以前遍历一个 vector 要写多长一串？现在一行搞定：

std::vector<int> vec = {1, 2, 3, 4, 5};
for (int val : vec) {
    std::cout << val << " ";
}

如果想修改元素，加个引用：

for (auto& val : vec) {
    val *= 2;
}

我个人习惯在只读遍历时用 const auto&，这样既避免拷贝，又明确表示不修改。嗯，这里要注意：范围 for 循环底层其实是用迭代器实现的，所以如果你在循环中修改容器（比如删除元素），迭代器会失效，程序就崩了。

警告：不要在范围 for 循环中增删容器元素！我曾经在代码审查时看到过这种写法，当场就指出了问题——迭代器失效是 C++ 里最隐蔽的 bug 之一。

以前我们用 NULL 表示空指针，但 NULL 其实是个整数 0。这就导致了一个经典问题：

void func(int);
void func(char*);

func(NULL);  // 调用的是 func(int)，不是 func(char*)！

是不是很坑？nullptr 的出现彻底解决了这个问题。它是 std::nullptr_t 类型的值，可以隐式转换为任何指针类型，但不会和整数混淆。

int* p1 = nullptr;   // 正确
char* p2 = nullptr;  // 正确
// int n = nullptr;  // 编译错误！

我在项目中全面用 nullptr 替换了 NULL，再也没遇到过指针和整数的歧义问题。说白了，这就是 C++ 走向类型安全的一个小缩影。

多态继承中，最怕的就是你想重写一个虚函数，结果因为拼写错误或参数不匹配，变成了重载。编译器也不报错，程序跑起来完全不是你想要的效果。

override 关键字就是干这个的：

class Base {
public:
    virtual void draw() const;
};

class Derived : public Base {
public:
    void draw() const override;  // 明确告诉编译器：我要重写
};

如果基类没有这个虚函数，或者签名不匹配，编译器直接报错。我建议你养成习惯：所有重写的虚函数都加上 override。这不是可选的，是职业素养。

final 则用来阻止进一步继承或重写：

class Shape final { /* ... */ };  // 不能再被继承

class Base {
    virtual void doSomething() final;  // 子类不能重写
};

小技巧：我一般在设计类层次时，先用 final 标记那些不打算被继承的类。这样后来者一看就明白设计意图，也避免了不必要的虚函数开销。

这是 C++11 最重磅的特性，没有之一。以前我们传对象，要么传值（拷贝），要么传引用（避免拷贝但受限于生命周期）。右值引用让我们有了第三种选择：移动。

先理解两个概念：

右值引用用 && 表示，它只能绑定到右值：

int&& rref = 42;  // 绑定到字面量
std::string&& sref = std::string("hello");  // 绑定到临时对象

移动语义的核心是 std::move，它把左值转换成右值引用，从而触发移动构造函数或移动赋值运算符：

std::vector<int> bigVec = {1, 2, 3, /* ... 很多元素 */};
std::vector<int> anotherVec = std::move(bigVec);  // 移动，而非拷贝
// 现在 bigVec 是空的了

移动操作通常只是交换指针或资源句柄，代价极低。我在处理大型容器或字符串时，几乎都用移动代替拷贝，性能提升非常明显。

个人经验：我曾经优化过一个日志系统，每条日志都要拼接大量字符串。改用移动语义后，吞吐量提升了 3 倍。但要注意：被移动后的对象处于有效但未指定的状态，不能再假设它还有原来的值。我一般移动后立即重置或不再使用原对象。

下面这张图帮你理清这几个新特性的关系：

这几个特性看似独立，其实都指向同一个方向：让 C++ 更现代、更安全、更高效。auto 减少冗余，范围 for 简化遍历，nullptr 消除歧义，override/final 强化设计，右值引用和移动语义则从根本上改变了资源管理的方式。

我个人觉得，学习这些新特性最好的方式就是在真实项目中用起来。刚开始可能会不习惯，但用上一两个月，你就再也回不去了。嗯，这就是现代 C++ 的魅力。