std::is_void仅编译期判断确切void类型，不适用void表达式、cv限定void或运行时场景；正确用法是模板参数为明确void时配合if constexpr或特化，需用std::remove_cvref_t预处理并静态断言验证。
std::is_void 用法和常见误判
它只能在编译期判断类型是否为 void，不能用于运行时变量、表达式或带 cv 限定的 void（比如 const void）。很多人一上来就写 std::is_void<decltype>::value</decltype>，结果 x 是函数调用或 void 表达式时直接编译失败——因为 decltype(void_expression) 不是 void 类型，而是未定义行为。
- 正确场景：只用于已知类型的模板参数推导，比如
template<typename t> struct handler { static constexpr bool is_void = std::is_void_v<t>; };</t></typename> - 错误写法：
std::is_void<decltype>::value</decltype>，当func()返回void时，decltype给出的是“无类型”，不是void，编译报错error: decltype cannot be applied to a function call returning void - 替代方案：对函数调用做类型探测，得先用
std::declval+ SFINAE 或 C++20requires，不能硬套std::is_void
模板特化中怎么安全触发 void 分支？
直接偏特化 template struct my_trait<void></void> 最稳妥；但若想用 std::is_void 做 if constexpr 分支，必须确保模板参数 T 是确切的 void，而非 void*、const void 或引用。
-
void和const void是不同类型，std::is_void<const void>::value</const>是false - 建议统一用
std::remove_cvref_t<t></t>预处理：if constexpr (std::is_void_v<:remove_cvref_t>>) { ... }</:remove_cvref_t> - 特化时别漏掉 cv 修饰版本：如果需要覆盖
const void，得额外写template struct my_trait<const void></const>或用主模板 +std::is_void_v<:remove_cv_t>></:remove_cv_t>判断
为什么 std::is_void_v 在 constexpr if 里有时不生效？
根本原因是模板参数没被真正“推导”出来，而是来自 auto、返回类型占位符或别名，导致类型信息丢失。典型如 auto f() { return nullptr; }，decltype(f()) 是 std::nullptr_t，不是 void；或者用 using T = void; 再传入，没问题，但若写成 using T = decltype(some_void_func()); 就崩了。
- 检查方式：加个静态断言
static_assert(std::is_same_v<t void>, "T must be exactly void");</t> - 调试技巧：用
std::cout 看实际类型（注意 demangle），比猜靠谱 - Clang/GCC 对
void类型的typeid处理一致，但decltype在 void 表达式上行为未定义，别依赖
和 std::is_same 比有什么区别？
没本质区别——std::is_void 就是 std::is_same<void t></void> 的别名特化。C++ 标准明确写了它的实现等价于后者，所以性能、编译速度、SFINAE 友好度完全一样。选哪个纯看语义：想强调“这是 void 类型”就用 std::is_void，想强调“和 void 完全相同”就用 std::is_same。
立即学习“C++免费学习笔记（深入）”；
- 二者都要求 T 是完整类型；
void是完整类型，所以安全 - 都不接受 void 数组（
void[]）或 void 引用（void&）——这些本身就不合法，编译不过，不是 trait 的锅 - 如果项目已有大量
std::is_same<void t></void>，没必要强行替换成std::is_void，维护成本大于收益
decltype 用在 void 表达式上还指望它吐出 void —— 它不会。 
