函数模板是指这样的一类函数:可以用多种不同数据类型的参数进行调用,代表了一个函数家族。它的外表和普通的函数很相似,唯一的区别就是:函数中的有些元素是未确定的,这些元素将在使用的时候才被实例化。先来看一个简单的例子:

一、定义一个简单的函数模板

下面的这个例子就定义了一个模板函数,它会返回两个参数中最大的那一个:

// 文件:"max.hpp"
template<typename T>
inline const T& max(const T& x, const T& y)
{
return x < y ? y : x;
}

这个函数模板定义了一个“返回两个值中最大者”的函数家族,而参数的类型还没有确定,用类型模板参数T来确定。模板参数需要使用如下的方式来声明:

template< 模板参数列表 >

在这个例子中,模板参数列表为:typename T。关键字typename引入了T这个类型模板参数。当然了,可以使用任何标识符作为类型模板参数的名称。我们可以使用任何类型(基本数据类型、类类型)来实例化该函数模板,只要所使用的数据类型提供了函数模板中所需要的操作即可。例如,在这个例子中,类型T需要支持operator <,因为a和b就是通过这个操作符来比较大小的。

鉴于历史原因,也可以使用关键字class来取代typename来定义类型模板参数,然而应该尽可能地使用typename

二、使用函数模板

下面的程序使用了上面定义的这个函数模板:

#include <iostream>
#include <string>
#include "max.hpp" using namespace std; int main(int argc, char *argv[])
{
cout << max(4, 3) << endl; // 使用int类型实例化了函数模板,并调用了该函数实例。
cout << max(4.0, 3.0) << endl; // 使用double类型实例化了函数模板,并调用了该函数实例。
cout << max(string("hello"), string("world")) << endl; // 使用string类型实例化了函数模板,
// 并调用了该函数实例。
return 0;
}

通常而言,并不是把模板编译成一个可以处理任何类型的单一实体,而是针对于实例化函数模板参数的每种类型,都从函数模板中产生出一个独立的函数实体。因此,针对于每种类型,模板代码都被编译了一次。这种用具体类型代替模板参数的过程,叫做模板的实例化。它产生了一个新的函数实例(与面向对象程序设计中的实例化不同)。

如果试图基于一个不支持模板内部所使用的操作的类型实例化一个模板,那么将会引发一个编译期错误:

std::complex<double> c1, c2;
max(c1, c2); // 编译错误:std::complex并不支持运算符<

所以说:模板被编译了两次,分别发生于:

  • 模板实例化之前,查看语法是否正确,此时可能会发现遗漏的分号等。
  • 模板实例化期间,检查模板代码, 查看是否所有的调用都有效。此时可能会发现无效的调用,例如实例化类型不支持某些函数调用等。

所以这引发了一个重要的问题:当使用函数模板并且引发模板实例化时,编译器必须查看模板的定义。事实上,这就不同于普通的函数,因为对于普通的函数而言,只要有函数的声明(甚至不需要定义),就可以顺利地通过编译期。

三、函数模板实参推断

当我们为某些实参调用一个函数模板时,模板参数可以由我们所传递的实参来决定。

注意:函数模板在推断参数类型时,不允许自动类型转换,每个类型模板参数都必须正确的匹配。

template<typename T>
inline const T& max(const T& x, const T& y)
{
return x < y ? y : x;
} int main()
{
// 不能这样调用:
// max(10, 20.0); // 错误,因为函数模板中的类型推断拒绝隐式类型转换
// 这是因为,无法确定到底应该使用哪个参数类型来实例化这个模板函数。
// 所以,C++拒绝了这种做法。 可用的解决方案:
::max(static_cast<double>(10), 20.0); // OK,因为两个参数都为double。
::max<double>(10, 20.0); // OK, 显示指定参数,这样可以尝试对参数进行类型转换。
return 0;
}

注意:模板实参推断并不适合返回类型。因为返回类型并不会出现在函数调用参数的类型里面。

所以,必须要显示地指定返回类型:

template<typename T1, typename T2, typename RT>
inline RT func()
{
// ...
return RT();
} int main(int argc, char *argv[])
{
func<int>(); // 必须这样显示地指定返回类型才可以,无法进行自动类型推断。
return 0;
}

四、函数模板的重载

