std:: is_same

如果 T 和 U 命名相同的类型（考虑 const/volatile 限定符），则提供成员常量 value 等于 true 。否则 value 为 false 。

满足交换律，即对于任意两个类型 T 和 U ， is_same < T, U > :: value == true 当且仅当 is_same < U, T > :: value == true 。

如果程序为 std::is_same 或 std::is_same_v (C++17 起) 添加特化，则行为未定义。

辅助变量模板

可能的实现

template<class T, class U>
struct is_same : std::false_type {};
template<class T>
struct is_same<T, T> : std::true_type {};

示例

#include <cstdint>
#include <iostream>
#include <type_traits>
#define SHOW(...) std::cout << #__VA_ARGS__ << " : " << __VA_ARGS__ << '\n'
int main()
{
    std::cout << std::boolalpha;
    // 一些实现定义的事实
    // 若 'int' 为32位通常为真
    SHOW( std::is_same<int, std::int32_t>::value ); // 可能为真
    // 若使用ILP64数据模型可能为真
    SHOW( std::is_same<int, std::int64_t>::value ); // 可能为假
    // 与上述测试相同，但使用C++17的std::is_same_v<T, U>格式
    SHOW( std::is_same_v<int, std::int32_t> ); // 可能为真
    SHOW( std::is_same_v<int, std::int64_t> ); // 可能为假
    // 比较几个变量的类型
    long double num1 = 1.0;
    long double num2 = 2.0;
    static_assert( std::is_same_v<decltype(num1), decltype(num2)> == true );
    // 'float' 永远不是整型
    static_assert( std::is_same<float, std::int32_t>::value == false );
    // 'int' 隐式为 'signed'
    static_assert( std::is_same_v<int, int> == true );
    static_assert( std::is_same_v<int, unsigned int> == false );
    static_assert( std::is_same_v<int, signed int> == true );
    // 与其他类型不同，'char' 既非 'unsigned' 也非 'signed'
    static_assert( std::is_same_v<char, char> == true );
    static_assert( std::is_same_v<char, unsigned char> == false );
    static_assert( std::is_same_v<char, signed char> == false );
    // const限定类型T与非const T不同
    static_assert( !std::is_same<const int, int>() );
}
#undef SHOW

std::is_same<int, std::int32_t>::value : true
std::is_same<int, std::int64_t>::value : false
std::is_same_v<int, std::int32_t> : true
std::is_same_v<int, std::int64_t> : false

参见