Класс is_same
Определяет, совпадают ли два типа.
Синтаксис
template <class Ty1, class Ty2>
struct is_same;
Параметры
Тай1
Первый запрашиваемый тип.
Тай2
Второй запрашиваемый тип.
Замечания
Экземпляр предиката типа имеет значение true, если типы Ty1 и Ty2 одинаковы, в противном случае он содержит значение false.
Пример
// std__type_traits__is_same.cpp
// compile with: /EHsc
#include <type_traits>
#include <iostream>
struct base
{
int val;
};
struct derived
: public base
{
};
int main()
{
std::cout << "is_same<base, base> == " << std::boolalpha
<< std::is_same<base, base>::value << std::endl;
std::cout << "is_same<base, derived> == " << std::boolalpha
<< std::is_same<base, derived>::value << std::endl;
std::cout << "is_same<derived, base> == " << std::boolalpha
<< std::is_same<derived, base>::value << std::endl;
std::cout << "is_same<int, int> == " << std::boolalpha
<< std::is_same<int, int>::value << std::endl;
std::cout << "is_same<int, const int> == " << std::boolalpha
<< std::is_same<int, const int>::value << std::endl;
return (0);
}
is_same<base, base> == true
is_same<base, derived> == false
is_same<derived, base> == false
is_same<int, int> == true
is_same<int, const int> == false
Требования
Заголовок:<type_traits>
Пространство имен: std