泛型编程

xiaoxiao2021-02-27  169

不考虑具体数据类型的编程方式

void sw(T& a,T& b) { T c = a; a = b; b = c; }

template

sw(a, b); sw(a, b);

函数模板可以像普通函数一样被重载

编译器优先考虑普通函数如果函数模板可以产生一个更好的匹配,那么选择模板

可以通过空模板实参列表限定编译器只匹配模板

int r1 = MAX(1,2); double r2 = MAX<>(0.5,0.8);

类模板

这些类主要用于存储和组织数据元素

类中数据组织的方式和数据元素的具体类型无关

template <typename T> class Operator { public: T op(T a, T b); };

使用具体类型定义对象

Operator<int> op1;

工程应用:

类模板必须在头文件定义类模板不能分开实现在不同的文件中

类模板外部定义的成员函数需要加上模板<>声明

template <typename T> T Operator<T>::add(T a,T b) { return a+b;

}

类模板可以被特化

template<typename T1,typename T2> class Test { };

部分特化:

template <typename T> class Test <T, T> {};

完全特化:

template< > class Test <int, int> { };

特化只是模板的分开实现,本质上是同一个类模板

函数模板只支持类型参数完全特化

模板参数可以是数值型参数

template<typename T,int N> void func() { T a[N]; } func<double,10>();

模板参数是编译阶段被处理的单元,因此在编译阶段必须准确无误的唯一确定

因此,变量、浮点数和类对象不能作为模板参数

转载请注明原文地址: https://www.6miu.com/read-13166.html

最新回复(0)