C++模板编程（8）---更深入的基础技术：参数化声明（Parameterized Declarations）

C++ 目前支持两大类template基本类型： class templates和function templates。这个分类还包括member templates。Templates的声明与一般class和functions的声明类似，差别在于templates声明语句有一个参数化子句（parameterization clause）：

 template<...parameters here...>

也可能像下面：

export template<...parameters here...>

模板参数的声明先放一放，以下实例展示两种templates，一种是在class之内：也就是member templates，一种是在class之外且在namespace scope之内（全局 scope也可以看做是一种名空间scope）：

template <typename T>

class List {                                   //namespace scope class template

public:

        template <typename T2>    //member function template

        List (List<T2> const &);

...

};

template <typename T>

template <typename T2>

List<T>::List (List<T2> const&b)   //class外的 member function template

{

        ...

}

template <typename T> 

int length (List<T> const&)l  //namespace scope function template

class Collection {

        template <typename T>   //class 内的member class template

        class Node{

                ...

        };

        template <typename T>   //class内的member class template, 但是无定义

        class Handle;

        template <typename T>   // inner class, member function template,inline

        T* alloc() {

        ...

        }

        ...

};

template <typename T>             //class外的member class template

class Collection::Handle {

...

}

类似地，我们可以有union templates（可看作是class template的一种）

template  <typename T>

union AllocChunk

{

        T object;

        unsigned char bytes[sizeof(T)];

};

函数模板function template可以有预设的调用自变量（default call argument）：

template <typename T>

void report_top (Stack<T> const&, int number=10);

template <typename T>

void fill (Array<T>*, T const& = T() );

除了两种template基本类型，另有三种声明也可以被参数化，它们都有类似写法。三者均相当于class template的成员定义：

1） class templates的成员函数定义

2）class templates的nested class members定义

3）class templates的static 成员变量定义

1. 虚拟成员函数Virtual Member Function

Member function template不能声明成virtual。原因是通常虚拟函数调用机制使用一个大小固定不变的表格，其中每一个条目entry记录一个虚拟函数入口entry point。然而直到整个程序编译完成，编译器才能知道有多少个member function template被实例化。

然而一般的class template members可以是虚拟函数，因为当class被实例化时，那些members的数量已经固定：

template <typename T>

class Dynamic{

public:

        virtual ~Dynamic();  //OK;每个Dynamic<T>都有一个析构函数

        template <typename T2>

        virtual void copy(T2 const&); //Error: 编译器此时并不知道在一个Dynamic<T>中要产生多少

                                                        //个 copy（）实例。

};

2. 模板的链接（Linkage）

每个template在其作用域scope内必须有一个独一无二的名称，除非是重载的overloaded function template。特别注意的是，class template 不能和其他种类的名称共享同一个名称，这点与一般non-template的class不同。比如：

int C;

class C;  //ok

int X;

template <typename T>

class X;  //Error;

struct S;

template <typename T>

class S;   //Error;

Template名称需要链接，但不能够使用C链接方式，默认是C++链接方式：

extern “C++” template <typename T>

void normal();   //上面是正常链接方式，extern “C++”也可省略不写。

extern "C" template <typename T>

void invalid();   //上面是无效的，不能使用C链接方式。

Template通常使用外部链接（external linkage）。唯一例外的是static namespace scope function templates：

template  <typename T>

static void internal(); //与另一文件中的同名template无关。

3. 主模板、原始模板Primary Templates

正规标准的template声明语句声明的是primary templates。这一类语句在template名称后面并不添加由角括号括起来的template argument list：

template <typename T> class Box;     //OK： primary template

template <typename T> class Box<T>; //Error

template <typename T> void translator(T*);  //OK

template <typename T> void translate<T>(T*); //Error