C++新经典模板与泛型编程：萃取类模板的代码实现，1. std::is_void判断是否为void类型 2. std::is_same判断两个类型是否相同

判断是否为void类型的

C++标准库中有一个类模板is_void，用来判断某个类型是不是void类型。在main()主函数中简单写一段测试代码：

#include "killCmake.h"

using namespace std;

int main()
{
	std::cout << "nit是void类型吗？" << std::is_void<int>::value << std::endl;
	std::cout << "void是void类型吗? " << std::is_void<void>::value << std::endl;

	return 0;
}

那么，这个is_void是怎么实现的呢？其实，is_void就可以看作一个值萃取类模板，这里笔者也写一个值萃取类模板实现is_void类似的功能。请不要忘记，值萃取类模板的功能是“传入一种类型，萃取出一个值”。

#include "killCmake.h"

using namespace std;

// 经典
template<typename T>
struct voidValueTraits
{
	static const bool value = false;
};

template<>
struct voidValueTraits<void>
{
	static const bool value = true;
};

int main()
{
	std::cout << "nit是void类型吗？" << std::is_void<int>::value << std::endl;
	std::cout << "void是void类型吗? " << std::is_void<void>::value << std::endl;

	std::cout << "nit是void类型吗？" << voidValueTraits<int>::value << std::endl;
	std::cout << "void是void类型吗? " << voidValueTraits<void>::value << std::endl;

	return 0;
}

判断两个类型是否相同

标准库中有一个std::is_same类模板，用于判断两个类型是否相同。那么如何写一个萃取类模板实现与std::is_same相同的功能呢？看代码：

template<typename T1,typename T2>
struct IsSameType
{
	static const bool value = false;
};

template<typename T1,typename T2>
struct IsSameType<T1,T2> // 报错：主模板的声明中不允许使用模板参数列表
{
static const bool value = false;
};

error: 主模板的声明中不允许使用模板参数列表

第一次看到上面的错误，或许会很懵逼，但是逐字分析，便知已经表达的很明白，就是在主模板声明中如果是泛化的版本就不需要使用模板参数列表，除非有特化版本就需要添加模板参数列表，反思：许多error其实说的很明白，需要沉下心来逐字理解

#include "killCmake.h"

using namespace std;

// 泛化版本
template<typename T1,typename T2>
struct IsSameType
{
	static const bool value = false;
};

// 类的后面是否加<>，有何区别？ 非常有意思的问题
// 泛化的后面不需要加<>，当需要特化的时候加
// 以下这个特化的形式是属于特殊情况，都一样，其他特化形式是<int,T1>，<string,T1>或<char,float>等
// 特化版本
template<typename T1>
struct IsSameType<T1, T1>
{
	static const bool value = true;
};


int main()
{
	std::cout << IsSameType<int, const int>::value << std::endl;
	std::cout << IsSameType<int, int>::value << std::endl;

	return 0;
}

可以用一个变量模板（不能用别名模板，因为结果是一个值，不是一个类型）简化书写，代码如下。

#include "killCmake.h"

using namespace std;

#if 0
// 泛化版本
template<typename T1,typename T2>
struct IsSameType
{
	static const bool value = false;
};

// 类的后面是否加<>，有何区别？ 非常有意思的问题
// 泛化的后面不需要加<>，当需要特化的时候加
// 以下这个特化的形式是属于特殊情况，都一样，其他特化形式是<int,T1>，<string,T1>或<char,float>等
// 特化版本
template<typename T1>
struct IsSameType<T1, T1>
{
	static const bool value = true;
};

template<typename T1,typename T2>
const bool IsSame_v = IsSameType<T1, T2>::value;
#else

template<typename T1,typename T2>
struct IsSameType : std::false_type {};

template<typename T1>
struct IsSameType<T1, T1> : std::true_type {};

#endif

int main()
{
#if 0
	std::cout << IsSameType<int, const int>::value << std::endl;
	std::cout << IsSameType<int, int>::value << std::endl;

	std::cout << IsSame_v<int, const int> << std::endl;
	std::cout << IsSame_v<int, int> << std::endl;
#else
	std::cout << IsSameType<int, const int>::value << std::endl;
	std::cout << IsSameType<int, int>::value << std::endl;
#endif

	return 0;
}