qq_40788199的博客

确定类型 T... 的共用引用类型，即 T... 中所有类型能转换或绑定到的类型。若这种类型存在（如按照后述规则所确定），则成员 type 指名该类型。否则，无成员 type 。若 T... 中的任何类型为（可有 cv 限定的） void 以外的不完整类型，则行为未定义。

提供指名 T 的成员 typedef type （即恒等变换）。

将任意类型的序列映射到类型 void 的工具元函数。

在编译时推导 INVOKE 表达式的返回类型。F 必须是可调用类型、到函数引用或到可调用类型的引用。以 ArgTypes... 调用 F 必须是良式表达式。 (C++11 起) F 和 ArgTypes 中的所有类型可以是任何完整类型、未知边界数组或（可有 cv 限定的） void (C++14 起 ）

若 T 是完整枚举类型，则提供指名 T 底层类型的成员 typedef type 。

提供嵌套类型 type ，其为平凡的标准布局类型，适于作为任何大小至多为 Len 且对齐要求为 Align 的因数的对象的未初始化存储。

确定所有类型 T... 的共用类型，即所有 T... 都能隐式转换到的类型。若这种类型（根据后述规则确定）存在，则成员 type 指名该类型。否则，无成员 type 。

若 B 为 true ，则 std::enable_if 拥有等同于 T 的公开成员 typedef type ；否则，无该成员 typedef 。

对类型 T 应用左值到右值、数组到指针及函数到指针隐式转换，移除 cv 限定符，并定义结果类型为成员 typedef type 。正式而言：若T 指名“ U 的数组”或“到 U 的数组的引用”类型，则成员 typedef type 为 U* 。否则，若 T 为函数类型 F 或到它的引用，则成员 typedef type 为std::add_pointer::type 。否则，成员 typedef type 为 std::remove_cv

提供嵌套类型 type ，它是平凡的标准布局类型，且其大小和对齐适合用作任何列于 Types 的类型的一个对象的未初始化存储。存储的大小至少为 Len 。 std::aligned_union 亦确定所有 Types 中最严格（最大）的对齐要求，使之可用作常量 alignment_value 。

若类型 T 为引用类型，则提供成员 type ，它是移除了其最顶层 cv 限定符的 T 所引用的类型。否则 type 为移除最顶层 cv 限定符的 T 。

提供成员 typedef type ，若 B 在编译时为 true 则定义为 T ，或若 B 为 false 则定义为 F 。