关于C++的模板操作

看了一篇关于模板的文章, 写的不错, 只是在编译的时候有点小问题做了修改, 添加了一些补充性的概念, 以便方便我更加理解模板的概念,感谢原作者提供的好文章, 原文地址:http://prglab.com/cms/pages/c-tutorial/advanced-concepts/templates.php

辅助文章可以参考:http://www.kuqin.com/language/20090405/44193.html

 

何时需要模板:

我的理解是(不知道对不对) 一般需要函数通用或者类通用的时候需要模板, 还有就是泛型编程, 什么是泛型编程呢?

网上找了篇文章 呵呵

 

泛型编程

　　 泛型编 程让你编写完全一般化并可重复使用的算法，其效率与针对某特定数据类型而设计的算法相同。泛型编程的代表作品STL是一种高效、泛型、可交互操作的软件组 件。所谓泛型（Genericity)，是指具有在多种数据类型上皆可操作的含意，与模板有些相似。STL巨大，而且可以扩充，它包含很多计算机基本算法 和数据结构，而且将算法与数据结构完全分离，其中算法是泛型的，不与任何特定数据结构或对象类型系在一起。STL以迭代器 (Iterators)和容器(Containers)为基础，是一种泛型算法(Generic Algorithms)库，容器的存在使这些算法有东西可以操作。STL包含各种泛型算法(algorithms)、泛型指针(iterators)、泛 型容器(containers)以及函数对象(function objects)。STL并非只是一些有用组件的集合，它是描述软件组件抽象需求条件的一个正规而有条理的架构。 　　泛型的第一个好处是编译时的严格类型检查。这是集合框架最重要的特点。此外,泛型消除了绝大多数的类型转换。如果没有泛型，当你使用集合框架时，你不得不进行类型转换。

　　关于泛型的理解可以总结下面的一句话，它是把数据类型作为一种参数传递进来。

函数模板正文:

函数模板( Function templates)

模板(Templates)使得我们可以生成通用的函数，这些函数能够接受任意数据类型的参数，可返回任意类型的值，而不需要对所有可能的数据类型进行函数重载。这在一定程度上实现了宏（macro）的作用。它们的原型定义可以是下面两种中的任何一个：

template  function_declaration;
template  function_declaration;

上面两种原型定义的不同之处在关键字class 或 typename的使用。它们实际是完全等价的，因为两种表达的意思和执行都一模一样。

例如，要生成一个模板，返回两个对象中较大的一个，我们可以这样写：

template GenericType GetMax (GenericType a, GenericType b) { return (a>b?a:b); } 

 

在第一行声明中，我们已经生成了一个通用数据类型的模板，叫做GenericType。因此在其后面的函数中，GenericType 成为一个有效的数据类型，它被用来定义了两个参数a和 b ，并被用作了函数GetMax的返回值类型。

GenericType 仍没有代表任何具体的数据类型；当函数 GetMax 被调用的时候，我们可以使用任何有效的数据类型来调用它。这个数据类型将被作为pattern来代替函数中GenericType 出现的地方。用一个类型pattern来调用一个模板的方法如下：

function  (parameters);

例如，要调用GetMax 来比较两个int类型的整数可以这样写：

int x,y;
GetMax  (x,y);

因此，GetMax 的调用就好像所有的GenericType 出现的地方都用int 来代替一样。

这里是一个例子：

#include template T GetMax (T a, T b) { T result; result = (a>b)? a : b; return (result); } int main () { int i=5, j=6, k; long l=10, m=5, n; k=GetMax(i,j); n=GetMax(l,m); cout << k << endl; cout << n << endl; return 0; } 

 

在这个例子中，我们将通用数据类型命名为T 而不是 GenericType ，因为T短一些，并且它是模板更为通用的标示之一，虽然使用任何有效的标示符都是可以的。)

在上面的例子中，我们对同样的函数GetMax()使用了两种参数类型：int 和 long，而只写了一种函数的实现，也就是说我们写了一个函数的模板，用了两种不同的pattern来调用它。

如你所见，在我们的模板函数 GetMax() 里，类型 T 可以被用来声明新的对象

T result;

result 是一个T类型的对象， 就像a 和 b一样，也就是说，它们都是同一类型的，这种类型就是当我们调用模板函数时写在尖括号<> 中的类型。

在这个具体的例子中，通用类型 T 被用作函数GetMax 的参数，不需要说明或 ，编译器也可以自动检测到传入的数据类型，因此，我们也可以这样写这个例子：

int i,j;
GetMax (i,j);

因为i 和j 都是int 类型，编译器会自动假设我们想要函数按照int进行调用。这种暗示的方法更为有用，并产生同样的结果：

#include template T GetMax (T a, T b) { return (a>b?a:b); } int main () { int i=5, j=6, k; long l=10, m=5, n; k=GetMax(i,j); n=GetMax(l,m); cout << k << endl; cout << n << endl; return 0; } 

 

注意在这个例子的main() 中我们如何调用模板函数GetMax() 而没有在括号<>中指明具体数据类型的。编译器自动决定每一个调用需要什么数据类型。

因为我们的模板函数只包括一种数据类型 (class T)， 而且它的两个参数都是同一种类型，我们不能够用两个不同类型的参数来调用它：

int i; long l; k = GetMax (i,l); 

 

上面的调用就是不对的，因为我们的函数等待的是两个同种类型的参数。

我们也可以使得模板函数接受两种或两种以上类型的数据，例如：

