Namespaces
Variants

std:: is_scoped_enum

From cppreference.net
C++
Metaprogramming library
Type traits
Type categories
(C++11)
(C++11) ( DR* )
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Type properties
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11) (deprecated in C++26)
(C++11)
(C++11)
(C++11) ( until C++20* )
(C++11) (deprecated in C++20)
(C++11)
(C++11)
(C++20)
(C++20)
is_scoped_enum
(C++23)
(C++17)
Type trait constants
(C++11) (C++17) (C++11) (C++11)
Metafunctions
(C++17)
(C++17)
(C++17)
Supported operations
Relationships and property queries
Type modifications
Type transformations
(C++11) (deprecated in C++23)
(C++11) (deprecated in C++23)
(C++11)
(C++20)
(C++11) ( until C++20* ) (C++17)

Compile-time rational arithmetic
Compile-time integer sequences
(C++14)
Definiert im Header <type_traits>
template < class T >
struct is_scoped_enum ;
(seit C++23)

std::is_scoped_enum ist ein UnaryTypeTrait .

Prüft, ob T ein scoped enumeration type ist. Stellt die Memberkonstante value bereit, die gleich true ist, falls T ein scoped enumeration type ist. Andernfalls ist value gleich false .

Wenn das Programm Spezialisierungen für std::is_scoped_enum oder std::is_scoped_enum_v hinzufügt, ist das Verhalten undefiniert.

Inhaltsverzeichnis

Template-Parameter

T - ein zu prüfender Typ

Hilfsvariablen-Template

template < class T >
constexpr bool is_scoped_enum_v = is_scoped_enum < T > :: value ;
(seit C++23)

Geerbt von std:: integral_constant

Member-Konstanten

value
[static]
true wenn T ein scoped enumeration type ist, false andernfalls
(öffentliche statische Member-Konstante)

Member-Funktionen

operator bool
konvertiert das Objekt zu bool , gibt value zurück
(öffentliche Member-Funktion)
operator()
(C++14)
gibt value zurück
(öffentliche Member-Funktion)

Member-Typen

Typ Definition
value_type bool
type std:: integral_constant < bool , value >

Hinweise

Feature-Test Makro Wert Standard Funktion
__cpp_lib_is_scoped_enum 202011L (C++23) std::is_scoped_enum

Mögliche Implementierung 

namespace detail
{
void test_conversion(...);          // ausgewählt wenn E vollständig und scoped ist
void test_conversion(int) = delete; // ausgewählt wenn E vollständig und unscoped ist
template<class E>
concept is_scoped_enum_impl =
    std::is_enum_v<E> &&                        // zuerst geprüft
    requires { detail::test_conversion(E{}); }; // vor Overload-Resolution ungültig
                                                // wenn E unvollständig ist
} // namespace detail
template<class T>
struct is_scoped_enum : std::bool_constant<detail::is_scoped_enum_impl<T>> {};

Beispiel

Diesen Code ausführen 
#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() {}

Siehe auch

(C++11)
prüft, ob ein Typ ein integraler Typ ist
(Klassen-Template)
(C++11)
prüft, ob ein Typ ein arithmetischer Typ ist
(Klassen-Template)
(C++11)
prüft, ob ein Typ ein Skalartyp ist
(Klassen-Template)
(C++11)
prüft, ob ein Typ ein Aufzählungstyp ist
(Klassen-Template)