如何实现is_enum_class类型特征

How to implement is_enum_class type trait?

本文关键字：enum class 类型 特征 is 何实现 实现      更新时间：2023-10-16
当

且仅当传入的类型 T 是类枚举时，如何实现其值成员为真的类型特征？虽然我知道例如

+T{};

如果 T 是枚举，则工作，如果它是枚举类，则失败，到目前为止，我找不到将其用于 SFINAE 的方法。

根据你的+T{}测试：

选项#1：

尾随返回类型中的表达式 SFINAE：

#include <type_traits>
template <typename T>
auto test(int) -> decltype((void)+T{}, std::false_type{});
template <typename T>
auto test(...) -> std::true_type;
template <typename T>
using is_enum_class = std::integral_constant<bool, decltype(test<T>(0))::value && std::is_enum<T>::value>;

演示

选项#2：

void_t时尚：

template <typename T, typename V = void>
struct test : std::false_type {};
template <typename T>
struct test<T, decltype((void)+T{})> : std::true_type {};
template <typename T>
using is_enum_class = std::integral_constant<bool, !test<T>::value && std::is_enum<T>::value>;

演示 2

测试：

enum class EC { a, b };
enum E { c, d };
int main()
{
    static_assert(is_enum_class<EC>::value, "!");
    static_assert(!is_enum_class<E>::value, "!");
    static_assert(!is_enum_class<int>::value, "!");
}

检查枚举是否可以转换为int 。

template <class T>
using is_scoped_enum = std::integral_constant<bool, !std::is_convertible<T,int>{}
                                                  && std::is_enum<T>{}>;

这些静态断言将成功：

enum e {};
enum class e2 {};
static_assert( is_scoped_enum<e2>::value, "" );
static_assert( !is_scoped_enum<e>::value, "" );
static_assert( !is_scoped_enum<char>::value, "" );

演示。

相关文章：