c++ - 在编译时将类隐式转换为整数类型（最好是 bool）

Question

假设我们有一个整数值包装器。例如，像std::true_typeand的布尔包装器std::false_type：

template<typename T , T VALUE>
struct integral_value_wrapper
{
    static const T value = VALUE;
};

template<bool VALUE>
using boolean_wrapper = integral_value_wrapper<bool,VALUE>;

using true_wrapper  = boolean_wrapper<true>;
using false_wrapper = boolean_wrapper<false>;

我们为自己的类使用该布尔包装器。例如，一个 int 检查器：

template<typename T>
struct is_int : public false_wrapper {};

template<>
struct is_int<int> : public true_wrapper {};


using type = int;

int main()
{
    if( is_int<type>::value ) cout << "type is int" << endl;
}

我的问题是：有没有办法使类型（在这种情况下继承自 bool 包装器的类）隐式转换为整数值？

这使我可以避免::value在布尔表达式中使用该成员，如下例所示：

using type = int;

int main()
{
    if( is_int<type> ) cout << "type is int" << endl;  //How I can do that?
}

Answer 1

您不能提供需要表达式的类型。但是，如果您将转换运算符添加到包装器中，如下所示：

template<typename T , T VALUE>
struct integral_value_wrapper
{
    static constexpr T value = VALUE;
    constexpr operator T () const { return value; }
};

然后你可以写：

if ( is_int<type>() )
//               ^^

这就是标准类型特征的作用。