函数模板---清晰的例子，通俗易懂（超详细）

最新推荐文章于 2025-07-24 14:42:31 发布

原创最新推荐文章于 2025-07-24 14:42:31 发布 · 1w 阅读

102 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #函数式编程

函数模板专栏收录该内容

1 篇文章

订阅专栏

本文详细介绍了C++中的函数模板，包括模板的基本语法、使用方式（自动类型推导与显示指定类型）、注意事项及案例。通过函数模板实现通用的交换函数、排序算法，并探讨了模板与普通函数的调用规则。此外，还讨论了模板的局限性和解决方法，以及模板重载的概念。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

C++的一种编程思想称为泛型编程，主要利用的技术就是模板
C++提供两种模板机制：函数模板和类模板
1.函数模板语法
函数模板作用：
建立一个通用函数，其函数返回值类型和形参类型可以不具体制定，用一个虚拟的类型来代表

语法：

1.template<typename T
2.函数的声明或定义

解释：
template：声明创建模板
typename：表明其后面的符号是一种数据类型，可以用class代替
T：通用的数据类型，名称可以替换，通常为大写字母

示例

#include<iostream>
using namespace std;
//交换两个整型数
void swapint(int &a,int &b)
{
   int temp=a;
   a=b;
   b=temp;
}
//交换两个浮点型数
void swapdouble(double &a,double &b)
{
   double temp=a;
   a=b;
   b=temp;
}
void test()
{
   int a=10;
   int b=20;
   swapint(a,b);
   cout<<"a="<<a<<endl;
   cout<<"b="<<b<<endl;
   double c=1.1;
   double d=2.2;
   swapdouble(c,d);
   cout<<"c="<<c<<endl;
   cout<<"d="<<d<<endl;
}
int main()
{
   test();
}

但是我们会发现数据类型有很多，除了int double这些还有用户自己定义的struct类型，所以会有无数个。为了解决这个问题，用模板来解决。

代码如下：

//函数模板
template<typename T>//typename可换为class
void myswap(T &a,T &b)
{
   T temp=a;
   a=b;
   b=temp;
}

有两种方式使用模板
(1).自动类型推导
直接让编译器自己判断数据类型，再做运算

#include<iostream>
using namespace std;
template<typename T>//typename可换为class
void myswap(T &a,T &b)
{
   T temp=a;
   a=b;
   b=temp;
}
void test()
{
   int a=10;
   int b=20;
   myswap(a,b);
   cout<<"a="<<a<<endl;
   cout<<"b="<<b<<endl;
   double c=1.1;
   double d=2.2;
   myswap(c,d);
   cout<<"c="<<c<<endl;
   cout<<"d="<<d<<endl;
}
int main()
{
   test();
}

(2).显示指定类型
直接在编译时告诉编译器指定的类型

#include<iostream>
using namespace std;
template<typename T>//typename可换为class
void myswap(T &a,T &b)
{
   T temp=a;
   a=b;
   b=temp;
}
void test()
{
   int a=10;
   int b=20;
   myswap<int>(a,b);
   cout<<"a="<<a<<endl;
   cout<<"b="<<b<<endl;
   double c=1.1;
   double d=2.2;
   myswap<double>(c,d);
   cout<<"c="<<c<<endl;
   cout<<"d="<<d<<endl;
}
int main()
{
   test();
}

———————————————————————————————————————

2.函数模板注意事项
注意事项：
(1)自动类型推导，必须推导出一致的数据类型T，才可以使用
(2)模板必须要确定出T的数据类型，才可以使用
(1)如：
在前文的test函数中：

void test()
{
   int a=10;
   char c='c';
   myswap(a,c)//错误
}

(2)如：

template<class T>
void func()
{
   cout<<"hello"<<endl;
}
void test()
{
   func();
}
int main()
{
   test();
}

此程序是无法运行的，因为模板没有确定T的数据类型
如果一定要输出，则一定要在调用模板函数时显示数据类型
代码如下：

