ein*_*ica 3 c++ boost boost-variant boost-variant2
Boost 似乎有两种变体类模板的实现:
Boost 两个包含同一概念的两个版本的情况很少见(尽管并非闻所未闻)。为什么变体会发生这种情况?这些变体有何不同?
第一种变体类模板 ,boost::variant早于 C++17 的std::variant。请参阅此问题以了解其与 的比较std::variant。主要的区别在于,当在变体中构造值时抛出异常时该怎么做。
选择std::variant是允许无价值的状态;选择boost::variant是在堆上而不是就地构造新对象,并存储指向该位置的指针。
boost::variant2是后来添加的,一方面是希望遵守C++17 API,另一方面也是表达了对其在此事上的选择的不满。
boost::variant2选择第三个选项,与之前的两个实现不同:双缓冲。它占用的大小是有问题的类型的两倍;在未使用的一半中构造一个新值,一旦构造成功 - 销毁另一半中的旧值。如果所有类型都是不可抛出构造的,则这是没有必要的,并且boost::variant2实际上不会有双缓冲区。
这个选择就意味着永远boost::variant2不可能毫无价值;事实上,它的文档标题强调了这一事实。