c++:数据类型的判断type_traits

//判断左值右值引用
void main()
{
	int i(10);//i是左值  有内存实体
	int &ri(i);
	int &&rri(i + 5);//右值引用
	cout << is_lvalue_reference::value << endl;//是左值不是引用 输出0
	cout << is_lvalue_reference::value << endl;//是左值引用输出1
	cout << is_lvalue_reference::value << endl;//是右值引用输出0
	cin.get();
}


//此处的 decltype 引用常量都可以获取
//检测是否是数组
void main()
{
	int a[5];
	int *p = a;
	cout << is_array::value << endl;//数组输出1
	cout << is_array::value << endl;//非数组输出0
	cin.get();
}



void main()
{
	int num = 123;
	double db = 23;
	cout << is_integral::value << endl;//判断数据类型  int  1
	cout << is_integral::value << endl;//不是int型  0

	string str1;//cpp中的string也是个类
	cout << is_class::value << endl;//1
	cout << is_class::value << endl;//1
	cin.get();
}



template
void same(const T1 &t1, const T2&t2)
{
	cout << is_same::value << endl;//判定类型是否相等
}
//判断模板的数据类型
void main()
{
	same(12, 34);//一样的数据类型输出  1
	same(12, 34.23);//不一样输出   0
	same('A', 34);//0
	same("sdjbjabf", 34);//0
	cin.get();
}



template
void same2(const T1 &t1, const T2&t2)
{
	//cout << typeid(T1).name() << is_integral(t1) << endl;//error
	cout << typeid(T1).name() << "    " << typeid(t1).name() << "    " << is_integral::value << endl;
	cout << is_same::value << endl;
}
//判断模板的数据类型
void main()
{
	same2(12, 34);
	same2(12, 34.23);
	same2('A', 34);
	same2("sdjbjabf", 34);
	cin.get();
}




int add()
{
	return 0;
}
double check()
{
	return 0;
}
class A
{};
class B
{};
template
void check_type(const T1 &t1, const T2 &t2,typename enable_if::value>::type*p=nullptr)
{
	cout << t1<<"	"<
void check_type(const T1 &t1, const T2 &t2, typename enable_if::value>::type*p = nullptr)
{
	cout << t1 << "	" << t2 << "：类型不相同" << endl;
}
//模板与type判断类型的异同   根据参数类型自动选择模板
void main()
{
	check_type(12, 34);
	check_type(12.34, 0.12);
	check_type(12, 34.0);

	check_type(12, (float)34);
	check_type((int)12.34, (int)0.12);

	check_type('A','\n');
	check_type("1234", "abcd");

	check_type(add, check);
	A a;
	B b;
	check_type(&a, &b);
	cin.get();
}