c++ 学习使用 template

 1//参考自：http://www.prglab.com/cms/pages/c-tutorial/advanced-concepts/templates.php
 2
 3#include <iostream.h>
 4#include <stdio.h>
 5
 6//没有返回值的函数模板
 7template <class T>void GetMax(T num1,T num2)
 8{
 9  T rtn=(num1>num2?num1:num2);
  cout<<rtn<<endl;
  //printf("%d \r\n",rtn);
}

//有返回值的函数模板
template <class T>T GetMax(T num1,T num2)
{
  T rtn=(num1>num2?num1:num2);
  return rtn;
}

//比较两个类型的值的大小
template <class T,class U>void GetMax(T num1, U num2)
{
  T rtn=(num1>num2?num1:num2);
  cout<<rtn<<endl;
  //printf("%d \r\n",rtn);
}

//类模板
template <class T>class sample
{
  T vlu1,vlu2;
  public:
    sample(T num1,T num2)
    {
      vlu1=num1;
      vlu2=num2;
    }
    T GetMax()
    {
       T rtn;
       rtn= vlu1>vlu2? vlu1: vlu2;
       return rtn;
    }
}

//--------------------------------------------------------
/**//*
模板的特殊化是当模板中的pattern有确定的类型时，模板有一个具体的实现。例如假设我们的类模板pair 包含一个取模计算（module operation）的函数，而我们希望这个函数只有当对象中存储的数据为整型(int)的时候才能工作，其他时候，我们需要这个函数总是返回0
*/
template <class T> class pair {

    T value1, value2;

public:
    pair (T first, T second){
        value1=first;
        value2=second;
    }
    T module () {return 0;}
};

template <>class pair<int> {
    int value1, value2;
public:
    pair (int first, int second){
        value1=first;
        value2=second;
    }
    int module ();
};

template <>int pair<int>::module() {
    return value1%value2;
}

int main () {
    pair<int> myints (100,75);
    pair<float> myfloats(100.0,75.0);
    cout<<myints.module()<< '\n';
    cout<<myfloats.module()<< '\n';
    return 0;

}
//--------------------------------------------------------
/**//*
由上面的代码可以看到，模板特殊化由以下格式定义：

template <> class class_name <type>

这个特殊化本身也是模板定义的一部分，因此，我们必须在该定义开头写template <>。而且因为它确实为一个具体类型的特殊定义，通用数据类型在这里不能够使用，所以第一对尖括号<> 内必须为空。在类名称后面，我们必须将这个特殊化中使用的具体数据类型写在尖括号<>中。

当我们特殊化模板的一个数据类型的时候，同时还必须重新定义类的所有成员的特殊化实现（如果你仔细看上面的例子，会发现我们不得不在特殊化的定义中包含它自己的构造函数 constructor，虽然它与通用模板中的构造函数是一样的）。这样做的原因就是特殊化不会继承通用模板的任何一个成员。

*/