首页 > 代码库 > C++模板机制总结

C++模板机制总结

模板是C++中非常重要的组成部分,之前自己对这块领域一直不太熟悉。最近趁着有时间学习了一下,特此总结。

首先是函数模板,它的定义方式如例子所示:

template <typename T>T sum(T a,T b)
{
	return a+b;
}

类也有自己的模板,称为类模板,如下所示:

template <typename T>class Proxy
{
public:
	typedef T value_type;
	Proxy();
	~Proxy();
	value_type val;
};

template<typename T> Proxy<T>::Proxy()
{
	val=T(10);
}

template<typename T> Proxy<T>::~Proxy()
{

}

 要特别注意的是,C++中类模板的声明和定义应当放到同一个.h文件下,不能将声明和定义分散在不同的文件中。

类模板也可以有自己的友元函数和静态变量:

template <typename>class Proxy;
template <typename T>bool operator==(const Proxy<T>&,const Proxy<T>&);
template <typename T>class Proxy
{
public:
	typedef T value_type;
	Proxy();
	~Proxy();
	void printval();
	friend bool operator==<T>(const Proxy<T>&,const Proxy<T>&);
	value_type val;
	static T abc;
};
template<typename T> void Proxy<T>::printval()
{
	std::cout<<val<<std::endl;
}
template <typename T> T Proxy<T>::abc=0;

无论是模板类还是普通类,都可以有自己的模板函数,编译器会根据具体代码的内容实例化特定的模板成员函数。

template <typename T>class Proxy
{
public:
	template<typename U>void printNum(U num);
};

template<typename T>template<typename U>void Proxy<T>::printNum(U num)
{
	std::cout<<num<<std::endl;
}

  当我们引用模板函数的时候,编译器利用调用中的函数实参来确定其模板参数,这叫做模板实参推断。但只有有限的几种类型转换会自动地应用于这些实参(const转换、数组或函数指针转换)。拿一段代码来举个例子:

template <typename T>T sum(T a,T b)
{
	return a+b;
}

sum(10,10.5);//this code is error!

在引用sum的时候,实参一个是int类型,一个是double类型,此时不能像普通函数一样实现类型转换。以上代码在编译器是不通过的。

而如果先将函数显示实例化,则就可以实现参数类型转换了:

sum<int>(10,10.5);

当我们不能(或不希望)将模板定义用于某些特定类型时,模板特例化就派上用场了。模板特例化就是一个用户提供的模板实例,它将一个或多个模板参数绑定到特定类型或值上。比如之前定义的sum函数,可以针对Sale_Data类特例化:

template<>
Sale_Data sum(Sale_Data a,Sale_Data b)
{
    Sale_Data c;
    c.index=a.index+b.index;
    return c;
}       

 这样一来,当我们为Sale_Data调用sum时,编译器就会采用上面这个函数;而不再使用通用的模板函数。

C++模板机制总结