std:: is_void

std::is_void ist ein UnaryTypeTrait .

Prüft, ob T ein void-Typ ist. Stellt die Memberkonstante value bereit, die gleich true ist, falls 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.

Template-Parameter

Hilfsvariablen-Template

Mögliche Implementierung

template<class T>
struct is_void : std::is_same<void, typename std::remove_cv<T>::type> {};

Beispiel

#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<const volatile void> == true and
    std::is_void_v<std::void_t<>> == 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() {}

Siehe auch