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>(var2);       // 像访问 tuple 一样访问 variant
auto x3 = std::any_cast<int>(var3);  // 转换 any

三个库具体接口可以查阅cppreference。

std::variant

动机和设计

一个安全类型的union：在union之上加了静态类型检查，有效阻止未定义行为。此外它还允许有默认的空状态。

内部实现

boost

采用TR1标准，即没有不定模板参数的variant签名。