30、C++11/14新特性（上）：auto类型推导、decltype、范围for循环、列表初始化、nullptr、constexpr增强
说实话，C++11/14 这一波新特性，是我从业十几年来见过的最猛的一次「版本大爆发」。
我记得刚入行那会儿，写个迭代器得敲 std::vector<std::map<int, std::string>>::const_iterator 这种又臭又长的类型，每次编译都像在赌命——赌自己没拼错单词。后来 C++11 来了，auto 一出手，世界清静了。
这一章，咱们就聊聊这些「让 C++ 变得更好用」的特性。我会结合自己踩过的坑，给你讲透它们到底怎么用、为什么用、什么时候别用。
核心要点：本章覆盖 auto 类型推导、decltype、范围 for 循环、列表初始化、nullptr、constexpr 增强。这些特性共同解决了 C++98 中「类型冗长、初始化歧义、空指针混乱、编译期计算能力弱」四大痛点。
1. auto 类型推导：让编译器替你打工
auto 说白了就是「让编译器帮你推导变量类型」。你想想看，以前写 std::map<int, std::string>::iterator it = myMap.begin();，现在直接 auto it = myMap.begin();，多清爽。
但 auto 不是万能的。我在项目中遇到过一个问题：
auto x = 42; // int
auto y = 3.14; // double
auto z = myFunc(); // 推导为函数返回类型
// 注意：auto 会忽略引用和顶层 const
int a = 10;
const int& ref = a;
auto b = ref; // b 是 int，不是 const int&
// 想要引用？得显式写 auto&
auto& c = ref; // c 是 const int&我的习惯：在循环迭代器、lambda 表达式、模板代码中，我几乎必用 auto。但在需要明确类型语义的地方（比如接口返回值），我会显式写出类型——代码是给人读的，别让同事猜。
避坑指南：我曾经在代码里写过 auto ptr = std::make_shared<Foo>();，然后顺手把 ptr 当普通指针传了。结果引用计数没处理好，内存泄漏查了两天。记住：auto 只推导类型，不改变语义。
2. decltype：问编译器「这个表达式是什么类型」
decltype 和 auto 是兄弟俩。auto 是「你推导，我赋值」；decltype 是「你推导，告诉我结果，我自己决定怎么用」。说白了，decltype 不会真的执行表达式，它只问编译器「这个表达式如果执行了，返回值是什么类型」。
int x = 10;
const int& y = x;
decltype(x) a = 20; // int
decltype(y) b = x; // const int&（保留引用和 const）
decltype((x)) c = x; // int&（注意：双层括号会推导为引用）
// 实际应用：模板返回类型
template<typename T, typename U>
auto add(T t, U u) -> decltype(t + u) {
return t + u;
}这里有个细节：decltype((x)) 和 decltype(x) 结果不同。加一层括号，编译器会把 x 当作左值表达式处理，推导出引用类型。嗯，这个坑我踩过——写泛型代码时，少了一对括号，编译报错半天没找到原因。
3. 范围 for 循环：遍历容器，就这么简单
以前遍历 vector 得写 for (size_t i = 0; i < vec.size(); ++i)，或者用迭代器。现在一行搞定：
std::vector<int> vec = {1, 2, 3, 4, 5};
// 只读遍历
for (const auto& val : vec) {
std::cout << val << " ";
}
// 修改遍历
for (auto& val : vec) {
val *= 2;
}
// 注意：不要修改关联容器的 key
std::map<int, std::string> m = {{1, "a"}, {2, "b"}};
for (const auto& [key, value] : m) { // C++17 结构化绑定
// key 是 const 的，不能修改
std::cout << key << ": " << value << std::endl;
}性能建议：遍历复杂对象时，用 const auto& 避免拷贝。我见过有人写 for (auto val : vecOfStrings)，每次循环拷贝一个 string，性能直接崩了。
4. 列表初始化：告别「最令人头痛的解析」
C++98 里有个经典问题：Foo f(); 是声明一个函数，还是定义一个对象？答案是函数声明。这就是所谓的「最令人头痛的解析」。C++11 用花括号初始化解决了这个问题：
// 统一初始化语法
std::vector<int> v1 = {1, 2, 3}; // OK
std::vector<int> v2{1, 2, 3}; // 也 OK
// 防止窄化转换
int x{3.14}; // 编译错误！double 到 int 是窄化转换
int y = 3.14; // 只给警告，但能编译（危险）
// 自定义类型
class Point {
public:
Point(int x, int y) : x_(x), y_(y) {}
private:
int x_, y_;
};
Point p{10, 20}; // 调用构造函数我个人习惯：能用花括号就用花括号。它更安全，也更统一。但要注意 std::initializer_list 的优先级——如果类有接受 initializer_list 的构造函数，花括号会优先匹配它。
std::vector<int> v{10, 20}; // 两个元素：10 和 20
std::vector<int> v(10, 20); // 10 个元素，每个都是 20你看，圆括号和花括号结果完全不同。这个坑我踩过不止一次。
5. nullptr：告别 NULL 的混乱时代
在 C++98 里，NULL 通常被定义为 0 或 (void*)0。这导致了一个经典问题：
void func(int);
void func(char*);
func(NULL); // 调用 func(int)！因为 NULL 是 0
func(nullptr); // 调用 func(char*)，正确！nullptr 的类型是 std::nullptr_t，它可以隐式转换为任何指针类型，但不能转换为整数类型。这就彻底解决了歧义问题。
我的建议：从 C++11 开始，永远不要再用 NULL。所有空指针都用 nullptr。我接手过一个遗留项目，里面 NULL 和 0 混用，重构时排查指针相关 bug 花了两周。
6. constexpr 增强：让更多计算发生在编译期
C++11 引入了 constexpr，但限制很多——函数体只能有一条 return 语句。C++14 大大放宽了限制：
// C++11 的 constexpr：只能一条 return
constexpr int factorial_c11(int n) {
return n <= 1 ? 1 : n * factorial_c11(n - 1);
}
// C++14 的 constexpr：可以有循环、分支、局部变量
constexpr int factorial_c14(int n) {
int result = 1;
for (int i = 2; i <= n; ++i) {
result *= i;
}
return result;
}
// 编译期计算
constexpr int val = factorial_c14(10); // 编译期就算好了
int arr[val]; // 可以用作数组大小实际应用：我在写嵌入式代码时，用 constexpr 在编译期计算 CRC 表、正弦值查找表。运行时零开销，性能直接拉满。
注意：constexpr 函数不一定在编译期执行。如果参数不是常量表达式，它会在运行时执行。所以别指望 constexpr 能自动优化性能——它只是「允许」编译期计算，不是「强制」。
总结一下
这一章讲的六个特性，其实都在做同一件事：让 C++ 更安全、更简洁、更高效。
- auto 帮你省掉冗长的类型声明
- decltype 让你在泛型编程中精准获取类型
- 范围 for 让遍历容器变成一件简单的事
- 列表初始化 统一了初始化语法，防止窄化转换
- nullptr 终结了 NULL 的歧义时代
- constexpr 让编译期计算变得真正可用
这些特性我每天都在用。说实话，现在让我回去写 C++98 的代码，我可能会疯掉。下一章咱们继续聊 C++11/14 剩下的特性——移动语义、智能指针、lambda 表达式，那才是真正的重头戏。
公众号:蓝海资料掘金营，微信deep3321