c++ - std::integral_constant 的否定

Question

很抱歉问了这么简单的问题，但我无法轻易找到答案。 Google 对“C++ 否定 integral_constant”和类似查询没有任何有趣的说法。

在 C++11 中是否有任何特征使 std::true_type 变为 std::false_type，反之亦然？换句话说，我想要一些更具可读性的版本

std::is_same<my_static_bool, std::false_type>

我当然知道我可以自己写，但如果有的话，我想使用现有的。

Answer 1

没有，因为它本质上是单行的，而 <type_traits>应该尽可能小。

template <typename T> using static_not = std::integral_constant<bool, !T::value>;

用法:

static_not<my_static_bool>

这是正确的方法，因为标准总是说“false_type 或从此类派生”，所以您不能依赖于等于 std::false_type .我通常将其放松为“具有 constexpr bool 值 ::value 属性”，因为我不使用标签调度。