std::is_null_pointer — cppreference.com
Материал из cppreference.com
<tbody> </tbody>
|
|
(начиная с 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>
|
|
(начиная с 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) |
проверяет, является ли тип типом класса не объединения (шаблон класса) [править] |
(C++11) |
проверяет, является ли тип типом функции (шаблон класса) [править] |
(C++11) |
проверяет, является ли тип объектным типом (шаблон класса) [править] |