Classe is_same

Verifica se due tipi sono uguali.

Sintassi

template <class Ty1, class Ty2>
struct is_same;

Parametri

Ty1
Primo tipo su cui eseguire una query.

Ty2
Secondo tipo su cui eseguire una query.

Osservazioni:

Un'istanza del predicato di tipo contiene true se i tipi Ty1 e Ty2 sono dello stesso tipo, altrimenti contiene false.

Esempio

// 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

Requisiti

Intestazione:<type_traits>

Spazio dei nomi: std

Vedi anche

<type_traits>
Classe is_convertible
Classe is_base_of