无论是否为枚举，如何获取模板参数的整数类型

Question

我收到了错误：

Error   C2154   '_Ty': only enumeration type is allowed as an argument to compiler intrinsic type trait '__underlying_type' 

我认为它不应该将底层类型解析为底层类型，因为我首先检查 T 是否为枚举。代码如下：

template <typename T>
struct Foo
{
    static inline constexpr bool isArgIntegral = std::is_integral<T>::value;
    static inline constexpr bool isArgEnum = std::is_enum_v<T>;

    using integral_underlying_type = std::conditional<isArgEnum, std::underlying_type_t<T>, T>;



};



int main()

    Foo<int> g; // only enumeration type is allowed as an argument to compiler intrinsic type trait '__underlying_type' 
}

在调用 std::conditional 时，它不是首先检查条件（第一个参数），而是创建第二个和第三个参数的类，而不考虑条件，因此我为什么得到我不能用'int'调用underlying_type的错误？

如何获取 T 模板参数的整数类型，无论是整数还是枚举？

编辑：我的下一个尝试是将 typedef 放在 if constexpr 中：

if constexpr (std::is_enum_v<T>)
{
    using integral_underlying_type = std::underlying_type_t<T>;
// Now std::underlying_type_t won't be called at all unless T is enum, right?
}

Answer 1

不幸的是，std::integral_underlying_type 在 C++20 之前对 SFINAE 不友好。

然后您可以延迟 std::underlying_type<T>::type 的实例化：

template <typename T>
struct Foo
{
    using integral_underlying_type =
        typename std::conditional_t<std::is_enum_v<T>,
                                    std::underlying_type<T>,
                                    type_identity<T>>::type;
};

注意std::conditional<cond, T1, T2>::type::type 中的双重::type（隐藏在_t 中）。额外的::type 在条件之外而不是在内部完成（因此需要type_identity）。

Answer 2

是的。问题是条件isArgEnum是true还是false（即T是否为枚举），std::underlying_type_t<T>必须指定为std::conditional的模板参数。

您可以应用部分专业化，例如

template <typename T, typename = void>
struct Foo
{};
template <typename T>
struct Foo<T, std::enable_if_t<std::is_enum_v<T>>>
{
    using integral_underlying_type = std::underlying_type_t<T>;
};
template <typename T>
struct Foo<T, std::enable_if_t<std::is_integral_v<T>>>
{
    using integral_underlying_type = T;
};