std::is_const
Материал из cppreference.com
| Определено в заголовочном файле <type_traits>
|
||
| template< class T > struct is_const; |
(начиная с C++11) | |
std::is_const является UnaryTypeTrait.
Если T является const-квалифицированным типом (то есть const или const volatile), предоставляет константу-элемент value, равную true. Для любого другого типа value равна false.
Поведение программы, добавляющей специализации для std::is_const или std::is_const_v (начиная с C++17) не определено.
Содержание |
[править] Параметры шаблона
| T | — | тип для проверки |
[править] Шаблон вспомогательной переменной
| template< class T > inline constexpr bool 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<const int> << '\n' // true << std::is_const_v<const int*> // false << " потому что сам указатель может быть изменён, но не int, на который он указывает\n" << std::is_const_v<int* const> // true << " потому что сам указатель не может быть изменён, а указанный int может\n" << std::is_const_v<const int&> << '\n' // false << std::is_const_v<std::remove_reference_t<const int&>> << '\n' // true ; }
Вывод:
false true false потому что сам указатель может быть изменён, но не int, на который он указывает true потому что сам указатель не может быть изменён, а указанный int может false true
[править] Смотрите также
| (C++11) |
проверяет, является ли тип volatile квалифицированным (шаблон класса) |
| (C++17) |
получает ссылку на константу её аргумента (шаблон функции) |
