首页 > 代码库 > C++模板机制总结
C++模板机制总结
模板是C++中非常重要的组成部分,之前自己对这块领域一直不太熟悉。最近趁着有时间学习了一下,特此总结。
首先是函数模板,它的定义方式如例子所示:
template <typename T>T sum(T a,T b) { return a+b; }
类也有自己的模板,称为类模板,如下所示:
template <typename T>class Proxy { public: typedef T value_type; Proxy(); ~Proxy(); value_type val; }; template<typename T> Proxy<T>::Proxy() { val=T(10); } template<typename T> Proxy<T>::~Proxy() { }
要特别注意的是,C++中类模板的声明和定义应当放到同一个.h文件下,不能将声明和定义分散在不同的文件中。
类模板也可以有自己的友元函数和静态变量:
template <typename>class Proxy; template <typename T>bool operator==(const Proxy<T>&,const Proxy<T>&); template <typename T>class Proxy { public: typedef T value_type; Proxy(); ~Proxy(); void printval(); friend bool operator==<T>(const Proxy<T>&,const Proxy<T>&); value_type val; static T abc; }; template<typename T> void Proxy<T>::printval() { std::cout<<val<<std::endl; } template <typename T> T Proxy<T>::abc=0;
无论是模板类还是普通类,都可以有自己的模板函数,编译器会根据具体代码的内容实例化特定的模板成员函数。
template <typename T>class Proxy { public: template<typename U>void printNum(U num); }; template<typename T>template<typename U>void Proxy<T>::printNum(U num) { std::cout<<num<<std::endl; }
当我们引用模板函数的时候,编译器利用调用中的函数实参来确定其模板参数,这叫做模板实参推断。但只有有限的几种类型转换会自动地应用于这些实参(const转换、数组或函数指针转换)。拿一段代码来举个例子:
template <typename T>T sum(T a,T b) { return a+b; } sum(10,10.5);//this code is error!
在引用sum的时候,实参一个是int类型,一个是double类型,此时不能像普通函数一样实现类型转换。以上代码在编译器是不通过的。
而如果先将函数显示实例化,则就可以实现参数类型转换了:
sum<int>(10,10.5);
当我们不能(或不希望)将模板定义用于某些特定类型时,模板特例化就派上用场了。模板特例化就是一个用户提供的模板实例,它将一个或多个模板参数绑定到特定类型或值上。比如之前定义的sum函数,可以针对Sale_Data类特例化:
template<> Sale_Data sum(Sale_Data a,Sale_Data b) { Sale_Data c; c.index=a.index+b.index; return c; }
这样一来,当我们为Sale_Data调用sum时,编译器就会采用上面这个函数;而不再使用通用的模板函数。
C++模板机制总结
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。