1. std::variant 概述想象你有一个魔法盒子，这个盒子同时只能装一种东西，但这个东西可以是不同类型的，比如：今天装一个整数，明天装一个字符串，后天装一个浮点数。这个魔法盒子就是 std::variant。std::variant 是 C++17 引入的类型安全的联合体。与传统的 union 不同，它有以下特点：
多选一：在定义时必须告诉它，它只能存哪些类型（比如 int, double, string）。不能存这三种类型以外的东西。
类型安全：它永远知道自己当前存的是哪个类型。如果试图用错误的类型去取数据，编译器会在编译期帮我们检查，或者直接抛出异常，绝不会产生未定义行为。
高效：大多数情况下，std::variant 的大小就是其所有成员中最大的那个大小（加上一点点开销），它通常存储在栈上，不需要像 std::any 那样动态分配内存。
std::variant类的头文件和基础声明如下：
123#include <variant>// 定义一个 variant，它可以存 int，或者 double，或者 std::stringstd::variant< ...
1. std::any 概述在学习 C++ 过程中，你可能遇到过这样的烦恼：C++ 是强类型语言，每个变量都必须有明确的类型（int, double, std::string 等）。如果你想写一个函数，既能存 int，又能存 string，甚至存你自己定义的类对象，通常只能用：
模板：但模板必须在编译期确定类型。
空指针 void*：这是 C 语言的做法，不安全，且无法记住类型信息。
联合体 union：C++ 的 union 有很多限制（比如不能有 std::string 这种构造函数复杂的对象）。
为了解决这个问题，C++17 引入了 std::any，它是一种类型安全、可以存储任何可拷贝构造类型的容器。
大家可以把它想象成一个贴了标签的万能快递箱：
使用者往里面扔什么东西都可以（int, double, std::vector, 自定义类…）。
它会自动记住我们扔进去的是什么类型（这就是标签）。
当把东西取出来的时候，如果猜的类型不对，它会报错（这就是类型安全），而不是给我们一堆乱码让程序崩溃。
std::any 持有的是值的拷贝（除非存储的是引用包装器），对于小对象，s ...
1. 节点句柄在 C++17 之前，当我们尝试从一个 std::map 或 std::unordered_map 中提取元素并进行修改时，往往不得不面对代码冗余、效率低下甚至查找两次的尴尬局面。C++17 针对关联容器（包括 map, set, unordered_map, unordered_set）引入了一组至关重要且细节满满的改进。这些改进的核心宗旨是：拒绝冗余查找，拒绝不必要的拷贝，让接口更加统一和易用。
C++17 引入了节点句柄的概念，它是一种轻量级对象，允许在容器间安全转移单个元素的所有权，而无需复制或移动元素本身。这类似于直接操作底层数据结构的节点。
map 的节点句柄类型是 node_type。
set 的节点句柄类型是 node_type。
对于 map，句柄拥有键和值的完整所有权；对于 set，它拥有键的所有权。
节点句柄的关键特性有以下几点：
独占所有权：当一个节点被 extract 出来后，它在原容器中就不复存在了。
内存保留：句柄持有该节点的内存分配器。这意味着当你把句柄插入到另一个容器时，不需要重新分配内存，只是修改指针指向。这是零分配的操作。
修改 ...
1. std::not_fn 概述在 C++17 之前，标准库提供了 std::not1 和 std::not2，用于对谓词（返回 bool 的函数对象）进行取反。如果你用过它们，你一定知道它们有多难用：
要求繁琐：必须给函数对象定义 argument_type 和 result_type 等嵌套类型（或者继承 std::unary_function，后者在 C++11 就被废弃了）。
仅限一元和二元：如果你有一个接受 3 个参数的谓词想取反，std::not1 和 std::not2 爱莫能助。
无法处理 Lambda：Lambda 没有那些嵌套类型，所以不能直接传给 std::not1，必须用 std::function 包裹，这会有性能损耗。
C++17 彻底解决了这个问题，推出了 std::not_fn。
它是谁：一个函数适配器。
它能干什么：接受任何可调用对象，返回一个新的可调用对象。这个新对象的逻辑是：调用原对象，并对返回值进行逻辑非（!）操作。
通用性：无论是一元、二元还是 N 元谓词；无论是函数指针、Lambda 还是成员函数，统统兼容
核心语法与头文件：
头 ...
1. std::apply 概述std::apply 是 C++17 引入的一个实用工具函数，其主要目的是将元组（或类元组对象）解包为函数调用的参数。这解决了在 C++14 及之前版本中，需要手动解包元组参数调用函数的繁琐问题。
函数原型与语法：
1234567#include <tuple>namespace std { template <class F, class Tuple> constexpr decltype(auto) apply(F&& f, Tuple&& t);}
模板参数：
F：可调用对象类型（函数、函数指针、函数对象、lambda 等）
Tuple：类元组类型（std::tuple、std::pair、std::array 或任何支持 std::get 和 std::tuple_size 的类型）
返回值：
返回 f 的调用结果
使用 decltype(auto) 自动推导返回类型，完美转发返回值
C++23 之前只有元组版本，C++23 增加了类似 std:: ...
1. 什么是 std::invoke在 C++17 之前，如果想调用一个函数，直接写 func(args)；如果想调用一个对象的成员函数，需要写 obj.func(args) 或者 ptr->func(args)。
但在写一些通用的代码（比如库代码、模板）时，编译器并不知道我们传进来的是一个普通函数、一个成员函数，还是一个像函数一样的对象（比如 lambda）。这时候，写法就非常麻烦了。
123456789// 普通函数func(args...);// 成员函数obj.func_ptr(args...);obj->func_ptr(args...);// 函数对象func_obj(args...);
std::invoke 是 C++17 引入的一个函数模板，用于统一调用各种可调用对象。简单来说，std::invoke 是一个万能调用器，它提供了一种标准化的方式来调用函数、成员函数、函数对象等，无论它们是什么类型，这样可以让代码更加一致和可读。
1234567#include <functional> // std::invoke 头文件template&l ...
1. 什么是类模板参数推导在 C++17 之前，我们在实例化一个类模板时，必须显式地把模板参数写在尖括号 < > 里，即使这些参数很明显可以从构造函数推导出来。举个例子，std::pair 是一个模板类：
1234// C++17 之前，必须手动指定类型std::pair<int, std::string> p1(42, "hello"); // 好啰嗦！std::vector<int> v{1, 2, 3, 4, 5};std::vector<std::string> vs{"hello", "world"};
我们会发现，std::pair(42, "hello") 明明能看出第一个是 int，第二个是 const char*（或者 std::string），为什么还要写那么长呢？
C++17 允许编译器根据我们在构造函数中传入的参数，自动推断出模板参数 T 到底是什么类型，这就叫做类模板参数推导（Class T ...
1. 非类型模板参数简单来说，非类型模板参数就是模板中可以传入的不是类型的参数。可以用生活中的例子来解释，想象一下现在有一个饼干模具：
类型模板参数：决定了模具的形状（圆形、方形、星形）
非类型模板参数：决定了模具的大小（直径5cm、直径10cm）
在代码中，非类型模板参数允许我们在编译时传入具体的值，而不是类型。
12345678910111213141516template<typename T, int Size> // T是类型参数，Size是非类型参数class FixedArray {private: T data[Size]; // 使用Size来指定数组大小 public: int getSize() const { return Size; }};// 使用示例FixedArray<int, 10> arr10; // 创建一个包含10个int的数组FixedArray<double, 100> arr100; // 创建一 ...
1. 枚举初始化在 C++17 之前，给作用域枚举（强类型枚举）变量赋值有时会很麻烦，甚至不得不写强转。C++17 修复了这个痛点，让枚举的使用变得更像普通的整数变量一样自然。
如果我们定义了一个作用域枚举（C++11），想要给它初始化一个值，必须小心翼翼。假设我们有一个代表颜色的枚举：
123456enum class Color : unsigned int { Red = 1, Green = 2, Blue = 3};
如果我们想在代码中临时定义一个灰度值（比如 0），这样做是不行的：
12// 错误！C++17 之前不允许用整数直接初始化 enum classColor c = 0; // 编译报错！类型不匹配
以前必须显式地告诉编译器：“我知道我在干什么，请把这个整数强转成 Color。”
12// 麻烦的旧做法：必须写 static_castColor c = static_cast<Color>(0); // 即使是0，也得写这么长一串
这种写法非常繁琐，尤其是在处理底层硬件寄存器、网络协议或者位掩码时，枚举可能代 ...
1. C++17 中的聚合类聚合类就是一种可以直接用初始化列表 {} 进行初始化的类（像 struct 或数组一样）。它通常用来表现“数据集合”，没有太复杂的封装逻辑。
在 C++17 之前，一个类要成为聚合类，必须满足以下严苛条件：
没有用户声明的构造函数。
没有私有或保护的非静态数据成员（必须是 public 的）。
没有虚函数。
没有虚基类。
在 C++17 之前，如果想让一个类继承自另一个类，同时又想保持聚合初始化的特性（即直接用 {} 赋值），是做不到的。一旦继承了基类，这个类就不再是聚合类了，必须写构造函数来转发参数给基类。
C++17 放宽了限制，允许聚合类拥有基类（前提是基类本身也是非虚的聚合类）。这意味着我们可以更方便地扩展数据结构。现在的规则是：
只要基类也是非虚的、没有私有/保护成员的，就可以继承它。
派生类依然可以不写构造函数，直接使用 {} 初始化。
初始化顺序： 先初始化基类部分，再初始化派生类成员。
综上所述，在C++17中对聚合类的要求如下：
必须是公有继承（private ...
