C++之函数重载和函数模板

72 阅读 0 评论 48 点赞

我是靠谱客的博主着急小兔子，最近开发中收集的这篇文章主要介绍C++之函数重载和函数模板，觉得挺不错的，现在分享给大家，希望可以做个参考。

概述

本文转载自：http://www.cnblogs.com/90zeng/ 作者：博客园-90Zeng

转载自他人微博，供自己观摩学习。

因为函数重载比较容易理解，并且非常有助于我们理解函数模板的意义，所以这里我们先来用一个经典的例子展示为什么要使用函数重载，这比读文字定义有效的多。

现在我们编写一个交换两个int变量值得函数，可以这样写:

void swap（int & a, int & b）
2 {
3    int tmp;
4    
5    tmp = a;
6    a = b;
7    b = tmp;  
8       
9 }

假如我们现在想在与上面函数相同的文件中（可以理解为同一个main函数中）交换两个float变量呢，是不是需要重新整一个函数名，重新定义一个函数呢？当然是不需要！

可以直接这样写：

#include <iostream>

void swap(int & a, int & b);
void swap(float & a, float & b);

int main()
{
   using namespace std;

   int wallet1 = 300;
   int wallet2 = 350;
   float wallet3 = 125.33;
   float wallet4 = 235.82;

   cout << "Before swapping wallet1 and wallet2:" << endl;
   cout << "wallet1 = $" << wallet1 << endl;
   cout << "wallet2 = $" << wallet2 << endl;
   swap(wallet1, wallet2);
   cout << "After swapping wallet1 and wallet2:" << endl;
   cout << "wallet1 = $" << wallet1 << endl;
   cout << "wallet2 = $" << wallet2 << endl;

   cout << "Before swapping wallet3 and wallet3:" << endl;
   cout << "wallet3 = $" << wallet3 << endl;
   cout << "wallet4 = $" << wallet4 << endl;
   swap(wallet3, wallet4);
   cout << "After swapping wallet3 and wallet4:" << endl;
   cout << "wallet3 = $" << wallet3 << endl;
   cout << "wallet4 = $" << wallet4 << endl;

   return 0;
}

 void swap(int & a, int & b)
{
    int tmp;
    
    tmp = a;
    a = b;
    b = tmp;  
       
 }

 void swap(float & a, float & b)
{
    float tmp;
    
    tmp = a;
    a = b;
    b = tmp;  
       
 }

执行结果如下：

由此可以总结出函数重载的相关知识：函数重载就是允许存在多个同名的函数，但是函数的参数列表必须不同，即参数的类型或者数目不一样。如示例中的swap()函数有两个，但是输入的参数类型不一样，编译器就是根据参数列表（也称为函数特征）的不同来确定到底选择哪一个函数去执行！这样我们就可以为相同的操作，但是参数类型不同的函数只用同一个函数名，如示例中都是交换操作，只是参数类型不同而已。虽然函数重载很吸引人，但是很明显看出代码量比较大，所以不要滥用，仅当函数基本上执行相同的任务，但使用不同形式的数据时，才应采用函数重载……

试想一下，我们要交换char, int, short, double, float ...等等这许多变量，如果按照上述方式，正常人都疯了，于是函数模板款款而来……

二、函数模板

首先不说函数模板的定义，待洒家展示一下函数模板的神奇之处先，还是以事实说话，用函数模板实现上述功能：交换两个变量！

#include <iostream>
 2 
 3 template <typename T>
 4 void Swap(T &a, T &b);
 5 
 6 int main()
 7 {
 8    using namespace std;
 9 
10    int wallet1 = 300;
11    int wallet2 = 350;
12    cout << "Before swapping wallet1 and wallet2:" << endl;
13    cout << "wallet1 = $" << wallet1 << endl;
14    cout << "wallet2 = $" << wallet2 << endl;
15    Swap(wallet1, wallet2);
16    cout << "After swapping wallet1 and wallet2:" << endl;
17    cout << "wallet1 = $" << wallet1 << endl;
18    cout << "wallet2 = $" << wallet2 << endl;
19 
20    double wallet3 = 125.33;
21    double wallet4 = 235.82;
22    cout << "Before swapping wallet3 and wallet3:" << endl;
23    cout << "wallet3 = $" << wallet3 << endl;
24    cout << "wallet4 = $" << wallet4 << endl;
25    Swap(wallet3, wallet4);
26    cout << "After swapping wallet3 and wallet4:" << endl;
27    cout << "wallet3 = $" << wallet3 << endl;
28    cout << "wallet4 = $" << wallet4 << endl;
29 
30    char x = 'a';
31    char y = 'b';
32    cout << "Before swapping x and y:" << endl;
33    cout << "x = " << x << endl;
34    cout << "y = " << y << endl;
35    Swap(x, y);
36    cout << "After swapping wallet3 and wallet4:" << endl;
37    cout << "x = " << x << endl;
38    cout << "y = " << y << endl;
39    return 0;
40 }
41 
42 template <typename T>
43 void Swap(T &a, T &b)
44 {
45     T tmp;
46     tmp = a;
47     a = b;
48     b = tmp;
49 }

结果如下：

这里我们实现了int, double, char类型的交换（但是其他任何类型的两个变量的交换均可实现，有兴趣的同学可以自己试一试，很简单，声明两个变量，调用一下函数就是了），但是可以看到，模板函数的定义就只是这么一小段：

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

好了，来好好解释一下，缓解同志们迫不及待的心情，嘿嘿……

所谓函数模板，就是让我们编写的函数独立于参数类型，只要函数执行的操作不变，就不用改变代码。函数模板以任意类型的方式来定义函数，以上面的Swap()模板函数为例：第一行指出要建立一个模板，类型为T，关键字template声明这是一个模板，关键字typename声明类型（有些老版本编译器不支持typename,用关键字class代替也一样），这里T是一个标志符，习惯上都用T（当然可以是S,Q，ABC等其他合法标识符），这个T代表着一种类型，但是具体代表什么类型（int?double?char?）是根据编译时输入的参数确定的，如上述main()函数的10,11，15行，编译器发现输入参数是int类型，那么T具体化为int, 同样第30,31,35，T就被具体化为char. 后面的代码就是交换两个变量的值。

要注意的是，函数模板本身并不是函数，它只是告诉编译器如何定义函数（这就是称之为模板的原因，提供一个框架而已），具体的函数是在编译过程中生成的。需要交换int的函数时，编译器按照模板的模式创建这样的函数，用int代替T，即函数是在编译过程中生成的，函数模板并不创建函数，只是创建一个模板去告诉编译器如何生成函数而已，最终的代码（编译之后）不包含任何模板，而只包含了为具体程序生成的实际函数。使用模板的好处是，它使得生成多个函数定义更简单、可靠。

专业一点的表述是，函数模板是通用的函数描述（ps:因为适合任何类型的参数），它们使用泛型来定义函数（ps:T可以带便任何类型），其中泛型可以用具体的类型（如int或者double）替换。通过将类型作为参数传递给模板，可是编译器生成该类型的函数。由于模板允许以泛型（刚刚ps中解释了泛型的感性理解哈）的方式编写程序，因此有时也被称为通用编程。由于类型是用参数表示的，因此模板特性也被称为参数化类型(parameterized types).