std::is_void

template< class T >
struct is_void;

std::is_void является UnaryTypeTrait.

Проверяет, является ли T типом void. Предоставляет стальную константу value, которая равна true, если T является типом void, const void, volatile void, или const volatile void. В противном случае value равно false.

Поведение программы, добавляющей специализации для std::is_void или std::is_void_v, не определено.

Параметры шаблона

Вспомогательный шаблон переменной

template< class T >
inline constexpr bool is_void_v = is_void<T>::value;

Возможная реализация

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

Пример

#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() {}

См. также