qq_40788199的博客

若表达式 swap(std::declval(), std::declval()) 及 swap(std::declval(), std::declval()) 在使用 using std::swap; （见 可交换 (Swappable) ）后的不求值语境中均为良式，则提供等于 true 的成员常量 value 。否则 value 为 false 。

若 T 是拥有虚析构函数的类型，则提供等于 true 的成员常量 value 。对于任何其他类型， value 为 false 。若 T 是非联合类类型，则 T 应为完整类型；否则行为未定义。

1) 若含有 T 类型成员对象的虚构结构体拥有非删除的析构函数，则提供等于 true 的成员常量 value 。对于任何其他类型， value 为 false 。2) 同 1) ，并且 std::remove_all_extents::type 要么是非类类型，要么是拥有平凡析构函数的类类型。3) 同 1) ，但析构函数为 noexcept 。

1) 若 T 不是可引用类型（即可为 cv 限定的 void 或带 cv-qualifier-seq 或 ref-qualifier 的函数类型），则提供等于 false 的成员常量 value 。2) 同 1) ，但使用 std::is_trivially_assignable3) 同 1) ，但使用 std::is_nothrow_assignableT 应为完整类型、（可为 cv 限定的） void ，或未知边界数组。否则行为未定义。

1) 若 T 不是可引用类型（即可为 cv 限定的 void 或带 cv-qualifier-seq 或 ref-qualifier 的函数类型），则提供等于 false 的成员常量 value 。2) 同 1) ，但使用 std::is_trivially_assignable3) 同 1) ，但使用 std::is_nothrow_assignable

1) 若表达式 std::declval() = std::declval() 在不求值语境为良态，则提供等于 true 的成员常量 value 。否则， value 为 false 。2) 同 (1) ，但赋值表达式的求值将不调用任何非平凡的操作。3) 同 (1) ，但复制表达式的求值将不调用任何不是 noexcept 的操作。

1) 若 T 不是可引用类型（即可为 cv 限定的 void 或带 cv-qualifier-seq 或 ref-qualifier 的函数类型），则提供等于 false 的成员常量 value 。2) 同 (1) ，但使用 std::is_trivially_constructible 。3) 同 (1) ，但使用 std::is_nothrow_constructible 。

1) 若 std::is_constructible::value 为 true ，则提供等于 true 的成员常量 value ，否则 value 为 false 。2) 若 std::is_trivially_constructible::value 为 true ，则提供等于 true 的成员常量 value ，否则 value 为 false 。3) 若 std::is_nothrow_constructible::value 为 true ，则提供等于 true 的成员常

若 T 是对象或引用类型，且变量定义 T obj(std::declval()...); 为良态，则提供等于 true 的成员常量 value 。2) 同 1) ，但变量定义不调用任何非平凡操作。3) 同 1) ，但变量定义为 noexcept 。