C++ 模板编程之模板函数（编译期多态）

*例子来自《Effective  C++（第三版）》，模板编程主要是编译器在大发神威。

1. 模板函数基础用法
2. typename用法
3. ……

模板函数基础用法

模板函数如下：

//定义一个模板函数
template<typename T>
void doProcessing(T& w)
{
	if (w.size() > 10 && w != someGlobalVar) {
		T temp(w);
		temp.normalize();
		temp.swap(w);
	}
}
/*
分析：
该模板函数中的模板类型为T，该类必须实现五种公有方法，五种方法如下：
1)size函数,返回值为数值类型
2)normailize函数
3)swap方法,第一参数必须是T类型的
4)拷贝构造函数,在没有自定义拷贝构造函数的时候，编译器自动生成T类的默认拷贝构造函数
5)操作符"!=",返回值为bool类型
同时需要一个全局的实例someGlobalVar,该实例具体类型由"!="重载函数中的参数决定,类型不匹配编译器会报错
*/

该模板函数要求调用doProcessing的时候，其实参必须实现了上面所说的五种方法，且为公有方法。

自定义一个类A，实现上述五种函数。

//实现一个类型A，有上述五种方法，且都是显是声明
//该类并没有实用价值，只为实验方便而用
class A
{
public:
	A(){}
	A(A& c);
	size_t size();
	void normalize();
	void swap(A& c);
	bool operator!=(int c);//重载"!="

};
A::A(A& c)
{
	cout << "classA::classA(classA& c)" << endl;
}

size_t A::size()
{
	cout << "void classA::size" << endl;
	return 20;
}
void A::normalize()
{
	cout << "void classA::normalize" << endl;
}

void A::swap(A& c)
{
	cout << "void classA::swap" << endl;
}
bool A::operator!=(int c)
{
	cout << "operator!=" << endl;
	return true;
}

不要忘记声明一个全局的someGlobalVar，在例子中需要为int类型：

int someGlobalVar= 0;

如果调用doProcessing方法时，其参数没有实现以上五种方法，且没有全局声明someGlobalVar这个变量的话，编译后会报错。

调用该模板函数，并展示结果：

A realA;
doProcessing(realA);
/*
运行输出结果：
void classA::size
operator!=
classA::classA(classA& c)
void classA::normalize
void classA::swap
*/

好处：编译期间就实现了多态性，运行时所做的事情就减少了，在多次调用类似方法的情况下，既减少了源码代码量，又优化了程序。在参数为STL中的容器类时，可以实现非常丰富的效果。

以上的模板函数是可以通过编译的，但遇到一些特殊情况，需要特殊处理才能通过编译，具体情况请看下一篇学习日志——typename用法。