Will std：：如果包含的类型是微不足道的可复制类型，则为可选的可复制类型。

Question

如果std：：可选类型中的T类型是一个琐碎的可复制类型，那么std：：可选的类型将是微不足道的可复制类型。当我想在原子中使用它时，我会问，所以下面这个问题对于一些微不足道的可复制类型T是有效的

std::atomic<std::optional<T>>

Answer 1

副本构造函数指定为：

optional(const optional<T>& rhs); 3要求：is_copy_constructible_v<T>是true。 4效果:如果rhs包含一个值，那么将包含的值初始化为直接-非列表-用表达式*rhs初始化T类型的对象。 5后条件：bool(rhs) == bool(*this)。 6抛出：T的选定构造函数引发的任何异常。

这里没有任何东西要求optional在小范围内是可复制的，但是按照as-if规则，这里没有任何东西可以阻止实现选择这样做。例如，在libstdc++实现中，optional<T>对于任何T来说都是不可复制的。

关于琐事的唯一明确的讨论是，如果T是小可毁的，那么optional<T>也应该是小可毁的。