Essential C++学习记录&笔记整理13(提供重载函数，定义并使用模板（template）函数）

女爷i 2023-07-25 11:23 21阅读 0赞

为什么俩搁一块呢，就是方便叙述，一层扣一层的知识。

## 提供重载函数 ##

*  为什么要用重载函数？  
    ①**将一组实现代码不同但工作内容相似的函数加以重载，可以让函数的用户更容易更灵活使用这些函数，如果没有重载机制，我们就得为每个函数提供不同的名称。**  
    解释一下，就是我想写一个函数，我想让这个函数以不同的参数表（或者说我想提供不同的实参表来调用一个函数），我有这个需求，所以我要用重载函数，来减轻我的工作量，让我不再以函数及其参数表参数的命名而苦恼，而且我可以更灵活地调用这个函数，代码阅读性也因此提高。
 *  函数重载机制  
    参数列表不相同，可能是参数类型不相同（或者参数个数不相同，都不相同，也可以）的两个或多个函数，可以拥有相同的函数名称，举个例子。

void display_message(char ch);
    void display_message(const string& );
    void display_message(const string& ,int );
    void display_massage(const string& ,int ,int );

你看，是不是我可以输入四种实参表来调用这个函数，很灵活吧。

*  编译器会把实参和每个重载函数的形参比对，看调用哪个重载函数合适。  
    所以**你不能让两个重载函数的参数表相同！**

ostream& display_message(char ch);
    bool display_message(char ch);

*  千万别向上面这么写，因为调用的时候你知道你不会写函数的返回类型的。编译器可区分不出来调用哪个。注意！！！
 *  注意，**声明多少重载函数，就要定义多少重载函数，不是声明一堆然后光写一个函数定义体你就万事大吉了。**

我找到了一篇更好的博客，拓展阅读一下，更有助于理解。  
[C++ 函数重载 详解——zhanghow的博客][C_ _ _zhanghow]

const string greeting("Hello,Welcome to Guess the Numeric Sequence.");
    display_message(greeting);

这就是定义了一个string型常量，注意语法。以后某些地方可以用到这种常量。

## 定义并使用模板（template）函数 ##

*  这个模板函数和重载函数搭配起来很奇妙，他们本质上都是为了省下代码编写工作。
 *  为什么要定义并使用模板函数呢？  
    我想只定义一个函数，这个函数能支持不同类型参数的传入（**和重载函数不同的是，模板函数，顾名思义，是个模板，参数列表中参数个数相同，但是我可以让一个参数的数据类型由用户输入的参数的数据类型来决定**）。  
    这样我这个函数就可以处理传入的不同数据类型的实参来实现一些东西。我就可以定义出一份不需要再有任何更改的模板。
 *  模板函数的定义可以只写一个，重载函数不可以！这样也让模板函数有了局限性，它不可以微变函数体（重载的模板函数可以，但这里我们拿一般模板函数举例，有助于理解），这样你就不能实现相似的操作。
 *  怎么用，fuction template（函数模板）以**关键字template**开头，其后紧接着（别打空格）<一个或多个标识符>，标识符用以表示我们想让函数的用户来决定参数的类型是什么。标识符起着占位符的作用，用来放置函数参数列表以及函数体中的某些实际数据类型。  
    举个例子，代码如下：

template<typename elemType>
    void display_message(const string &msg,const vector<elemType> &vec)
    {
        
    	cout<<msg;
    	for(int ix=0;ix<vec.size();ix++)
    	{
        
    		elemType t=vec[ix];
    		cout<<t<<' ';
    	}
    }

程序说明：关键字typename表示，elemType在函数中是一个暂时放置类型的占位符，elemType是个任意的名称，你写成eType，sb，T等等都可以。  
当然这是让用户决定要显示的vector的元素类型，所以elemType放在vector<>里

*  function template的参数列表通常都由两种类型构成，**一类是明确的类型（已定义好的类型），另一类是暂缓决定的类型**
 *  如何使用function template?给个代码示例

//连结上面的代码
    vector<int>ivec;
    string mag;
    //...
    display_message(msg,ivec);

此时编译器会把elemType绑定为int型，然后产生一份display\_message()函数的实例，其第二参数变成`const vector<int> &vec`，函数体内的局部对象（vec）也变成了`const vector<int>`型

//换个vector<>内的类型
    vector<string>ivec;
    //...
    display_message(msg,ivec);

同理，，elemType被绑定为string类型，产生一份display\_message()函数的实例，其第二参数变成`const vector<string> &vec`，函数体内的局部对象（vec）也变成了`const vector<string>`型。

从以上的例子我们不难看出fuction template的用法，举一反三，以此类推，就这样套即可，多运用即可熟练。

*  我们总结一下，就是模板函数呢，传入的实参被用户定义成什么类型，模板函数根据这个类型提供一个对应的函数及其形参表。（**有一说一，按需分配）**
 *  **如果函数具备多种实现方式，我们可以将它重载成为承载函数。**
 *  **如果我们希望让程序代码得到主体不变，仅仅改变其中用到的数据类型，可以通过fuction template达到目的**
 *  模板函数也可以是重载函数，举个例子

//function template进行重载
    template<typename elemType>
    void display_message(const string &msg,const vector<elemType> &vec);
    template<typename elemType>
    void display_message(const string &msg,const list<elemType>&lt);

注：list是C++标准库提供的另一种标准容器

[C_ _ _zhanghow]: https://blog.csdn.net/zhanghow/article/details/53588458