qq_40788199的博客

确定 mp 与 mq 是否指代 S1 与 S2 的公共起始序列中的对应成员。若 S1 或 S2 为不完整类型则程序非良构。

若 T 为 final 类（即以 final 指定符声明的类），则提供等于 true 的成员常量 value 。对于任何其他类型， value 为 false 。若 T 为类类型，则 T 应为完整类型；否则行为未定义。

若 T 拥有强结构相等性，则提供等于 true 的成员常量 value 。对于任何其他类型 value 为 false 。

若 T 为可平凡复制 (TriviallyCopyable) ，且若任意二个拥有相同值的 T 类型对象拥有相同的对象表示，则提供等于 true 的成员常量 value 。对于任何其他类型， value 为 false 。

检查 T 是否为聚合类型。若 T 为聚合类型，则成员常量 value 等于 true ，否则为 false 。若 std::remove_all_extents_t 是异于（可以有 cv 限定的） void 的不完整类型，则行为未定义。

检查 T 是否为拥有已知边界的数组类型。若 T 是有已知边界的数组则提供等于 true 的成员常量 value 。否则 value 等于 false 。检查 T 是否为未知边界数组类型。若 T 是有未知边界的数组类型则提供等于 true, 的成员常量 value 。否则 value 等于 false 。

若 T 为抽象类（即声明或继承至少一个纯虚函数的非联合类类型），则提供等于 true 的成员常量 value 。对于其他类型， value 为 false 。若 T 是算术类型且 T(-1) < T(0) ，则提供等于 true 的成员常量 value ：这对于浮点类型和有符号整数类型产生 true ，并对无符号整数类型和 bool 类型产生 false 。若 T 是算术类型且 T(0) < T(-1) ，则提供等于 true 的成员常量 value ：这对无符号整数类型和 bool 类型产生 true

若 T 为可平凡复制 (TriviallyCopyable) 类型，则提供等于 true 的成员常量 value 。对于任何其他类型， value 是 false 。若 T 为标准布局类型（即标量类型、标准布局类、或这种类型/类的数组，可以有 cv 限定），则提供等于 true 的成员常量 value 。对任何其他类型， value 为 false 。若 T 是 简旧数据类型 (PODType) （“简旧数据类型”），即既是平凡又是标准布局，则提供等于 true 的成员常量 value 。