C++ std::conditional_t 不会用 std::is_enum_v 和 std::underlying_type_t 编译

Question

我正在尝试为可以索引的类型使用类型特征，例如std::vector，它应该包括枚举类型，因为我可以将它们转换为它们的底层类型。

到目前为止，我已经写了以下特征。

#include <iostream>
#include <type_traits>
#include <cinttypes>
#include <vector>
#include <utility>

template<typename T>
struct is_unsigned_integral :
    std::integral_constant<
        bool,
        std::is_integral<T>::value &&
        std::is_unsigned<T>::value
    > {};

template<typename T>
inline constexpr auto is_unsigned_integral_v = 
    is_unsigned_integral<T>::value;

template<typename, typename = void>
struct is_index : std::false_type {};

template<typename T>
struct is_index<
    T, 
    std::enable_if_t<
        is_unsigned_integral_v<
            std::conditional_t<
                std::is_enum_v<T>,
                std::underlying_type_t<T>,
                T
            >
        >
    >
> : std::true_type {};

template<typename T>
inline constexpr auto is_index_v = is_index<T>::value;

enum class idx : unsigned int {};

int main() {
    static_assert(is_index_v<unsigned int>, "");
    static_assert(is_index_v<idx>, "");
    
    return 0;
}

但我收到以下错误消息

type_traits:2009:15: error: 
      only enumeration types have underlying types
      typedef __underlying_type(_Tp) type;

我会期待以下

std::conditional_t<
    std::is_enum_v<T>,
    std::underlying_type_t<T>,
    T
>

将八位计算为T 或基础类型为T 是enum。

我将如何进行这项工作？

Answer 1

替换失败，因为没有std::underlying_type_t<unsigned int>。

你可以单独专攻：

#include <iostream>
#include <type_traits>
#include <cinttypes>
#include <vector>
#include <utility>

template<typename T>
struct is_unsigned_integral :
    std::integral_constant<
        bool,
        std::is_integral<T>::value &&
        std::is_unsigned<T>::value
    > {};

template<typename T>
inline constexpr auto is_unsigned_integral_v = 
    is_unsigned_integral<T>::value;

template<typename, typename = void>
struct is_index : std::false_type {};

template<typename T>
struct is_index<
    T, 
    std::enable_if_t< is_unsigned_integral_v<T> >    
> : std::true_type {};

template <typename T>
struct is_index<T,std::enable_if_t<std::is_enum_v<T> >> : is_index<std::underlying_type_t<T> > {};


template<typename T>
inline constexpr auto is_index_v = is_index<T>::value;

enum class idx : unsigned int {};

int main() {
    static_assert(is_index_v<unsigned int>, "");
    static_assert(is_index_v<idx>, "");
    
    return 0;
}

---

PS：来自cppreference/std::underlying_type

如果 T 是一个完整的枚举（enum）类型，则提供一个成员 typedef type 来命名 T 的底层类型。

否则，行为未定义。 （直到 C++20）

否则，如果 T 不是枚举类型，则没有成员类型。否则（T 是不完整的枚举类型），程序是非良构的。 (C++20 起)

我不得不承认，我不确定在您的示例中，未定义的行为（在 C++20 之前）如何与 SFINAE 一起使用。不过，请注意，上面不是问题，因为它仅在T 实际上是枚举类型时才使用std::underlying_type_t<T>。