和普通的函数一样,函数模板也可以被重载。在下面的例子中,一个非模板函数可以和一个同名的函数模板同时存在,这称为函数模板的特化。而且该函数模板还被实例化为这个非模板函数。

// #1
inline const int& max(const int& a, const int& b)
{
return a < b ? b : a;
} // #2
template<typename T>
inline const T& max(const T& a, const T& b)
{
return a < b ? b : a;
} // #3
template<typename T>
inline const T& max(const T& a, const T& b, const T& c)
{
return max(max(a, b), c);
} int main(int argc, char *argv[])
{
/*01*/max(7, 42, 68); // 调用#3
/*02*/max(7.0, 6.0); // 调用#2
/*03*/max('a', 'b'); // 调用#2
/*04*/max(7, 42); // 调用#1
/*05*/max<>(7, 42); // 调用#2
/*06*/max<double>(7, 42); // 调用#2但是没有推断参数
/*07*/max('a', 42.7); // 调用#1
return 0;
}

总结如下:

  • 对于非模板函数和同名的函数模板,如果其它条件都是相同的话,那么在调用的时候,重载解析过程中会优先调用非模板函数,而不会实例化模板(04)。
  • 如果模板可以产生一个具有更好匹配的函数,那么将选择模板(02, 03)。
  • 还可以显示地指定一个空的模板参数列表,告诉编译器:必须使用模板来匹配(05)。
  • 由于函数模板拒绝隐式类型转换,所以当所有的模板都无法匹配,但是发现可以通过强制类型转换来匹配一个非模板函数时,将调用那个函数(07)。

五、函数模板重载的注意事项

在重载函数模板时,请谨记:将对函数声明的改变限制在以下两种情况中:

  • 改变参数的数目
  • 显示指定模板的参数(即函数模板特化)

否则,很可能会导致非预期的结果,例如在下面的例子中,模板函数是使用引用进行传参的,然而在其中的一个重载中(实际上是针对char*进行的特化),却使用了值传递的方式,这将会导致不可预期的结果:

template<typename T>
inline const T& max(const T& a, const T& b)
{
return a < b ? b : a;
} // #2: 存在隐患,因为其它的重载都是以引用传递参数,而这个重载版本
// 却使用了值传递,不符合上面介绍的需要遵守的两个可变条件。
inline const char* max(const char* a, const char* b)
{
return std::strcmp(a, b) < 0 ? b : a;
} template<typename T>
inline const T& max(const T& a, const T& b, const T& c)
{
// 这里对max(a, b)的调用,如果调用了函数#2,
// 那么将会返回一个局部的值,如果恰好这个局部的值
// 又比c大,那么将会返回一个指向局部变量的指针,
// 这是很危险的(非预期的行为)。
return max( max(a, b), c );
} int main()
{
char str1[] = "frederic";
char str2[] = "anica";
char str3[] = "lucas"; char* p1 = str1;
char* p2 = str2;
char* p3 = str3; // 这种用法是错的,这是因为:
// max(a, b)返回的是一个指针,这个指针是一个局部的对象,
// 并且这个局部的对象很有可能会被返回。
auto result = max(p1, p2, p3);
return 0;
}

