Spec-Zone.ru › C++

std::is_null_pointer

Определено в заголовке <type_traits>
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) не определено.

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

T - тип для проверки

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

template< class T >
inline constexpr bool is_null_pointer_v = is_null_pointer<T>::value;
(с C++17)

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

Статические константы

value
[static]
true если T является типом std::nullptr_t (возможно, с квалификаторами cv), false в противном случае
(публичная статическая константа)

Члены-функции

operator bool
преобразует объект в bool, возвращает value
(публичная функция-член)
operator()
(C++14)
возвращает value
(публичная функция-член)

Типы-члены

Тип Определение
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, так как это не встроенный указательный тип.

Макро-тест функции Значение Std Функция
__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()
{
}

См. также

is_void
(C++11)
проверяет, является ли тип void
(шаблон класса)
is_array
(C++11)
проверяет, является ли тип массивом
(шаблон класса)
is_pointer
(C++11)
проверяет, является ли тип указателем
(шаблон класса)
is_enum
(C++11)
проверяет, является ли тип перечислением
(шаблон класса)
is_union
(C++11)
проверяет, является ли тип объединением
(шаблон класса)
is_class
(C++11)
проверяет, является ли тип классом (не объединением)
(шаблон класса)
is_function
(C++11)
проверяет, является ли тип функцией
(шаблон класса)
is_object
(C++11)
проверяет, является ли тип объектом
(шаблон класса)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/types/is_null_pointer

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API