std::is_same
Материал из cppreference.com
| Определён в заголовочном файле <type_traits>
|
||
| template< class T, class U > struct is_same; |
(начиная с C++11) | |
Если T и U - это имя одного и того же типа с теми же cv-квалификаторами, то предоставляет константу-член value, которая будет равна true, если же T и U это разные типы(или одни и те же типы, но с разными cv-квалификаторами), то констатный член value будет равен false.
Содержание |
[править] Вспомогательная шаблонная переменная
| template< class T, class U > constexpr bool is_same_v = is_same<T, U>::value; |
(начиная с C++17) | |
Унаследован от std::integral_constant
Константы-члены
| value [static] |
true, если T и U являются одинаковыми типами , иначе false (public static константа-член) |
Функции-члены
| operator bool |
Преобразует объект в bool, возвращается value (public функция-член) |
| operator() (C++14) |
Возвращает value (public функция-член) |
Типы-члены
| Тип | Определение |
value_type
|
bool
|
type
|
std::integral_constant<bool, value> |
[править] Возможная реализация
template<class T, class U> struct is_same : std::false_type {}; template<class T> struct is_same<T, T> : std::true_type {}; |
[править] Пример
Запустить этот код
#include <iostream> #include <type_traits> #include <cstdint> void print_separator() { std::cout << "-----\n"; } int main() { std::cout << std::boolalpha; std::cout << std::is_same<int, int32_t>::value << '\n'; // true std::cout << std::is_same<int, int64_t>::value << '\n'; // false std::cout << std::is_same<float, int32_t>::value << '\n'; // false print_separator(); std::cout << std::is_same<int, int>::value << "\n"; // true std::cout << std::is_same<int, unsigned int>::value << "\n"; // false std::cout << std::is_same<int, signed int>::value << "\n"; // true print_separator(); // В отличие от остальных типов "char" ни 'unsigned', ни 'signed' std::cout << std::is_same<char, char>::value << "\n"; // true std::cout << std::is_same<char, unsigned char>::value << "\n"; // false std::cout << std::is_same<char, signed char>::value << "\n"; // false print_separator(); //В C++14 стандарте стало возможно использовать перегруженный оператор() std::cout << std::is_same<long, long>() << "\n"; // true std::cout << std::is_same<char, int>() << "\n" //false }
Вывод:
true false false ----- true false true ----- true false false ----- true false
[править] См. также
| (C++11) |
Проверяет является ли тип целочисленным или нет (шаблон класса) |
| (C++11) |
Делает данный целочисленный тип знаковым (шаблон класса) |
| (C++11) |
Делает данный целочисленный тип беззнаковым (шаблон класса) |
| (library fundamentals TS) |
Шаблонная переменная, являющая псевдонимом для std::is_same::value (шаблонная переменная) |
