std::is_void
Von cppreference.com
| Definiert in der Kopfdatei <type_traits> |
||
| template< class T > struct is_void; |
(seit C++11) | |
std::is_void ist ein UnaryTypeTrait.
Prüft, ob T ein void-Typ ist. Stellt die Member-Konstante value bereit, die gleich true ist, wenn T der Typ void, const void, volatile void oder const volatile void ist. Andernfalls ist value gleich false.
Wenn das Programm Spezialisierungen für std::is_void oder std::is_void_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_void_v = is_void<T>::value; |
(seit C++17) | |
Abgeleitet von std::integral_constant
Member-Konstanten
| value [static] |
true, wenn T der Typ void ist (möglicherweise cv-qualifiziert), 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] Mögliche Implementierung
template<class T> struct is_void : std::is_same<void, typename std::remove_cv<T>::type> {}; |
[bearbeiten] Beispiel
Führen Sie diesen Code aus
#include <type_traits> void foo(); static_assert ( std::is_void_v<void> == true and std::is_void_v<const void> == true and std::is_void_v<volatile void> == true and std::is_void_v<void*> == false and std::is_void_v<int> == false and std::is_void_v<decltype(foo)> == false and std::is_void_v<std::is_void<void>> == false ); int main() {}
[bearbeiten] Siehe auch
| (C++11) |
prüft, ob ein Typ ein Arraytyp ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein Zeigertyp ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein Aufzählungstyp ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein Union-Typ ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein Nicht-Union-Klassentyp ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein Funktionstyp ist (Klassenvorlage) |
| (C++11) |
prüft, ob ein Typ ein Objekttyp ist (Klassenvorlage) |