函数模板、模板重载、函数模板显示具体化(explicit specialization)
2010-08-12 06:45
302 查看
函数模板
实例:
template <class Any> //结尾不带分号,写在函数原型之前。
void swap(Any &a,Any &b);
void main(){ .....;}
template <class Any> //定义模板和函数。结尾不带分号。
void swap(Any &a,Any &b){ ......;}
第一行指出要建立一个模板,并将类型命名为Any。关键字template和class是必需的,或者用关键字typename 代替class。
另外,必须使用尖括号。类型名可以任意选择(这里为Any),只要遵守C++命名规则即可。
模板不创建任何函数,只是告诉编译器如何定义函数。编译器按模板模式创建这样的函数,并用实参类型替代Any。
关键字typename加入时间比较新,有大量的代码库是使用关键字class开发的。如果不考虑向后兼容的问题,并愿意输入较长的单词,则声明类型参数时,应使用关键字typename而不使用class
注意:函数模板并不能缩短可执行程序。编译器将根据实际调用时的实参类型,来创建不同的函数定义。因此可以看做是函数重载的便捷实现方法。最终的代码也不包含任何模板。
函数模板的重载
可以像重载常规函数定义那样重载模板定义,被重载的模板的函数特征标必须不同。
实例:
template <class Any> //结尾不带分号,写在函数原型之前。
void swap(Any &a,Any &b);
template <class Any>
void swap(Any *a,Any *b,int n);
//最后一个参数使用具体类型,而不是通用类型。并非所有的模板参数都必须是模板参数类型。
void main(){ .....;}
template <class Any> //定义模板和函数。结尾不带分号。
void swap(Any &a,Any &b){ .....; }
template <class Any>
void swap(Any *a,Any *b,int n){ .......;}
具体化函数定义——显示具体化(explicit specialization)
当遇到特定类型参数,需要改变函数模板定义时,可以使用该方法。例如当参数类型为job结构时,采用不同的处理方法。
以下实现需要 <第三代具体化(ISO/ANSI C++标准)>支持:
1、对于给定的函数名,可以有非模板函数、模板函数和显示具体化模板函数以及它们的重载版本。
2、显示具体化的原型和定义应以template<>打头,并通过名称来指出类型。
3、具体化将覆盖常规模板,而非模板函数将覆盖具体化和常规模板。(表明常规函数处于最高优先级,之后是显示具体化,最后是常规模板。)
实例:
template<class Any>
void swap(Any &,Any &b); //常规模板
struct job{ ......}; //定义一个结构
template <> void swap<job>(job &,job &); //显示具体化.
//swap<job>中的<job>是可选的,因为函数的参数类型表明,这是job的一个具体化。
//因此该原型可写为:template <> void swap(job &,job &);
void main(){ ......;}
template<class Any>
void swap(Any &,Any &b){......;} //定义常规模板
template <> void swap<job>(job &,job &){......;} //定义一个参数类型为job的具体化实现方法
实例:
template <class Any> //结尾不带分号,写在函数原型之前。
void swap(Any &a,Any &b);
void main(){ .....;}
template <class Any> //定义模板和函数。结尾不带分号。
void swap(Any &a,Any &b){ ......;}
第一行指出要建立一个模板,并将类型命名为Any。关键字template和class是必需的,或者用关键字typename 代替class。
另外,必须使用尖括号。类型名可以任意选择(这里为Any),只要遵守C++命名规则即可。
模板不创建任何函数,只是告诉编译器如何定义函数。编译器按模板模式创建这样的函数,并用实参类型替代Any。
关键字typename加入时间比较新,有大量的代码库是使用关键字class开发的。如果不考虑向后兼容的问题,并愿意输入较长的单词,则声明类型参数时,应使用关键字typename而不使用class
注意:函数模板并不能缩短可执行程序。编译器将根据实际调用时的实参类型,来创建不同的函数定义。因此可以看做是函数重载的便捷实现方法。最终的代码也不包含任何模板。
函数模板的重载
可以像重载常规函数定义那样重载模板定义,被重载的模板的函数特征标必须不同。
实例:
template <class Any> //结尾不带分号,写在函数原型之前。
void swap(Any &a,Any &b);
template <class Any>
void swap(Any *a,Any *b,int n);
//最后一个参数使用具体类型,而不是通用类型。并非所有的模板参数都必须是模板参数类型。
void main(){ .....;}
template <class Any> //定义模板和函数。结尾不带分号。
void swap(Any &a,Any &b){ .....; }
template <class Any>
void swap(Any *a,Any *b,int n){ .......;}
具体化函数定义——显示具体化(explicit specialization)
当遇到特定类型参数,需要改变函数模板定义时,可以使用该方法。例如当参数类型为job结构时,采用不同的处理方法。
以下实现需要 <第三代具体化(ISO/ANSI C++标准)>支持:
1、对于给定的函数名,可以有非模板函数、模板函数和显示具体化模板函数以及它们的重载版本。
2、显示具体化的原型和定义应以template<>打头,并通过名称来指出类型。
3、具体化将覆盖常规模板,而非模板函数将覆盖具体化和常规模板。(表明常规函数处于最高优先级,之后是显示具体化,最后是常规模板。)
实例:
template<class Any>
void swap(Any &,Any &b); //常规模板
struct job{ ......}; //定义一个结构
template <> void swap<job>(job &,job &); //显示具体化.
//swap<job>中的<job>是可选的,因为函数的参数类型表明,这是job的一个具体化。
//因此该原型可写为:template <> void swap(job &,job &);
void main(){ ......;}
template<class Any>
void swap(Any &,Any &b){......;} //定义常规模板
template <> void swap<job>(job &,job &){......;} //定义一个参数类型为job的具体化实现方法
相关文章推荐
- 函数的模板2——函数模板重载
- 泛型编程::函数模板及其重载、实例化和具体化
- 函数模板,函数模板重载,可变參数模板,函数模板覆盖,通过引用交换数据
- 函数模板,函数模板重载,可变参数模板,函数模板覆盖,通过引用交换数据
- 重载 函数模板
- 从函数重载到函数模板
- 从零开始学C++之模板(一):函数模板、函数模板特化、重载函数模板、非模板函数重载
- 内联函数,引用变量,按引用传递参数,默认参数,函数重载,函数模板,函数模板具体化,decltype
- C++ Template中关于模板类的成员模板函数显示实例化的问题
- 编写一函数add()函数重载,函数模板(C++)
- 王老师 C++ 函数重载和模板 第二讲
- 关于函数模板重载的调用顺序
- 解决C++函数模板重载时出现的歧义,函数模板隐藏技术
- 模板--函数模板与函数模板,类模板与模板类,重载模板函数
- [C++] 用Xcode来写C++程序[5] 函数的重载与模板
- c++模板显示实例化,显示具体化,隐式实例化
- “模板”学习笔记(3)-----为啥函数模板不能重载
- 函数重载与函数模板
- C++基础学习系列--2、递归思想,内置函数,函数重载,函数模板,带默认值函数
- C++11:利用模板简化重载右值引用参数的函数