类模板深度分析 多参数 重定义 特化

类模板可以定义任意多个不同类型的参数

类模板可以被特化

• 指定类模板的特定实现
• 部分类型参数必须显示指定
• 根据数据结构参数分开实现类模板
  

类模板的特化类型

• 部分特化 – 用特定规则约束类型参数
• 完全特化–完全特化显示指定类型参数

#include <iostream>
#include <string>

using namespace std;

template
<typename T1, typename T2 >
class Test
{
public:
	void add(T1 a, T2 b)
	{
		cout << "void add(T1 a, T2 b)" << endl;
		cout << a + b << endl;
	}
};

template
< typename T1, typename T2 >
class Test <T1* ,T2*>
{
public:
	void add(T1* a, T2* b)
	{
		cout << "void add(T1* a, T2* b)" << endl;
		cout << *a + *b << endl;
	}	
};

//部分特化
template
< typename T>
class Test <T, T> //当Test类模板的两个类型参数完全相同时，使用这个实现
{
public:
	void add(T a, T b)
	{
		cout << "void add(T a, T b)" << endl;
		cout << a + b << endl;
	}
	void print()
	{
		cout << "class Test <T, T>" << endl;
	}
};

template
< >
class Test <void*, void*>//T1, T2参数都为void*时
{
public:
	void add(void* a, void* b)
	{
		cout << "void add(void* a, void* b)" << endl;
		cout << "Error" << endl;
	}	
};



int main()
{  
    Test<int, float> t1;
    Test<long, long> t2;
    Test<void*, void*> t3;
	
	t1.add(1, 2.5);
	t2.add(1, 2);
	t2.print();
	
	t3.add(NULL, NULL);
    
	Test<int*, double*> t4;
	int a = 1;
	double b = 0.1;
	t4.add(&a, &b);
	
    return 0;
}

类模板特化

• 特殊时类模板的分开-本质是同一个模板
• 特化类模板的使用方式是统一的
  • 必须显示指定每一个参数类型

类模板特化与重定义

• 重定义
  • 一个类模板和一个新类（两个类模板）
  • 使用时考虑如何选择问题
• 特化
  • 以统一的方式使用类模板和特化模板
  • 编译器自动优先选择特化类

类模板特化与函数模板特化

• 函数模板只支持类型参数完全特化
  

#include <iostream>
#include <string>

using namespace std;

/*
template
< >
class Test <void*, void*>//T1, T2参数都为void*时
{
public:
	void add(void* a, void* b)
	{
		cout << "void add(void* a, void* b)" << endl;
		cout << "Error" << endl;
	}	
};
*/

class Test_Void//重定义，要考虑如何选择问题
{
public:
	void add(void* a, void* b)
	{
		cout << "void add(void* a, void* b)" << endl;
		cout << "Error" << endl;
	}	
};



template
< typename T >
bool Equal(T a, T b)
{
	cout << "bool Equal(T a, T b)" << endl;
	return a == b;
}

template
< >
bool Equal<double>(double a, double b)//需要显示声明
{
	const double delta = 0.00000001;
	double r = a - b;
	
	cout << "bool Equal<double>(double a, double b)" << endl;
	
	return (-delta < r) && ( r < delta);
}

bool Equal(double a, double b)//优先选择全局重载函数
{
	const double delta = 0.00000001;
	double r = a - b;
	
	cout << "bool Equal(double a, double b)" << endl;
	
	return (-delta < r) && ( r < delta);
}

int main()
{  
    cout << Equal(1, 2) <<endl;
    cout << Equal<double>(0.001, 0.001) <<endl;  //优先选择全局重载函数
    return 0;
}

建议

• 建议：需要重载函数模板时，优先考虑使用模板特化
• 当模板无法满足需求，在使用函数重载

小结

• 类模板可以定义任意多个不同类型参数
• 类模板可以被部分特化和完全特化
• 特化本质是模板分开实现
• 函数模板只支持完全特化
• 工程中使用模板特化代替类（函数）重定义