c++ - is_nothrow_xxxable 与 is_nothrow_move/copy_xxxable

Question

我注意到标准库中有这样三种类型特征:

std::is_nothrow_constructible       // (1)
std::is_nothrow_copy_constructible  // (2)
std::is_nothrow_move_constructible  // (3)

(2)(3)的意思从名字就可以看出来，但是(1)到底是什么意思呢？它是 (2)(3) 的逻辑与、(2)(3) 的逻辑或，还是其他？

同样，我们可以将nothrow替换为trivially，将constructible替换为assignable。

Answer 1

is_constructible、is_nothrow_constructible 和 is_trivially_constructible 用于询问是否可以从一系列参数构造类型。显然，nothrow 和trivially 版本对选定的构造函数增加了额外的要求。它们是可变的； is_copy/move_constructible 不是。

所以这不是一回事。普通 constructible 版本或多或少是功能更集中的 copy/move 版本的超集。事实上，其他的(大部分)是根据可构造形式定义的。