函数模板&类模板

Posted 2020-08-05 程诚

1.函数模板

关键字template总是放在模板的定义与声明的最前面。关键字后面是用逗号分隔的模板参数表，它用尖括号（<>）括起来。该列表是模板参数表，不能为空。模板参数分为：(1) 模板类型参数，代表一种类型；(2) 模板非类型参数，代表一个常量表达式。

eg:        template <class Type>
        Type min(Type a,Type b)
        {
              return a<b ? a : b;
         }

模板类型参数由关键字class或typename后加一个标识符构成。在函数的模板参数表中，这两个关键字的意义相同。它们表示后面的参数名代表一个潜在的内置或用户定义的类型。

模板非类型参数由一个普通的参数声明构成。模板非类型参数表示该参数名代表了一个潜在的值，而该值代表了模板定义中的一个常量。如：

        template <class Type,int size>
        Type min(Type (&arr)[size]);

规则：

        1. 如果在全局域中声明了与模板参数同名的对象、函数或类型，则该全局名将被隐藏。

        2. 在函数模板定义中声明的对象或类型不能与模板参数同名。

        3. 模板类型参数名可以被用来指定函数模板的返回位。

        4. 模板参数名在同一模板参数表中只能被使用一次，但可在多个函数模板声明或定义之间被重复使用。