2021-03-30

C++函数模板

C++中的泛型编程有函数模板与类模板,这章我们先来了解函数模板
函数模板是一种特殊的函数,可以使用不同的类型进行调用,对于功能相同的函数,不需要重复编写代码,并且函数模板与普通函数看起来很类似,区别就是类型可以被参数化。
函数模板通过template与typename(或者class)两个关键字来定义,如下:
在这里插入图片描述
上边就定义了一个变量交换的函数模板,在使用函数模板时有两种方式
- 自动类型推到调用 Swap(a, b)
- 具体类型显示调用 Swap(a, b)

#include<iostream>
using namespace std;
template <class T>
void Swap(T& a, T& b)
{
  T tmp = a;
  a = b;
  b = tmp;
}
int main()
{
  int a = 10;
  int b = 20;
  Swap(a, b);  //自动推到调用
  //Swap<int>(a, b);//显示指定调用
  cout << "a = " << a << "  b = " << b << endl;
  float c = 12.3;
  float d = 23.4;
  //Swap(c, d); //自动推到调用
  Swap<float>(c, d); //显示指定调用
  cout << "c = " << c << "  d = " << d << endl;
}

在这里插入图片描述
可以看到,我们使用函数模板,根据具体类型的参数化,就能适用于不同类型的变量交换,达到了代码复用的效果。

下边来深入理解下函数模板:

  • 对于函数模板中使用的类型不同,编译器会产生不同的函数
  • 编译器会对函数模板进行两次编译
  • 第一次是对函数模板本身进行编译,包括语法检查等
  • 第二次是对参数替换后的代码进行编译,这就相当于编译普通函数一样,进行类型规则检查等。
    需要注意的是:函数模板是不允许隐式类型转换的,调用时类型必须严格匹配。

在这里插入图片描述

定义多个类型参数

函数模板还可以定义任意多个不同的类型参数,但是对于多参数函数模板:
- 编译器是无法自动推导返回值类型的
- 可以从左向右部分指定类型参数

#include <iostream>
using namespace std;
template <class T1, class T2, typename T3>//class typename都可以使用
T1 add(T2 a, T3 b)
{
     T1 ret;
     ret = static_cast<T1>(a + b);
     return ret;
}
int main()
{
     int c = 12;
     float d = 23.4;
    //cout << add(c, d) << endl;  //error,无法自动推导函数返回值
     cout << add<float>(c, d) << endl;  //返回值在第一个类型参数中指定
    cout << add<int, int, float>(c, d) << endl;
}

在这里插入图片描述
在上边的代码中,我们定义了多类型参数的函数模板,调用时需要注意的是函数返回值需要在第一个参数类型中显示指定,后边的类型可自动推导或显示指定。

函数模板也可重载

函数模板跟普通函数一样,也可以被重载
- C++编译器优先考虑普通函数
- 如果函数模板可以产生一个更好的匹配,那么就选择函数模板
- 也可以通过空模板实参列表<>限定编译器只匹配函数模板

#include <iostream>
using namespace std;
template <typename T>
void fun(T a)
{
      cout << "void fun(T1 a)" << endl;
}
template <typename T1, typename T2>
void fun(T1 a, T2 b)
{
      cout << "void fun(T1 a, T2 b)" << endl;
}
void fun(int a, float b)
{
      cout << "void fun(int a, float b)" << endl;
}
int main()
{
      int a = 0;
      float b = 0.0;
      fun(a);
      fun(a, b);  //普通函数void fun(int a, float b)已经能完美匹配,于是调用普通函数
      fun(b, a);  //这个调用,函数模板有更好的匹配,于是调用函数模板
      fun<>(a, b);  //限定只使用函数模板
}

在这里插入图片描述
从输出可以得到,编译器会优先去调用普通函数,但是当函数模板有更好的匹配时或使用限定符<>时,编译器就会去匹配函数模板。

  • 4
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

FG.

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值