std::is_union 是 C++11 引入的类型特征，用于编译期判断类型是否为 union，需包含 <type_traits> 并启用 C++11 或更高标准，返回 std::is_union_v<T> 或 std::is_union<T>::value 布尔常量。
std::is_union 在 C++11 之后才可用
这个类型特性在 type_traits 头文件里，C++11 起支持，但早期 GCC 4.7/Clang 3.0 前版本可能有 bug 或未完全实现。如果你用的是 VS2013、GCC 4.8+ 或 Clang 3.2+，基本没问题；否则先检查编译器标准模式：-std=c++11 或更高。
常见错误现象是编译报错 ‘is_union’ is not a member of ‘std’，本质不是写法错，而是头文件没包含或标准没开对。
- 必须
#include <type_traits>，漏掉就直接找不到符号 - 不能只靠
#include <iostream>或其他头文件“顺带”拉进来 - 模板参数必须是类型名（比如
MyUnion），不能是变量（x）或表达式（decltype(x)除外）
std::is_union<T>::value 返回 bool，不是函数调用
它是个编译期常量表达式，不是运行时函数——所以你不能写 std::is_union<t>()</t>，也不能传实参进去。它的值在编译时就确定了，用于 static_assert、SFINAE 或 if constexpr（C++17）中。
典型误用是把它当函数用，比如：if (std::is_union<t>)</t> 缺少 ::value，会触发类型到 bool 的隐式转换失败（尤其在严格上下文中）。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 正确写法只有两种：
std::is_union_v<t></t>（C++17 起推荐）或std::is_union<t>::value</t> -
std::is_union<int>::value</int>是false，std::is_union<union int a float b>::value</union>是true - 注意：空 union（如
union {}）在 C++ 中非法，所以不会遇到这种边界 case
union 和 class/struct 的区别影响判断结果
std::is_union 只认标准定义的 union，不看有没有 union 关键字的“形似”结构。比如用 struct 模拟 union 布局（通过 reinterpret_cast 或 std::memcpy 手动重叠字段），std::is_union 仍返回 false。
另一个易混淆点是匿名 union：嵌套在 struct 里的匿名 union（如 struct S { union { int x; char y[4]; }; };）本身不是 union 类型，std::is_union<s>::value</s> 是 false，只有那个匿名 union 的类型才是 true —— 但它没有名字，得靠 decltype 抽出来：
struct S { union { int x; char y[4]; }; };
static_assert(std::is_union_v<decltype(S{}.x)>); // OK，但注意：S{}.x 是 int，不是 union 类型
// 正确抽法：用成员指针或模板推导，实际中更常用 std::variant 替代
- 只有显式用
union关键字定义的命名类型才被识别 - 继承自 union 的类（C++ 不允许 union 继承，所以这条不成立）—— union 不能作为基类
- 模板参数推导时，别指望它自动“穿透”到内部字段类型
替代方案：std::variant 更实用，但语义不同
如果你真正想解决的是“这个类型是否支持多态存储”，大概率该用 std::variant 而不是 std::is_union。前者是类型安全的联合体，后者只是编译期类型分类工具。
容易踩的坑是把 std::is_union 当成“能否安全 reinterpret”的判断依据——它不保证内存布局、不检查对齐、也不管是否有非 trivial 构造函数。C++ 中 union 成员若含构造函数，需手动管理生命周期，std::is_union 完全不管这些。
-
std::is_union的唯一作用：回答“这个类型是不是语言定义的 union” - 它不反映可复制性、可比较性、是否 POD，也不参与 ABI 兼容性判断
- 真实项目中，90% 的“联合类型需求”其实该用
std::variant+std::visit，而不是手写 union
