is_same クラス

2 つの型が等しいかどうかをテストします。

構文

template <class Ty1, class Ty2>
struct is_same;

パラメーター

Ty1
照会する最初の型。

Ty2
照会する 2 番目の型。

解説

型 Ty1 と型 Ty2 が等しい型である場合、型述語のインスタンスは true を保持します。それ以外の場合は、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

関連項目

<type_traits>
is_convertible クラス
is_base_of クラス