C++数据结构–泛型编程

大家好，欢迎来到IT知识分享网。

1、泛型编程的概念

泛型的定义主要有以下两种：

1.在程序编码中一些包含类型参数的类型，也就是说泛型的参数只可以代表类，不能代表个别对象。（这是当今较常见的定义）

2.在程序编码中一些包含参数的类。其参数可以代表类或对象等等。（人们大多把这称作模板）不论使用哪个定义，泛型的参数在真正使用泛型时都必须作出指明。

一些强类型编程语言支持泛型，其主要目的是加强类型安全及减少类转换的次数，但一些支持泛型的编程语言只能达到部分目的。

泛型编程是一种不考虑具体数据类型的编程方式，可以由下面的Swap函数来进行了解

 void Swap(T& a,T& b) { T t=a; a=b; b=t; } 

在这个例子中，Swap泛型的写法中的T不是一个具体的数据类型，而是泛指任意的数据类型

2、C++中的函数模板

一种特殊的函数可用不同的类型进行调用，看起来和普通的函数很相似，区别是类型可被参数化

 template<typename T> void Swap(T& a,T& b) { T t=a; a=b; b=t; }

函数模板的语法规则：

template关键字用于声明开始进行泛型编程

typename关键字用于声明泛指类型

函数模板使用有自动类型推导使用和具体类型调用两种

int a=0; int b=1; Swap(a,b);//自动推导 float c=2; float d=3; Swap<float>(c,d);//显示调用

3、C++中的类模板

C++中的类模板以相同的方式处理不同的类型，在类声明前使用template进行标识

<typename T>用于说明类中使用的泛指类型T

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

类模板的应用

1.只能显示指定具体类型，无法自动推导

2.使用具体类型<type>定义对象

Book<int>book1; Book<string>book2; Book<char>book3;