std:: 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>
struct is_void : std::is_same<void, typename std::remove_cv<T>::type> {};

 оставлен без изменений в соответствии с инструкциями. HTML-разметка и атрибуты также сохранены в оригинальном виде.*

Пример

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

Смотрите также