template<class T>
void func()
{
   cout<<"hello"<<endl;
}
void test()
{
   func<int>();//显示数据类型
}
int main()
{
   test();
}

———————————————————————————————————————

3.函数模板案例
案例描述：
1.利用函数模板封装一个排序的函数，可以对不同数据类型数组进行排序
2.排序规则从大到小，排序算法为选择排序
3.分别利用char数组和int数组进行测试
代码如下：

#include<iostream>
using namespace std;
template<class T>
void myswap(T &a,T &b)
{
   T temp=a;
   a=b;
   b=temp;
}
//排序算法
template<class T>
void mysort(T arr[],int len)
{
    int i,j;
   for(i=0;i<len-1;i++)
   {
      int max=i;
      for(j=i+1;j<len;j++)
      {
         if(arr[max]<arr[j])
         {
            max=j;//更新最大值下标
         }
      }
      if(max!=j)
      {
         //交换max和i下标元素
         myswap(arr[max],arr[i]);
      }
   }
}
//提供一个打印数组的模板
template<class T>
void print(T arr[],int len)
{
   for(int i=0;i<len;i++)
      cout<<arr[i]<<" ";
   cout<<endl;
}
void test1()
{
   char charArr[]="badcfe";
   int num=sizeof(charArr)/sizeof(char);
   mysort(charArr,num);
   print(charArr,num);
}
void test2()
{
   int intArr[]={7,5,1,3,9,2,4,6,8};
   int num=sizeof(intArr)/sizeof(int);
   mysort(intArr,num);
   print(intArr,num);
}
int main()
{
   test1();
   test2();
}

———————————————————————————————————————

4.普通模板和函数模板的区别
普通函数调用时可以发生自动类型转换
函数模板调用时，如果利用自动类型推导，不会发生隐式类型转换
如果利用显示指定类型的方式，可以发生隐式类型转换

这里不做说明

———————————————————————————————————————

5.普通函数和模板函数的调用规则
1.如果函数模板和普通模板都可以实现，优先调用普通函数
2.可以通过空模板参数列表来强制调用函数模板
3.函数模板也可以发生重载
4.如果函数模板可以产生更好的匹配，优先调用函数模板

1.直接上代码

#include<iostream>
using namespace std;
void myprint(int a,int b)
{
   cout<<"调用的普通函数"<<endl;
}
template<class T>
void myprint(T a,T b)
{
   cout<<"调用的模板"<<endl;
}
void test()
{
   int a=10;
   int b=20;
   myprint(a,b);
}
int main()
{
   test();
}

运行结果如下：
在这里插入图片描述
上面的例子可以轻松看出一点问题，假如普通函数的语句为myprint(int a,int b);打上分号后该语句会使得报错，那么这时应该要想到用上函数模板

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

代码如下：

#include<iostream>
using namespace std;
void myprint(int a,int b);
template<class T>
void myprint(T a,T b)
{
   cout<<"调用的模板"<<endl;
}
void test()
{
   int a=10;
   int b=20;
   //通过空模板参数列表，强制调用函数模板
   myprint<>(a,b);
}
int main()
{
   test();
}

运行结果如下：
在这里插入图片描述
3.函数模板也可以发生重载，这点不做程序上的说明，注意下重载的时函数名，里面的变量类型不一定会相同，因此函数调用时会调用变量类型和数量相同的模板函数。

那么第4点所说的“如果函数模板可以产生更好的匹配，优先调用函数模板”是什么意思呢？
上代码：

#include<iostream>
using namespace std;
void myprint(int a,int b)
{
   cout<<"调用的普通函数"<<endl;
}
template<class T>
void myprint(T a,T b)
{
   cout<<"调用的模板"<<endl;
}
void test()
{
   char c1='a';
   char c2='b';
   myprint(c1,c2);
}
int main()
{
   test();
}