C++模板特化

C++模板特化包括显式特化（完全特化）和部分特化两种，其作用是为某些参数特化模板（如，可以修改类模板定义、增加或减少类模板成员等）。

1. 显式特化

语法为：

template <> declaration

必须实例化所有的模板形参。

如，

#include <iostream>

// primary 模板
template <typename T>
struct IsVoid
{
	static constexpr bool value = false;
};

// 显式特化
template <>
struct IsVoid<void>
{
	static constexpr bool value = true;
};


int main()
{
	std::cout << std::boolalpha << IsVoid<int>::value << '\n';		// false
	std::cout << std::boolalpha << IsVoid<void>::value << '\n';		// true
}

2. 部分特化

语法为：

template<parameter-list>
class ClassName<argument-list> declaration

其中，argument-list 可以包含具体的类型（对应类型参数）、具体的值（对应非类型参数），也可以包含在 <parameter-list> 中指定的模板形参。

如，

// primary 模板
template<class T1, class T2, int I>
class A {};

/********************** 部分特化 *************************/

template<class T, int I>
class A<T, T*, I> {};

template<class T, class T2, int I>
class A<T*, T2, I> {};

template<class T>
class A<int, T*, 5> {}; 

template<class X, class T, int I>
class A<X, T*, I> {};

具体实例：移除引用

#include <iostream>

// primary 模板
template <typename T>
struct RemoveReference
{
	using type = T;
};

// 部分特化
template <typename T>
struct RemoveReference<T&>
{
	using type = T;
};

template <typename T>
struct RemoveReference<T&&>
{
	using type = T;
};


int main()
{
	std::cout << std::boolalpha << std::is_reference<int&>::value << '\n';
	std::cout << std::boolalpha << std::is_reference<int&&>::value << '\n';
	std::cout << "---------------------\n";
	std::cout << std::boolalpha << std::is_reference<RemoveReference<int>::type>::value << '\n';
	std::cout << std::boolalpha << std::is_reference<RemoveReference<int&>::type>::value << '\n';
	std::cout << std::boolalpha << std::is_reference<RemoveReference<int&&>::type>::value << '\n';
}

true
true
---------------------
false
false
false