元编程构造，它返回枚举的基础类型和迭代器的整数

Metaprogramming construct that returns underlying type for an enum and integer for an iteger

本文关键字：类型 整数 迭代器 枚举 编程 返回      更新时间：2023-10-16

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

例如：

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。

你的尝试的问题在于你两次定义同一件事，尽管其中一部分使用了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 。

您可以通过部分专业化来做到这一点。

// primary template
template< typename Type, typename = void >
struct int_type {
};
// partial specialization for enum types
template< typename Type >
struct int_type <Type, typename std::enable_if< std::is_enum<Type>::value >::type > {
    using type = typename std::underlying_type<Type>::type;
};
// partial specialization for integral types
template< typename Type>
struct int_type <Type, typename std::enable_if< std::is_integral<Type>::value >::type > {
    using type = Type;
};

住

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

会做这个伎俩。可以链接 std：：条件以选择不同的类型/生成错误。

相关文章：