std::is_same,继承自 integral_constant,用于判断T和U是否为相同的类型,返回值(::value)为true/false。
template <class T, class U> struct is_same;
注意,若class类名不同,当且仅当T与U有typedef关联,否则就算T与U的所有成员属性完全一致,也仍认为是不同的类型。
具体示例为:
// is_same example
#include <iostream>
#include <type_traits>
#include <cstdint>
typedef int integer_type;
struct A { int x,y; };
struct B { int x,y; };
typedef A C;
int main() {
std::cout << std::boolalpha; //把bool值显示为true或false。
std::cout << "is_same:" << std::endl;
std::cout << "int, const int: " << std::is_same<int, const int>::value << std::endl;
std::cout << "int, integer_type: " << std::is_same<int, integer_type>::value << std::endl;
std::cout << "A, B: " << std::is_same<A,B>::value << std::endl;
std::cout << "A, C: " << std::is_same<A,C>::value << std::endl;
std::cout << "signed char, std::int8_t: " << std::is_same<signed char,std::int8_t>::value << std::endl;
return 0;
}
输出为:
is_same:
int, const int: false
int, integer_type: true
A, B: false
A, C: true
signed char, std::int8_t: true