c++ - 返回枚举的基础类型和整数的整数的元编程构造

Question

我需要编写一个元编程结构，当给定一个枚举类型时，它返回该枚举的基础类型，但当给定一个整数时，它返回该整数。

例如:

enum Enum : short { VALUE1, VALUE2 };

int_type<long>::type  // -> long
int_type<Enum>::type  // -> short

我试过了

template< typename Type >
struct int_type {
    using type = typename std::enable_if< std::is_enum<Type>::value, typename std::underlying_type<Type>::type >::type;
};
template< typename Type >
struct int_type {
    using type = typename std::enable_if< std::is_integral<Type>::value, Type >::type;
};

但它提示结构的重新定义。

我也试过了，但是

template< typename Type >
struct int_type {
    using type = typename std::enable_if< std::is_enum<Type>::value, typename std::underlying_type<Type>::type >::type;
    using type = typename std::enable_if< std::is_integral<Type>::value, Type >::type;
};

但随后它提示成员 type 的重新定义。

我的元编程技能到此为止，有人可以帮忙吗？

编辑:我还应该提到，我们的项目仅限于 C++11。

Answer 1

您尝试的问题是您将同一事物定义了两次，尽管它的部分使用了 enable_if，但当 enable_if 不正确时，它不会禁用整个封闭定义.即，您有两个 int_type::type 定义，即使这些定义中的一个(或两个)无效。

你要找的是 std::conditional :

template< typename Type >
struct int_type {
    using when_enum
      = std::underlying_type<Type>;
    using when_integral
      = std::enable_if<std::is_integral<Type>::value, Type>;
    using type
        = typename std::conditional< std::is_enum<Type>::value,
            when_enum, when_integral
            >::type::type;
};

或者在 C++14 及更高版本中:

template< typename Type >
struct int_type {
    using when_enum
      = std::underlying_type<Type>;
    using when_integral
      = std::enable_if<std::is_integral<Type>::value, Type>;
    using type
        = typename std::conditional_t< std::is_enum<Type>::value,
            when_enum, when_integral
            >::type;
};

但我想我可能会把它写成一个别名模板:

template< typename Type >
  using int_type = std::conditional_t<
    std::is_enum<Type>::value,
    std::underlying_type<Type>,
    std::enable_if<std::is_integral<Type>::value, Type>>;

也许可以进一步简化它，让 int_type<T> 成为实际类型的别名，这样你就不需要说 typename int_type<T>::type 了:

template< typename Type >
  using int_type = typename std::conditional_t<
    std::is_enum<Type>::value,
    std::underlying_type<Type>,
    std::enable_if<std::is_integral<Type>::value, Type>>::type;

(注意，在 C++17 中，您可以使用 std::is_enum_v<Type> 和 std::is_integral_v 而不是 is_xxx<Type>::value 。)