template T GetMin (T a, U b) { return (a

在这个例子中，我们的模板函数 GetMin() 接受两个不同类型的参数，并返回一个与第一个参数同类型的对象。在这种定义下，我们可以这样调用该函数：

int i,j; long l; i = GetMin (j,l); 

 

或者，简单的用

i = GetMin (j,l);

虽然 j 和 l 是不同的类型。

 

类模板(Class templates)

我们也可以定义类模板（class templates），使得一个类可以有基于通用类型的成员，而不需要在类生成的时候定义具体的数据类型，例如：

template class mypair { T values [2]; public: mypair (T first, T second) { values[0]=first; values[1]=second; } };

 

上面我们定义的类可以用来存储两个任意类型的元素。例如，如果我们想要定义该类的一个对象，用来存储两个整型数据115 和 36 ，我们可以这样写：

mypair myobject (115, 36);

我们同时可以用这个类来生成另一个对象用来存储任何其他类型数据，例如：

pair myfloats (3.0, 2.18);

在上面的例子中，类的唯一一个成员函数已经被inline 定义。如果我们要在类之外定义它的一个成员函数，我们必须在每一函数前面加template <... >。

#include using namespace std; template class mypair{ private: T value1, value2; public: mypair(T first, T second); /*{ value1 = first; value2 = second; }*/ T getmax(); }; //也可以直接在构造函数中初始化 template mypair::mypair(T first, T second):value1(first),value2(second){}; template T mypair::getmax() { T retval; retval = value1>value2?value1:value2; return retval; }; /* int main() { mypair myobject(100, 75); cout<

以上代码的模板声明和实现也可以都放在.h文件中实现

 

 

注意成员函数getmax 是怎样开始定义的：

template
T mypair::getmax ()

所有写 T 的地方都是必需的，每次你定义模板类的成员函数的时候都需要遵循类似的格式（这里第二个T表示函数返回值的类型，这个根据需要可能会有变化）。

 

模板特化(Template specialization)

模板的特殊化是当模板中的pattern有确定的类型时，模板有一个具体的实现。例如假设我们的类模板pair 包含一个取模计算（module operation）的函数，而我们希望这个函数只有当对象中存储的数据为整型(int)的时候才能工作，其他时候，我们需要这个函数总是返回0。这可以通过下面的代码来实现：

// Template specialization #include using namespace std; template class mypair { T value1, value2; public: mypair(T first, T second){ value1=first; value2=second; } T module () {return 0;} }; //进行类的特例化 /*template <> class mypair { int value1, value2; public: mypair(int first, int second){ value1=first; value2=second; } int module (); };*/ template <> //注意这里 如果特例化类了 那么这个就不需要 如果没有特例化类 那么这个就需要 int mypair::module(){ return value1%value2; } int main () { mypair myints (100,75); mypair myfloats (100.0,75.0); cout << myints.module() << '/n'; cout << myfloats.module() << '/n'; return 0; }  

关于模板特化, 可参考c++ primer 4th的第16.6章

 

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

template <> class class_name

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

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

 

模板的参数值(Parameter values for templates)

除了模板参数前面跟关键字class 或 typename 表示一个通用类型外，函数模板和类模板还可以包含其它不是代表一个类型的参数，例如代表一个常数，这些通常是基本数据类型的。例如，下面的例子定义了一个用来存储数组的类模板：

// array template #include using namespace std; template class array { T memblock [N]; public: void setmember (int x, T value); T getmember (int x); }; template void array::setmember (int x, T value) { memblock[x]=value; } template T array::getmember (int x) { return memblock[x]; } int main () { array myints; array myfloats; myints.setmember (0,100); myfloats.setmember (3,3.1416); cout << myints.getmember(0) << '/n'; cout << myfloats.getmember(3) << '/n'; return 0; } 

 

我们也可以为模板参数设置默认值，就像为函数参数设置默认值一样。

下面是一些模板定义的例子：

template // 最常用的：一个class 参数。 template // 两个class 参数。 template // 一个class 和一个整数。 template // 有一个默认值。 template // 参数为一个函数。 

 

模板与多文件工程 (Templates and multiple-file projects)

从编译器的角度来看，模板不同于一般的函数或类。它们在需要时才被编译(compiled on demand)，也就是说一个模板的代码直到需要生成一个对象的时候(instantiation)才被编译。当需要instantiation的时候，编译器根据模板为特定的调用数据类型生成一个特殊的函数。

当工程变得越来越大的时候，程序代码通常会被分割为多个源程序文件。在这种情况下，通常接口(interface)和实现(implementation)是分开的。用一个函数库做例子，接口通常包括所有能被调用的函数的原型定义。它们通常被定义在以.h 为扩展名的头文件 (header file) 中；而实现 (函数的定义) 则在独立的C++代码文件中。

模板这种类似宏(macro-like) 的功能，对多文件工程有一定的限制：函数或类模板的实现 (定义) 必须与原型声明在同一个文件中。也就是说我们不能再 将接口(interface)存储在单独的头文件中，而必须将接口和实现放在使用模板的同一个文件中。

回到函数库的例子，如果我们想要建立一个函数模板的库，我们不能再使用头文件(.h) ，取而代之，我们应该生成一个模板文件(template file)，将函数模板的接口和实现 都放在这个文件中 (这种文件没有惯用扩展名，除了不要使用.h扩展名或不要不加任何扩展名)。在一个工程中多次包含同时具有声明和实现的模板文件并不会产生链接错误 (linkage errors)，因为它们只有在需要时才被编译，而兼容模板的编译器应该已经考虑到这种情况，不会生成重复的代码。

具体还有其他的模板操作 建议参考 c++primer 第16章