模板与泛型编程之is

一、std::is_union
std::is_union是c++11标准中出现的一个类模板。由于判断某个类型是否是一个联合类型

struct A 
{
	int a;
};

union B
{
	int num;
	char type;
};

int main()
{
	
	cout<::value << endl;
	cout<::value << endl;
	system("pause");
	return 0;
}

目前std::is_union的实现需要编译器内部的支持，所以暂时没有实现源码可供参考借鉴。
在c++17中有引入了变量模板，简化std::is_union的书写。

template
inline constexpr bool is_unionn_v = is_union::value

所以可做如下更改：

cout< << endl;
cout< << endl;

结果：

二、std::is_class
std::is_class是c++11标准中出现的一个类模板。由于判断某个类型是否是一个类类型（联合不是类类型）

struct A 
{
	int a;
};

union B
{
	int num;
	char type;
};

int main()
{
	
	cout<::value << endl;
	cout<::value << endl;
	system("pause");
	return 0;
}

在c++17中有引入了变量模板，简化std::is_class的书写。

template
inline constexpr bool is_class_v = is_class::value

所以在main()函数中代码可以进行如下修改，结果是一样的。

int main()
{
	
	cout<<< endl;
	cout<<< endl;
	system("pause");
	return 0;
}

结果：