◐ Shell
clean mode source ↗

std::is_null_pointer — cppreference.com

Материал из cppreference.com

<tbody> </tbody>

template< class T > struct is_null_pointer;

(начиная с C++14)

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

Проверяет является ли T типом std::nullptr_t.

Предоставляет константу элемент value, которая равна true, если T имеет тип std::nullptr_t, const std::nullptr_t, volatile std::nullptr_t или const volatile std::nullptr_t.

Иначе value равна false.

Поведение программы, добавляющей специализации для std::is_null_pointer или std::is_null_pointer_v (начиная с C++17) не определено.

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

Шаблон вспомогательной переменной

<tbody> </tbody>

template< class T > inline constexpr bool is_null_pointer_v = is_null_pointer<T>::value;

(начиная с C++17)

Унаследован от std::integral_constant

Константы элементы

true, если T это тип std::nullptr_t (возможно, cv-квалифицированный), false иначе
(public static константа-элемент)

Функции-элементы

преобразует объект в bool, возвращает value
(public функция-элемент)
возвращает value
(public функция-элемент)

Типы элементы

Тип Определение
value_type bool
type std::integral_constant<bool, value>

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

template< class T >
struct is_null_pointer : std::is_same<std::nullptr_t, std::remove_cv_t<T>> {};

Примечание

std::is_pointer имеет значение false для std::nullptr_t, потому что это не встроенный тип указателя.

Макрос Тестирования функциональности Значение Стандарт Функциональность
__cpp_lib_is_null_pointer 201309L (C++14) std::is_null_pointer

Пример

#include <type_traits>

static_assert(std::is_null_pointer_v<decltype(nullptr)>);
static_assert(!std::is_null_pointer_v<int*>);
static_assert(!std::is_pointer_v<decltype(nullptr)>);
static_assert(std::is_pointer_v<int*>);

int main()
{
}

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

(C++11)

проверяет, является ли тип void
(шаблон класса) [править]

(C++11)

проверяет, является ли тип типом массива
(шаблон класса) [править]
проверяет, является ли тип типом указателя
(шаблон класса) [править]

(C++11)

проверяет, является ли тип типом перечисления
(шаблон класса) [править]

(C++11)

проверяет, является ли тип типом объединения
(шаблон класса) [править]

(C++11)

проверяет, является ли тип типом класса не объединения
(шаблон класса) [править]
проверяет, является ли тип типом функции
(шаблон класса) [править]

(C++11)

проверяет, является ли тип объектным типом
(шаблон класса) [править]