C++模板-32-普通函数和模板函数调用规则

喜欢ヅ旅行 2023-02-16 12:11 36阅读 0赞

上一篇学习了普通函数和模板函数的区别，这一篇继续学习两者的调用规则。也就是在同一个文件中，如果同时存在普通函数名称和模板函数名称一致，那么两者之间的调用规则是如何。

**1.如果普通函数和模板函数都可以调用，优先调用普通函数。**  
  
下面代码，普通函数和模板函数名称一样，传入参数也一致，运行代码是调用模板函数还是普通函数

#include <iostream>
    using namespace std;
    
    //模板函数
    template <class T>
    void myAdd(T a, T b)
    {
        cout << "调用模板函数" << endl;
    }
    
    //普通函数
    void myAdd(int a, int b)
    {
        cout << "调用普通函数" << endl;
    }
    
    void test01()
    {
        myAdd(10, 9);
    }
    
    int main()
    {
        test01();
        system("pause");
        return 0;
    }

编译运行

![20200609222440326.png][]

说明，如果普通函数和模板函数都可以调用，默认优先调用普通函数。

**2.可以通过空模板参数列表，强制调用模板函数**

如果上面的情况，我们不想默认使用普通函数，那么就需要使用空模板函数，强制显示调用模板函数

#include <iostream>
    using namespace std;
    
    //模板函数
    template <class T>
    void myAdd(T a, T b)
    {
        cout << "调用模板函数" << endl;
    }
    
    //普通函数
    void myAdd(int a, int b)
    {
        cout << "调用普通函数" << endl;
    }
    
    void test01()
    {
        myAdd<>(10, 9);
    }
    
    int main()
    {
        test01();
        system("pause");
        return 0;
    }

上面第19行使用了<>,也就是空模板参数列表。 编译运行

![20200609222721129.png][]

**3.函数模板也可以发生函数重载**

我们前面学习过普通函数的重载，函数模板也可以发生重载。

#include <iostream>
    using namespace std;
    
    //模板函数
    template <class T>
    void myAdd(T a, T b)
    {
        cout << "调用模板函数1" << endl;
    }
    
    template <class T>
    void myAdd(T a, T b, T c)
    {
        cout << "调用模板函数2" << endl;
    }
    
    //普通函数
    void myAdd(int a, int b)
    {
        cout << "调用普通函数" << endl;
    }
    
    void test01()
    {
        myAdd<>(10, 9);
        myAdd<>(10, 9, 1);
    }
    
    int main()
    {
        test01();
        system("pause");
        return 0;
    }

上面模板函数发生重载，参数个数不一样。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTE1NDE5NDY_size_16_color_FFFFFF_t_70][]

**4.如果函数模板可以产生更好匹配，优先调用函数模板**

有时候编译器认为调用普通函数和模板函数都可以，只不过普通函数可以需要隐式转换，而模板函数如果推导出来类型，也是可以调用。这种情况下，编译器觉得模板更好匹配，隐式转换太麻烦，所以会优先调用函数模板

#include <iostream>
    using namespace std;
    
    //模板函数
    template <class T>
    void myAdd(T a, T b)
    {
        cout << "调用模板函数" << endl;
    }
    
    //普通函数
    void myAdd(int a, int b)
    {
        cout << "调用普通函数" << endl;
    }
    
    void test01()
    {
        char a = 'a';
        char b = 'b';
        myAdd(a, b);
    }
    
    int main()
    {
        test01();
        system("pause");
        return 0;
    }

前面学习过 char在一定范围内是可以隐式转换为int类型，所以在test01()中，编译器认为两个函数都可以调用，但是模板匹配更好，所以这里有点调用了模板函数。

[20200609222440326.png]: https://img-blog.csdnimg.cn/20200609222440326.png
[20200609222721129.png]: https://img-blog.csdnimg.cn/20200609222721129.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTE1NDE5NDY_size_16_color_FFFFFF_t_70]: https://img-blog.csdnimg.cn/20200609223209852.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMTE1NDE5NDY=,size_16,color_FFFFFF,t_70