Namensräume
Varianten
Aktionen

std::is_compound

Von cppreference.com
< cpp‎ | types
 
C++
 
Metaprogrammierungsbibliothek
Typmerkmale
Typkategorien
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
is_compound
(C++11)
(C++11)
(C++11)  
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Typeneigenschaften
(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)(bis C++20*)
(C++11)(veraltet in C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
Typmerkmalskonstanten
(C++11)(C++17)(C++11)(C++11)
Metafunktionen
(C++17)
(C++17)
(C++17)
Unterstützte Operationen
Beziehungen und Eigenschaftsabfragen
Typmodifikationen
(C++11)(C++11)(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
Typentransformationen
(C++11)(veraltet in C++23)
(C++11)(veraltet in C++23)
(C++11)
(C++20)
(C++11)(bis C++20*)(C++17)

(C++11)
(C++11)
(C++20)
(C++11)
(C++20)
(C++11)
(C++17)
Rationale Arithmetik zur Compilezeit
Ganzzahlsequenzen zur Compilezeit
(C++14)
 
Definiert in der Kopfdatei <type_traits>
template< class T >
struct is_compound;
 (seit C++11)

std::is_compound ist ein UnaryTypeTrait.

Wenn T ein zusammengesetzter Typ ist (d. h. Array, Funktion, Objektzeiger, Funktionszeiger, Zeiger auf Member-Objekt, Zeiger auf Member-Funktion, Referenz, Klasse, Union oder Aufzählung, einschließlich aller cv-qualifizierten Varianten), wird die Member-Konstante value gleich true gesetzt. Für jeden anderen Typ ist value false.

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

Inhalt

[bearbeiten] Template-Parameter

T - ein zu prüfender Typ

[bearbeiten] Hilfsvariablen-Template

template< class T >
constexpr bool is_compound_v = is_compound<T>::value;
 (seit C++17)
[Bearbeiten]

Abgeleitet von std::integral_constant

Member-Konstanten

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

Memberfunktionen

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

Membertypen

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

[bearbeiten] Hinweise

Zusammengesetzte Typen sind die Typen, die aus grundlegenden Typen aufgebaut sind. Jeder C++-Typ ist entweder grundlegend oder zusammengesetzt.

[bearbeiten] Mögliche Implementierung

template<class T>
struct is_compound : std::integral_constant<bool, !std::is_fundamental<T>::value> {};

[bearbeiten] Beispiel

Führen Sie diesen Code aus
#include <type_traits>
#include <iostream>
 
static_assert(not std::is_compound_v<int>);
static_assert(std::is_compound_v<int*>);
static_assert(std::is_compound_v<int&>);
 
void f();
static_assert(std::is_compound_v<decltype(f)>);
static_assert(std::is_compound_v<decltype(&f)>);
 
static_assert(std::is_compound_v<char[100]>);
 
class C {};
static_assert(std::is_compound_v<C>);
 
union U {};
static_assert(std::is_compound_v<U>);
 
enum struct E { e };
static_assert(std::is_compound_v<E>);
static_assert(std::is_compound_v<decltype(E::e)>);
 
struct S
{
    int i : 8;
    int j;
    void foo();
};
static_assert(not std::is_compound_v<decltype(S::i)>);
static_assert(not std::is_compound_v<decltype(S::j)>);
static_assert(std::is_compound_v<decltype(&S::j)>);
static_assert(std::is_compound_v<decltype(&S::foo)>);
 
int main()
{
    std::cout << "All checks have passed\n";
}

[bearbeiten] Siehe auch

(C++11)
 prüft, ob ein Typ ein fundamentaler Typ ist
(Klassenvorlage) [bearbeiten]
(C++11)
 prüft, ob ein Typ ein Skalartyp ist
(Klassenvorlage) [bearbeiten]
(C++11)
 prüft, ob ein Typ ein Objekttyp ist
(Klassenvorlage) [bearbeiten]
(C++11)
 prüft, ob ein Typ ein Arraytyp ist
(Klassenvorlage) [bearbeiten]
Abgerufen von "https://cppreference.de/mwiki/index.php?title=cpp/types/is_compound&oldid=169523"