boost::variant 单一存储保证

Question

我的目标是保证所有变体类型的单一存储：根据 来自 Boost::variant 的“永不为空”保证，我们需要重写 对于每个有界类型，boost::has_nothro_copy。但过了一会儿 该文档提到了一些关于 'boost::blank' 的内容，如果是的话 类型已绑定，变体将设置该值而不是尝试不抛出 默认复制构造函数。

不清楚的是是否在有界类型列表中添加 boost::blank 将避免覆盖/专门化 has_nothro_copy 的要求 与其他类型？

Answer 1

我相信这一点已经说得很清楚了。以下是 boost 文档中的相关部分：

因此，变体旨在实现以下优化
一旦满足其有界类型的以下条件：

对于每个不可抛出复制构造的有界类型 T（如
由 boost::has_nothro_copy 指示），库保证变体
T 将仅使用单一存储和就地构建。

如果有的话
有界类型不可抛出默认构造（如
boost::has_nothro_constructor)，该库保证变体将
对每个有界的仅使用单一存储和就地构造
输入变体。但请注意，如果发生分配
失败，未指定的无抛出默认可构造有界类型
将在左侧操作数中默认构造，以便
保留永不为空的保证。

由于 boost::blank 不可构造默认抛出异常，因此适用第二个子句。听起来 Boost 已经对这个特定类型进行了特殊处理，以有利于所有其他类型，这样就可以保证类型为 boost::blank 如果这是一个选项。