C++泛型 STL和应用学习整理（一）

模板的定义

template<typename 占位符1,typename 占位符2,typename 占位符3>

1. 函数模板

    template<typename T, typename R, typename S>
    T maxt(R x, S y)
    {
    	return (x>y)?x:y;
    }
   

   编译时，编译器根据关键字template记住模板名，当调用该模板函数时，编译器就会用实际数据类型去替换占位符，生成一个实体函数。

2. 类模板

    template<typename T>       
    class Circle
        {
        	private :
        		T radius;
        	public:
        		Circle(T r){radius=r;}
        		T Area(){
        			return 3.14*radius*radius;
        		}
        }
        int main()
        {
        	Cicle<int> circle(10);
        	cout<<circle.Area();
    	}   
   

auto和decltype

auto关键字用来自动推导数据类型，在因某种原因很难确定变量类型时显得特别有用。如

template<typename T, typename  U>
auto Multiply(T t, U u)->decltype(t*u)
{
	return t*u;
}

这里面返回值很难确定，因此用auto来做返回值，这种做法叫做返回值占位。decltype指明类型的推导方法为t*u。之所以这样做，是因为现在的auto还不能在比较复杂的运算中确定结果的数据类型。

模板的特化和具现

当有一些数据类型对业务要求与众不同时，就要对其特化。

1. 函数的特化

template<typename T, typename R, typename S>
T maxt(R x, S y)
{
    return (x>y)?x:y;
}
template<>
char* mymax(char* t1, char* t2)
{
    return (strcmp(t1,t2)<0?t2:t1);
}

2. 类的特化和偏特化
   偏特化即可以只特化一个或者几个参数
3. 模板的具现
   当存在多个同名泛型时，编译器的选择顺序为：
   特化模板->偏特化模板->普通模板->系统