std::is_const
Материал из cppreference.com
Определено в заголовочном файле <type_traits> | ||
template<class T > struct is_const; | (начиная с C++11) | |
std::is_const является UnaryTypeTrait.
Если T является const-квалифицированным типом (то есть const или constvolatile), предоставляет константу-элемент value, равную true. Для любого другого типа value равна false.
Поведение программы, добавляющей специализации для std::is_constили std::is_const_v(начиная с C++17) не определено.
Содержание |
[править]Параметры шаблона
| T | — | тип для проверки |
[править]Шаблон вспомогательной переменной
template<class T > inlineconstexprbool is_const_v = is_const<T>::value; | (начиная с C++17) | |
Унаследован от std::integral_constant
Константы элементы
value [static] | true, если T является const-квалифицированным типом, false иначе (public static константа-элемент) |
Функции-элементы
operator bool | преобразует объект в bool, возвращает value (public функция-элемент) |
operator() (C++14) | возвращает value (public функция-элемент) |
Типы элементы
| Тип | Определение |
value_type | bool |
type | std::integral_constant<bool, value> |
[править]Примечание
Если T является ссылочным типом, то is_const<T>::value всегда равна false. Правильный способ проверить потенциально ссылочный тип на константность это удалить ссылку: is_const<typename remove_reference<T>::type>.
[править]Возможная реализация
template<class T>struct is_const :std::false_type{};template<class T>struct is_const<const T>:std::true_type{}; |
[править]Пример
Запустить этот код
#include <iostream>#include <type_traits> int main(){std::cout<<std::boolalpha<< std::is_const_v<int><<'\n'// false<< std::is_const_v<constint><<'\n'// true<< std::is_const_v<constint*>// false<<" потому что сам указатель может быть изменён, но не int, на который он указывает\n"<< std::is_const_v<int*const>// true <<" потому что сам указатель не может быть изменён, а указанный int может\n"<< std::is_const_v<constint&><<'\n'// false<< std::is_const_v<std::remove_reference_t<constint&>><<'\n'// true;}
Вывод:
false true false потому что сам указатель может быть изменён, но не int, на который он указывает true потому что сам указатель не может быть изменён, а указанный int может false true
[править]Смотрите также
(C++11) | проверяет, является ли тип volatile квалифицированным (шаблон класса) |
(C++17) | получает ссылку на константу её аргумента (шаблон функции) |
