C/C++编程：参数化声明

Love The Way You Lie 2023-01-14 01:41 113阅读 0赞

C++现在支持两种基本类型的模板：**类模板和函数模板**（实际上还包括**成员模板**）。

# 虚成员函数 #

**成员函数模板不能被声明为虚函数**。因为虚函数调用机制的普遍实现都使用了一个固定大小的表，每个虚函数都对应表的一个入口。然而，成员函数模板的实例化个数，要等待整个程序都翻译完毕才能确定，这就和表的大小(是固定的)产生了冲突。如果要支持虚成员函数模板，将需要一种全新的C++编译器和链接器的机制。

相反，类模板的普通成员(不是模板的成员)可以是虚函数，因为当类被实例化之后，它的个数是固定的：

template<typename T>
    class Dynamic{
        
    	public:
    		virtual ~Dynamic(); //OK，每个Dynamic只对应一个析构函数
    
    		template<typename T2>
    		virtual void copy(T2 const &); // error：在确定Dynamic<T>的实例的时候，并不知道copy()的个数
    };

# 模板的链接 #

每个模板都必须有一个名字，而且在它所属的作用域下，该名字必须是唯一的；除非函数模板可以别重载。注意，类模板不能和另外一个实体共享一个名称，这一点和clas类型是不一样的。

int C;
    class C;  // ok，类名称和非类名称位于不同的名字空间
    
    int X;
    template<typename T>
    class X;  // error：和变量X冲突
    
    struct S;
    template<typename T>
    class S;  // error：和变量truct S冲突

模板名字是具有链接的，但它们不能具有C链接。但我们在大多数情况下所说的是标准的链接，同时也存在非标准的链接，它们可以具有一个依赖于实现的含义。如下：

extern "C++" template<typename T>
    void normal();   // 这是缺省情况，上面的链接规范可以不写
    
    extern "C" template<typename T>
    void isvalid();  // 错误：模板不能有C链接
    
    extern "Xroma" template<typename T>
    void xroma_link();  // 非标准的，但某些编译器将来可能支持Xroma语言的链接兼容性

**模板通常具有外部链接。唯一的例外就是前面有static修饰符的名字空间作用域下的函数模板：**

template <typename T>
    void external();  // 作为一个声明，引用位于其他文件的，具有相同名称的实体；即引用位于其他文件的external()函数模板，也叫做前置声明
    
    template <typename T>
    static void internal();  // 与其他文件中具有相同名称的模板没有关系(即不是外部链接)

又由于外部链接，**不能在函数内部声明模板**

# 基本模板 #

如果模板声明的是一个普通声明，我们就称它声明的是一个**基本模板**。这类模板声明是指：**没有在模板名称后面添加一对`<>`(和里面的实参)的声明**

template<typename T> class Box; //正确：基本模板
    template<typename T> class Box<T>;  // error
    template<typename T> void translate(T*) // 正确：基本模板
    template<typename T> void translate<T>(T*) // error