整数类型T中，T(2)≠T(1)与!std::is_same_v<T,bool>的差异及选型

问题背景 #

我希望在static_assert中确保某个整数类型不是bool，却发现libstdc的源码里用_Mn(2) != _Mn(1)来实现校验，而非更直观的!std::is_same_v<_Mn, bool>。另外有人指出，libstdc曾采用!is_same_v<std::remove_cv_t<_Mn>, bool>的写法，想了解这几种写法的区别及选型建议。

两种写法的核心区别 #

1. 检查逻辑的维度不同 #

• !std::is_same_v<_Mn, bool>：仅做类型字面匹配。如果_Mn是const bool、volatile bool这类带cv限定的bool变种，这个判断会返回true（因为类型字面不同），但这些类型本质还是bool，依然不符合“非bool整数类型”的要求。
• _Mn(2) != _Mn(1)：从类型行为特性判断。bool类型的规则是任何非零值都会被转换为true（即值1），所以bool(2)和bool(1)的结果都是1，表达式为false；而其他所有整数类型（包括带cv限定的版本）中，2和1是不同的数值，表达式会返回true。这种写法自动覆盖了所有bool的cv变种，无需额外处理。

2. 兼容性与历史演进 #

libstdc早期用!is_same_v<std::remove_cv_t<_Mn>, bool>，需要显式移除cv限定符才能覆盖所有bool相关类型，但_Mn(2) != _Mn(1)的写法更简洁，而且在C11之前（标准库类型特性还不完善的时期），这种基于行为的判断是更通用的兼容方案，同时也能适配后续的C++标准。

选型建议 #

• 若要彻底排除所有bool相关类型（包括cv修饰的变种），优先选_Mn(2) != _Mn(1)，它无需额外处理cv限定，覆盖场景更全，写法也简洁。
• 若你明确只需要排除无cv修饰的原始bool类型，且追求代码直观易读，!std::is_same_v<_Mn, bool>可以用，但要注意它无法拦截带cv限定的bool。
• 如果你使用C++17及以上标准，也可以考虑!std::is_bool_v<std::remove_cv_t<_Mn>>——这是标准库提供的直观写法，和基于行为的判断效果一致，可读性更好。

内容的提问来源于stack exchange，提问作者wtz