c++ - 为什么Boost中有两个变体类实现？

Question

Boost 似乎有两个变体类模板的实现：

• boost::variant
• boost::variant2

Boost 两个包含两个采用相同概念的情况很少见（尽管并非闻所未闻）。为什么变体会发生这种情况？这些变体有何不同？

标签： c++boostboost-variantboost-variant2

Answer 1

第一种变体类模板boost::variant，早于 C++17 的std::variant. 请参阅此问题以获取与 的比较std::variant。主要区别在于当在变体中构造值时引发异常时该怎么做。

std::variant选择是允许无价值的状态；选择是在boost::variant堆上而不是就地构造新对象，并存储指向该位置的指针。

boost::variant2是后来的补充，一方面希望坚持C++17 API，另一方面则是表达了对其在这件事上的选择的不满。

boost::variant2选择第三个选项，与之前的两个实现不同：双缓冲。它占用了问题类型的两倍；在未使用的一半中构造一个新值，一旦构造成功 - 销毁另一半中的旧值。如果所有类型都不是throw-constructible，那么这不是必需的，并且boost::variant2实际上不会有双缓冲区。

这种选择意味着boost::variant2永远不会一文不值；事实上，它的文档标题强调了这一事实。