[c++][语言语法]函数模板和模板函数 及参数类型的运行时判断
参考:http://blog.csdn.net/beyondhaven/article/details/4204345
参考:http://blog.csdn.net/joeblackzqq/article/details/7460704
1.函数模板的声明和模板函数的生成
1.1函数模板的声明
函数模板可以用来创建一个通用的函数,以支持多种不同的形参,避免重载函数的函数体重复设计。它的最大特点是把函数使用的数据类型作为参数。
函数模板的声明形式为:
template<typename 数据类型参数标识符>
<返回类型><函数名>(参数表)
{
函数体
}
其中,template是定义模板函数的关键字;template后面的尖括号不能省略;typename(或class)是声明数据类型参数标识符的关键字,用以说明它后面的标识符是数据类型标识符。这样,在以后定义的这个函数中,凡希望根据实参数据类型来确定数据类型的变量,都可以用数据类型参数标识符来说明,从而使这个变量可以适应不同的数据类型。例如:
template<typename T>
T fuc(T x, int y)
{
T x;
//……
}
如果主调函数中有以下语句:
double d;
int a;
fuc(d,a);
则系统将用实参d的数据类型double去代替函数模板中的T生成函数:
double fuc(double x,int y)
{
double x;
//……
}
函数模板只是声明了一个函数的描述即模板,不是一个可以直接执行的函数,只有根据实际情况用实参的数据类型代替类型参数标识符之后,才能产生真正的函数。
关键字typename也可以使用关键字class,这时数据类型参数标识符就可以使用所有的C++数据类型。
1.2.模板函数的生成
函数模板的数据类型参数标识符实际上是一个类型形参,在使用函数模板时,要将这个形参实例化为确定的数据类型。将类型形参实例化的参数称为模板实参,用模板实参实例化的函数称为模板函数。模板函数的生成就是将函数模板的类型形参实例化的过程。例如:
使用中应注意的几个问题:
⑴ 函数模板允许使用多个类型参数,但在template定义部分的每个形参前必须有关键字typename或class,即:
template<class 数据类型参数标识符1,…,class 数据类型参数标识符n>
<返回类型><函数名>(参数表)
{
函数体
}
⑵ 在template语句与函数模板定义语句<返回类型>之间不允许有别的语句。如下面的声明是错误的:
template<class T>
int I;
T min(T x,T y)
{
函数体
}
⑶ 模板函数类似于重载函数,但两者有很大区别:函数重载时,每个函数体内可以执行不同的动作,但同一个函数模板实例化后的模板函数都必须执行相同的动作。
2 函数模板的异常处理
函数模板中的模板形参可实例化为各种类型,但当实例化模板形参的各模板实参之间不完全一致时,就可能发生错误,如:
template<typename T>
void min(T &x, T &y)
{ return (x<y)?x:y; }
void func(int i, char j)
{
min(i, i);
min(j, j);
min(i, j);
min(j, i);
}
例子中的后两个调用是错误的,出现错误的原因是,在调用时,编译器按最先遇到的实参的类型隐含地生成一个模板函数,并用它对所有模板函数进行一致性检查,例如对语句
min(i, j);
先遇到的实参i是整型的,编译器就将模板形参解释为整型,此后出现的模板实参j不能解释为整型而产生错误,此时没有隐含的类型转换功能。解决此种异常的方法有两种:
⑴采用强制类型转换,如将语句min(i, j);改写为min(i,int( j));
⑵用非模板函数重载函数模板
方法有两种:
① 借用函数模板的函数体
此时只声明非模板函数的原型,它的函数体借用函数模板的函数体。如改写上面的例子如下:
template<typename T>
void min(T &x, T &y)
{ return (x<y)?x:y; }
int min(int,int);
void func(int i, char j)
{
min(i, i);
min(j, j);
min(i, j);
min(j, i);
}
执行该程序就不会出错了,因为重载函数支持数据间的隐式类型转换。
② 重新定义函数体
就像一般的重载函数一样,重新定义一个完整的非模板函数,它所带的参数可以随意。C++中,函数模板与同名的非模板函数重载时,应遵循下列调用原则:
• 寻找一个参数完全匹配的函数,若找到就调用它。若参数完全匹配的函数多于一个,则这个调用是一个错误的调用。
• 寻找一个函数模板,若找到就将其实例化生成一个匹配的模板函数并调用它。
• 若上面两条都失败,则使用函数重载的方法,通过类型转换产生参数匹配,若找到就调用它。
•若上面三条都失败,还没有找都匹配的函数,则这个调用是一个错误的调用。
c++类模板及参数类型的运行时判断
- /*
- C++类模板及参数类型的运行时判断(typeid)
- */
- #include <stdio.h>
- #include <typeinfo>
- #include <vector>
- using namespace std;
- template<class T>
- class Exercise
- {
- public:
- typedef T Type;
- typedef vector < Type > VT;
- Exercise(int n);
- void Display();
- private:
- VT dv;
- };
- template<class T>
- Exercise<T>::Exercise(int n)
- {
- T v;
- printf("type: %s\n", typeid(T).name());
- for(int i = 0; i < n; i++)
- {
- v = 1.1 * (i+1);
- dv.push_back(v);
- }
- }
- template<class T>
- void Exercise<T>::Display()
- {
- char fmt[2][10] = {"%d\t", "%.2f\t"};
- char *p = fmt[0];
- if(typeid(T) == typeid(double) || typeid(T) == typeid(float))
- p = fmt[1];
- for(typename vector<T>::iterator it = dv.begin(); it != dv.end(); it++)
- {
- printf(p, *it);
- }
- printf("\n\n");
- }
- int main()
- {
- Exercise<double> ex1(5);
- ex1.Display();
- Exercise<float> ex2(5);
- ex2.Display();
- Exercise<int> ex3(5);
- ex3.Display();
- Exercise<long> ex4(5);
- ex4.Display();
- printf("\n");
- printf("%s\n", typeid(ex1).name());
- printf("%s\n", typeid(ex2).name());
- printf("%s\n", typeid(ex3).name());
- printf("%s\n", typeid(ex4).name());
- return 0;
- }
转载于:https://www.cnblogs.com/lyggqm/p/5291097.html
[c++][语言语法]函数模板和模板函数 及参数类型的运行时判断相关推荐
- c++类模板及参数类型的运行时判断
/*C++类模板及参数类型的运行时判断(typeid) */#include <stdio.h> #include <typeinfo> #include <vector ...
- 组态王的c语言语法,组态王常用的函数()
此函数为报表专用函数.查询历史数据,系统会自动弹出历史数据查询对话框.语法使用格式如下: ReportSetHistData2(StartRow,StartCol); 参数说明: StartRow:查 ...
- HBuilder X中新建uni-app项目中的Hello uni-app模板后,自己添加的页面为什么运行时不显示,找不到入口?
在HBuilderX中新建了一个uni-app项目,然后选择了Hello uni-app模板进行测试编译,发现自己在pages目录下新建一个my-test文件夹后在此文件下进行编写测试,发现运行起来没 ...
- C语言用printf()打印u8,u16,u32等参数类型
想必大家都知道printf打印int 型是用%d,但是u8,u16,u32,u64还有s8,s16,s32,s64是如何打印呢,知道的大佬绕行哈,不知道往下看看. what is u8? 常见的u8其 ...
- 矩形换位算法C语言实现,关于C#:任意大小的矩形矩阵的运行时有效换位
我迫切需要时间来优化大量的C代码以提高速度,我正在寻找一种算法-最好是C"代码段"-可以转换任意大小的矩形源矩阵u[r](行数,c列数)放入目标矩阵v▼显示[d](s = c行数, ...
- c++ swap函数头文件_C++函数模板(泛型编程)
模板是泛型编程的基础,泛型编程即以一种独立于任何特定类型的方式编写代码. 模板是创建泛型类或函数的蓝图或公式.库容器,比如迭代器和算法,都是泛型编程的例子,它们都使用了模板的概念. 每个容器都有一个单 ...
- 泛函编程—模板函数_类模板
函数业务逻辑一样,只是函数参数类型不同 函数模板的本质:类型参数化--泛型编程 语法: template <typename T> template <class T1,class ...
- (转)虚函数和纯虚函数区别
在面向对象的C++语言中,虚函数(virtual function)是一个非常重要的概念.因为它充分体现 了面向对象思想中的继承和多态性这两大特性,在C++语言里应用极广.比如在微软的MFC类库中,你 ...
- python函数参数类型及顺序_python函数参数类型及其顺序
根据inspect模块官文文档中关于函数参数类型的相关说明,python函数参数共有五种类型,按顺序分别为:POSITIONAL_ONLY.POSITIONAL_OR_KEYWORD.VAR_POSI ...
最新文章
- 深入浅出自定义标签(一)入门
- 【逆向分析】快速查找指定代码的几种方法
- [html] websocket可以携带cookie吗?为什么?如果可以,怎样做到呢?
- Qt如何将数据保存成CSV文件
- java pdf水印排布问题_java 实现 PDF 加水印功能
- 计算机兴趣小组的意义,计算机兴趣小组总结
- python怎么用for循环找出最大值_从“for in”循环中获取最小值和最大值
- centos7 docker端口_docker相关知识
- VBS整人代码大合集
- linux驱动数码管-基于74HC164D
- 计算机应用 一级学科,一级学科、二级学科,考研专业哪个包含了计算机考研方向...
- 紧贴潮流,初心未改:OpenInfra Days China升级回归,打造专属OpenStackers的开源大趴
- CentOS 7中利用Snapper快照进行系统备份与恢复
- 任意重循环(循环阶数不定、循环层数不定)
- 罗杰斯的创新扩散模型
- Windows 10 (Win10) 将绿色免安装软件,添加到动态磁贴
- 一个简单的定时任务调度中心设计方案
- Rvit中添加尺寸标注的前缀后缀和【一键尺寸定位标注】
- PBOC 文件结构详解1
- 软件安装常见文件夹bin/logs/conf...
热门文章
- js表单验证处理和childNodes 和children 的区别
- 制作系统盘,重装新系统。
- OpenJ_Bailian——4115鸣人和佐助(带状态的A*)
- 把时间投资在自己的未来
- Nginx 0.8.5版本access.log日志分析shell命令
- JS中数据类型、内置对象、包装类型对象、typeof关系
- 深入理解 Unix / Linux 命令
- “云+大数据”时代 中端存储如何选择
- cocos2d-js 3.0 jsb环境调用底层java代码
- JAVA中的方法和构造方法有什么区别