数据结构之泛型编程简介

@泛型编程简介

泛型编程的概念

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

    对与Swap函数可以考虑下面的泛型写法

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

Swap泛型写法中的T不是一个具体的数据类型，而是泛型任意的数据类型。

C++中的函数模板

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

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

C++中的函数模板的语法规则

1、template 关键字用于声明开始进行泛型编程；
2、typename关键字用于声明泛指类型；

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

其中T是告诉编译器T是一个泛指类型
其中template是告诉编译器开始泛型编程

C++中的函数模板的使用

1、自动类型推导调用
2、具体类型显示调用

int a = 0;
int b = 1;
Swap(a, b);                //自动推导  

float c = 2;
float d = 3;
Swap<float>(c, d);         //显示调用

C++中的类模板

1、以相同的方式处理不同的类型；
2、在类声明前使用template进行标识；
3、用于说明类中使用的泛指类型T

template <typename T>
class Operator
{
public:
    T op(T a, T b);  //函数/方法
}:
    

C++中的类模板的使用

1、只能显示指定具体类型，无法自动推导；
2、使用具体类型定义对象

Operator<int> op1;
Operator<double> op2;
int i = op1.op(1, 2);
double d = op2.op(0.01, 0.02);

例题：

#include 

using namespace std;

//使用泛型,函数模板
template<typename T>
void Swap(T& a, T& b)
{
    T t = a;
    a = b;
    b = t;
}

template<typename T>
class Op
{
public:
    T process(T v)
    {
        return v * v;
    }
};


int main()
{
    Op<int> opInt;
    Op<double> opDouble;

    cout << "5 * 5 = " << opInt.process(5)<< endl;

    cout << "0.06 * 0.06 = " << opDouble.process(0.06) << endl;

    return 0;
}

小结

1、模板是泛型编程理论在C++中的实现；
2、函数模板支持参数的自动推导和显示指定；
3、类模板在使用时只能显示指定类型；
4、类模板非常适用于编写数据结构相关的代码。