Template模板入门

Template模板入门 

1 模板概述

    当采用过程式模式进行程序设计的时候，主要的程序设计单元是过程（procedure）或者函数

（function）。函数的用处主要在于，使用函数可以编写独立于特定值的算法，因此你可以重复的将函数

用于多个不同的值。比如，如果函数调用了C或者C++的内置函数sqrt()，这个函数就可以根据你提供的不

同的参数值计算其平方根。因为sqrt()函数是针对参数（Parameter）而不是针对某一个具体的值编写的，

所以计算机科学家称，函数是对值的参数化(Parameterize).

  C++提供的模板扩展了参数化的概念，使得模板可以对任何的数据类型（type）以及值（value）进行参

数化。当使用模板时，你可以编写一个栈类的定义，使其可以用于任何的数据类型，包括你自定义的数据类型，

而不需要为每个数据类型都编写独立的方法(栈类)。

 要理解模板，可以通过分析它的语法来理解是很有帮助的！！

 template<typename T>

class MyClass

{

  public:

    MyClass(int ID=1);

    MyClass(const MyClass<T>& src);

    MyClass<T>& operator=(const MyClass<T>& rhs);

     //......

   protected:

     T** myName;

};

 上面给出类的完整定义，我们再来一行一行的分析：

 template <typename T>

第一行指出，下面的类定义是在某一个类型上定义的模板。template和typename（由于历史的原因，有些人

习惯使用class来代替typename）都是C++中的关键字。就像前面的讨论一样，类似于方法对值“参数化”，

模板也采用同样的方法对数据类型进行"参数化"。就像在函数中使用参数（parameter）来代表调用该函数的

程序所传递的实参（argument） 一样，在模板中是使用类型名（比如T）来代表调用该模板的程序所指定的数

据类型。

   继续看下面的几行代码，复制构造函数：

  MyClass (const MyClass<T>&  src);

 MyClass<T>& operator=(const  MyClass<T>& rhs);

  可以看到src参数不再是以前的const MyClass&了，而是const MyClass<T>& 。在编写类的模板时，

原来认为的类名MyClass实际上是模板名。在讨论具体的MyClass类时，是把它们作为MyClass类模板针对

的特定类型的实例来讨论的（比如int等等）。因此，需要指出具体类型，所以必须使用替代的模板参数作者

作为方法的返回值时，要使用MyClass<T>。