std:: is_scoped_enum

std::is_scoped_enum は UnaryTypeTrait です。

T が スコープ付き列挙型 かどうかをチェックします。メンバー定数 value を提供し、 T がスコープ付き列挙型の場合 true に等しくなります。それ以外の場合、 value は false に等しくなります。

プログラムが std::is_scoped_enum または std::is_scoped_enum_v に対する特殊化を追加する場合、動作は未定義です。

テンプレートパラメータ

ヘルパー変数テンプレート

注記

実装例

namespace detail
{
void test_conversion(...);          // Eが完全かつスコープ付きの場合に選択される
void test_conversion(int) = delete; // Eが完全かつスコープなしの場合に選択される
template<class E>
concept is_scoped_enum_impl =
    std::is_enum_v<E> &&                        // 最初にチェックされる
    requires { detail::test_conversion(E{}); }; // Eが不完全な場合、オーバーロード解決前に不適格
                                                // となる
} // namespace detail
template<class T>
struct is_scoped_enum : std::bool_constant<detail::is_scoped_enum_impl<T>> {};

例

#include <type_traits>
static_assert(std::<is_scoped_enum_v<int> == false);
class A {};
static_assert(std::<is_scoped_enum_v<A> == false);
enum B { self_test = std::<is_scoped_enum_v<B> };
static_assert(std::<is_scoped_enum_v<B> == false);
static_assert(!self_test);
enum struct C { final, import, module };
static_assert(std::<is_scoped_enum_v<C> == true);
enum class D : int { pre, post, override };
static_assert(std::<is_scoped_enum_v<D> == true);
enum class E;
static_assert(std::<is_scoped_enum_v<E> == true);
int main() {}

関連項目