C++函数模板详解(一):概念和特性的更多相关文章

  1. 25.C++- 泛型编程之函数模板(详解)

    本章学习: 1)初探函数模板 2)深入理解函数模板 3)多参函数模板 4)重载函数和函数模板 当我们想写个Swap()交换函数时,通常这样写: void Swap(int& a, int&am ...

  2. 26.C++- 泛型编程之类模板(详解)

    在上章25.C++- 泛型编程之函数模板(详解) 学习了后,本章继续来学习类模板   类模板介绍 和函数模板一样,将泛型思想应用于类. 编译器对类模板处理方式和函数模板相同,都是进行2次编译 类模板通 ...

  3. C++ 类模板详解(一):概念和基本使用方式

    与函数模板类似地(C++函数模板详解(一):概念和特性) ,类也可以被一种或多种类型参数化.例如,容器类就是一个具有这种特性的典型例子,它通常被用于管理某种特定类型的元素.只要使用类模板,我们就可以实 ...

  4. C++模板详解(三):参数化声明详解

    在前两节中(C++模板详解(一).C++模板详解(二)),我们了解了函数模板和类模板的基本概念和使用方法.在这篇博文里,我们主要来详细地阐述一下"模板的参数声明"这个话题,并且也谈 ...

  5. C++模板详解

    参考:C++ 模板详解(一) 模板:对类型进行参数化的工具:通常有两种形式: 函数模板:仅参数类型不同: 类模板:   仅数据成员和成员函数类型不同. 目的:让程序员编写与类型无关的代码. 注意:模板 ...

  6. Oracle函数sys_connect_by_path 详解

    Oracle函数sys_connect_by_path 详解 语法:Oracle函数:sys_connect_by_path 主要用于树查询(层次查询) 以及 多列转行.其语法一般为:       s ...

  7. C语言对文件的操作函数用法详解1

    在ANSIC中,对文件的操作分为两种方式,即: 流式文件操作 I/O文件操作 一.流式文件操作 这种方式的文件操作有一个重要的结构FILE,FILE在stdio.h中定义如下: typedef str ...

  8. 自写函数VB6 STUFF函数 和 VB.net 2010 STUFF函数 详解

    '*************************************************************************'**模 块 名:自写函数VB6 STUFF函数 和 ...

  9. SQL Server数据库ROW_NUMBER()函数使用详解

    SQL Server数据库ROW_NUMBER()函数使用详解 摘自:http://database.51cto.com/art/201108/283399.htm SQL Server数据库ROW_ ...

随机推荐

  1. 20191024-2 Alpha阶段贡献分配

    此作要求参见: https://edu.cnblogs.com/campus/nenu/2019fall/homework/9858 要求1 每位组员的贡献分值 罗杨美慧:9 徐丽君:11 魏鑫:12 ...

  2. @程序员,你们还在用网上乱找的方法导入导出Excel么,我们给你造了个轮子!!!!!

    程序员的显著特点 有一天跟一位同事跟我闲聊,讨论起过去若干年软件行业的感受,他问了个问题:你觉得一个好的软件工程师最显著的特点是什么? 我想了一会,说:大概是坐得住吧. 某种意义上来说,在互联网技术飞 ...

  3. vs2015编译zlib静态库步骤

    ZLIB静态库的编译 下载ZLIB源码 ZLib官网下载或者GitHub上直接 clone 下来即可 www.zlib.net 截至目前最新版本1.2.1.1本 如下图我选择从官网下载 下载完以后解压 ...

  4. SpringBoot原理分析与配置

    1.1 起步依赖原理分析 1.1.1 分析spring-boot-starter-parent 按住Ctrl点击pom.xml中的spring-boot-starter-parent,跳转到了spri ...

  5. Linux 学习笔记 2 Centos 安装与网络的配置以及VI编辑器的使用

    前言 当然,还是觉得Centos 在众多的Linux 发行版中,还是很有地位的,好多的服务器大多沿用的都是一代的Centos 因为它开源(这是废话)而且稳定,这才是服务器沿用的最重要的一项指标. 镜像 ...

  6. 异常记录——bat批处理闪退

    bat批处理闪退 bat描述 我的博客每次更新需要跑多个命令 clean(清除旧文)+g(生成新文)+d(部署到服务器),作为一个懒惰的程序员,自然要写一个bat一键完成 E: cd blog hex ...

  7. Exceptionless运用结果

    一.后台页面功能 列表菜单 SubmitLog - 记录一般日志 log Messages SubmitException - 记录一次日志 Exceptions SubmitNotFound - 4 ...

  8. 利用SSH桥接访问服务器的Docker运行的MySql服务

    前情提要 docker的运用越来广泛,许多IT公司都已经将自己的服务跑在Docker上面.在安全性方面又做了一层防护.比如:跑在Docker上的Mysql不做外网端口映射,只能在linux服务器上或进 ...

  9. Js字符串按数量分组

    代码: function group(ss,step) { var r = []; function doGroup(s) { if (!s) return; r.push(s.substr(0, s ...

  10. “土法炮制”之 OOM框架

    一.什么是OOM框架? OOM 的全拼是 Object-Object-Map,意思是对象与对象之间的映射,OOM框架要解决的问题就是对象与对象之间数据的自动映射. 举一个具体的例子:用过MVC模式开发 ...