Question

是否有类型特性, 或者可以写入类型特性 is_scoped_enum<T> , 以便:

if T is a scoped enumeration, is_scoped_enum<T>::value is true and
if T is any other type, is_scoped_enum<T>::value is false

Answer 1

我认为测试如果它是一个 enum 和不隐含的可转换到基本类型, 应该可以做这个把戏。

template <typename T, bool B = std::is_enum<T>::value>
struct is_scoped_enum : std::false_type {};

template <typename T>
struct is_scoped_enum<T, true>
: std::integral_constant<bool,
    !std::is_convertible<T, typename std::underlying_type<T>::type>::value> {};

Answer 2

C++23 将提供 is_scoped_enum , 一旦实施后可以使用。请参见此文档链接 : < a href="https://en.cppreference.com/w/cpp/types/is_scorped_enum" rel= "nofollow norefererr" > is_coscosd_enum 。我不认为 cingg 支持此功能( 见 < a href=" https://clang.llvm.org/cxx_statical.html" rel=" nofollown noreferr" > clang status 。

我现在使用略微简化的上述答案(使用 _v和_t)以及执行 is_understant :

// C++ 23 should include  is_scoped_enum  and  to_underlying  so the following
// code can be removed:

template<typename T, bool B = std::is_enum_v<T>>
struct is_scoped_enum : std::false_type {};

template<typename T>
struct is_scoped_enum<T, true>
  : std::integral_constant<
      bool, !std::is_convertible_v<T, std::underlying_type_t<T>>> {};

template<typename T>
inline constexpr bool is_scoped_enum_v = is_scoped_enum<T>::value;

template<typename T, std::enable_if_t<is_scoped_enum_v<T>, int> = 0>
[[nodiscard]] constexpr auto to_underlying(T x) noexcept {
  return static_cast<std::underlying_type_t<T>>(x);
}

友情链接