std::is_null_pointer
Определён в заголовочном файле <type_traits> | ||
|---|---|---|
template< class T > struct is_null_pointer; | (начиная с C++11) |
std::is_null_pointer — это унарный типовой признак.
Проверяет, является ли T типом std::nullptr_t.
Предоставляет константу-член value, равную true, если T имеет тип std::nullptr_t, conststd::nullptr_t, volatilestd::nullptr_t или constvolatilestd::nullptr_t.
В противном случае value равно false.
Если программа добавляет специализации для std::is_null_pointer или std::is_null_pointer_v(начиная с C++17), поведение не определено.
Параметры шаблона
| T | - | тип для проверки |
Вспомогательный шаблон переменной
template< class T > 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, поскольку это не встроенный тип указателя.
В libc++ std::is_null_pointer недоступен в режиме C++11.
| Макрос проверки поддержки возможностей | Значение | Стандарт | Возможность |
|---|---|---|---|
__cpp_lib_is_null_pointer | 201309L |
(C++14) (DR11) |
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++.
| Отчёт об ошибке | Применён к | Опубликованное поведение | Правильное поведение |
|---|---|---|---|
| LWG 2247 | C++11 | отсутствовал типовой признак для обнаружения std::nullptr_t | добавлен |
См. также
|
(C++11) | проверяет, является ли тип void (шаблон класса) |
|
(C++11) | проверяет, является ли тип типом массива (шаблон класса) |
|
(C++11) | проверяет, является ли тип типом указателя (шаблон класса) |
|
(C++11) | проверяет, является ли тип перечислимым типом (шаблон класса) |
|
(C++11) | проверяет, является ли тип типом объединения (шаблон класса) |
|
(C++11) | проверяет, является ли тип типом класса (не объединения) (шаблон класса) |
|
(C++11) | проверяет, является ли тип функциональным типом (шаблон класса) |
|
(C++11) | проверяет, является ли тип объектным типом (шаблон класса) |
|
(C++26) | проверяет, является ли отражённый тип std::nullptr_t (функция) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/is_null_pointer
