C++17:std::variant/std::optional/std::any设计

前言

2021年了。现在回顾一下c++17标准中的std::variant/std::optional/std::any三个库是怎么实现的。

稍微总结

这三个库基本都是实现可选语义：

• std::optional:存有T或者不存有值
• std::any:存有任意类型值（可以看作带类型信息的void*）
• std::variant<T,U>:存有T或U值（可以看作带类型信息的union）

以上三种都可以看作是对union一种安全性改进。C/C++的union用法没有给程序员任何检查的手段，使得程序员心智负担加重。
另外这三个库的语义都很类似，但却分成了三个独立的库，且各自对同一种操作的写法也各不相同（丝毫没有减少心智负担）：

std::optional<int> var1 = 7;
std::variant<int,string> var2 = 7;
std::any var3 = 7;

auto x1 = *var1 ;					 // 对 optional 解引用
auto x2 = std::get<int>