C++14 新特性：更加简洁和高效的编程体验

背景

C++14 是 C++11 的一个小幅更新，发布于 2014 年。相比 C++11，C++14 的变化不算很多，但它在许多方面做了增强，主要是让语言更加简洁、高效，也修复了一些 C++11 中的小问题。今天我们来聊聊 C++14 中最有用的几个新特性，看看它们如何帮助我们写出更简洁、更高效的代码。

---

Lambda 表达式的改进

Lambda 表达式在 C++11 中已经非常强大了，C++14 在此基础上做了些增强，尤其是在捕获变量的方式上。
（1）泛型捕获（Generic Capture）
C++14 让 Lambda 可以用 auto 来捕获外部变量的类型。也就是说，你可以不用指定捕获的变量类型，编译器会自动推断。这样可以让代码更加简洁，也更灵活。

#include <iostream>int main() {int x = 10;auto lambda = [x](auto&& val) { std::cout << x << " " << val << std::endl; };lambda(5);  // 输出：10 5return 0;
}

这里，auto&& val 是一个泛型捕获，它让 Lambda 可以接受任何类型的参数，类型推导完全交给编译器。
（2）返回类型推导
C++14 还允许你在 Lambda 表达式里使用 auto 来推导返回类型，不需要显式指定。这让代码更加简洁。

#include <iostream>int main() {auto lambda = [](int a, int b) -> auto { return a + b; };std::cout << lambda(2, 3) << std::endl;  // 输出：5return 0;
}

这里，-> auto 就是告诉编译器自动推导返回类型。

自动类型推导的改进

C++14 对自动类型推导做了优化，解决了一些 C++11 中的细节问题。它让 auto 和 decltype 更加高效、准确，推导出的类型也更符合我们的预期。
（1）decltype(auto)
C++14 增加了 decltype(auto)，它让我们能够准确地推导类型，保留表达式的值类别（比如左值或者右值）。这样我们就能更精确地处理类型，尤其是涉及到引用时。

int x = 10;
int& ref = x;
decltype(auto) y = ref;  // y 的类型是 int&
std::cout << y << std::endl;  // 输出：10

这种方式让类型推导更直观，同时也避免了写出不必要的冗余类型。

std::make_unique 的加入

C++14 加入了一个很实用的函数模板 std::make_unique，用来创建 std::unique_ptr。这个函数可以让我们不再手动写new，提高代码安全性，也让代码看起来更简洁。
在 C++11 中，你可能会这样写：

std::unique_ptr ptr(new int(10));

而在 C++14 中，你可以使用 std::make_unique 来简化它：

std::unique_ptr ptr = std::make_unique(10);

std::make_unique 减少了内存管理的风险，是一种更加推荐的写法。

二进制字面量的支持

C++14 支持用二进制字面量来表示数字，可以直接写 0b 或 0B 前缀来表示二进制数。这对位运算、内存控制等低级操作非常方便。

#include <iostream>int main() {int bin = 0b1010;  // 二进制 1010std::cout << bin << std::endl;  // 输出：10return 0;
}

通过二进制字面量，代码变得更加直观，特别是在涉及位运算时。

std::shared_timed_mutex 和 std::shared_lock

C++14 还引入了新的同步工具，比如 std::shared_timed_mutex 和 std::shared_lock。这两个新特性可以让多线程编程更高效，尤其是在一些需要多个线程同时读取数据的场景下。
std::shared_timed_mutex 允许线程在共享模式下设置锁定的超时时间，而 std::shared_lock 允许多个线程共享对资源的访问，而不需要相互阻塞。

#include <iostream>
#include <shared_mutex>
#include <thread>std::shared_timed_mutex mtx;void shared_task() {std::shared_lock<std::shared_timed_mutex> lock(mtx);std::cout << "Shared task" << std::endl;
}void exclusive_task() {std::unique_lock<std::shared_timed_mutex> lock(mtx);std::cout << "Exclusive task" << std::endl;
}int main() {std::thread t1(shared_task);std::thread t2(exclusive_task);t1.join();t2.join();return 0;
}

通过这两个工具，我们可以更灵活地控制并发访问，提高多线程程序的性能。

constexpr 的增强

C++14 对 constexpr 做了一些增强，允许 constexpr 函数包含更多的语言特性，比如局部变量、条件语句和循环等，这让编译时计算变得更强大。

constexpr int factorial(int n) {return n <= 1 ? 1 : n * factorial(n - 1);
}int main() {constexpr int val = factorial(5);  // 编译时计算std::cout << val << std::endl;  // 输出：120return 0;
}

现在，你可以在 constexpr 函数中写更复杂的逻辑，像普通函数一样使用分支和循环，增强了编译时计算的灵活性。

std::aligned_storage 的增强

C++14 对 std::aligned_storage 进行了增强，让我们可以创建具有自定义对齐要求的内存区域。这在一些自定义内存分配或低级编程场景下非常有用。

#include <iostream>
#include <type_traits>int main() {std::aligned_storage<sizeof(int), alignof(int)> storage;new(&storage) int(10);  // 在对齐的内存上创建一个 intstd::cout << *reinterpret_cast<int*>(&storage) << std::endl;  // 输出：10return 0;
}

通过这种方式，我们可以精确控制内存对齐，适用于高性能或特定硬件要求的编程场景。

总结

虽然 C++14 并不像 C++11 那样引入了大量的新特性，但它在简化语言、提高性能和修复小漏洞方面做了很多实用的增强。对于已经在用 C++11 的开发者，C++14 的这些改进可以让你写出更加简洁、灵活和高效的代码。通过这些新特性，你不仅能提高程序的可读性，还能减少一些常见的编程错误，是非常值得了解和使用的。

这篇文章就到这里了，如果觉得写的还不错的话，欢迎点赞加关注，如果有写的不对的地方，欢迎批评指正( •̀ ω •́ )✧