C++中的泛型编程

1 C++中的泛型编程

1.1 引入

发散性问题：C++中有几种交换变量的方法？

交换变量的方法：定义宏代码块和定义函数。

示例代码如下：

#include <iostream>
#include <string>

using namespace std;

#define SWAP(t, a, b)    \
do                       \
{                        \
    t c = a;             \
    a = b;               \
    b = c;               \
}while(0)


void Swap(int& a, int& b)
{
    int c = a;
    a = b;
    b = c;
}

void Swap(double& a, double& b)
{
    double c = a;
    a = b;
    b = c;
}

void Swap(string& a, string& b)
{
    string c = a;
    a = b;
    b = c;
}

int main()
{
    int a = 0;
    int b = 1;
    
    Swap(a, b);
    
    cout << "a = " << a << endl;
    cout << "b = " << b << endl;
    
    double m = 2;
    double n = 3;
    
    Swap(m, n);
    
    cout << "m = " << m << endl;
    cout << "n = " << n << endl;
    
    string d = "Delphi";
    string t = "Tang";
    
    Swap(d, t);
    
    cout << "d = " << d << endl;
    cout << "t = " << t << endl;
    
    return 0;
}

不管是定义宏代码块还是定义函数，都存在优缺点，如下。

定义宏代码块：

• 优点：代码复用，适合所有的类型。
• 缺点：编译器不知道宏的存在，缺少类型检查。

定义函数：

• 优点：真正的函数调用，编译器对类型进行检查。
• 缺点：根据类型重复定义函数，无法代码复用。

C++中有没有解决方案集合两种方法的优点？泛型编程可以。

1.2 泛型编程

泛型编程的概念：

• 不考虑具体数据类型的编码方式。

C++中的泛型编程包括两部分：

• 函数模板。
• 类模板。

---

参考资料：

1. C++深度解析教程