深入解析C++中的函数模板和函数的默认参数_C 语言

C++函数模板
我们知道,数据或数值可以通过函数参数传递,在函数定义时它们是未知的,只有在发生函数调用时才能确定其值。这就是数据的参数化。

其实,数据类型也可以通过参数来传递,在函数定义是可以不指明具体的数据类型,当发生函数调用时,编译器可以根据传入的参数自动确定数据类型。这就是数据类型参数化。

所谓函数模板,实际上是建立一个通用函数,其返回值类型和形参类型不具体指定,用一个虚拟的类型来代替(实际上是用一个标识符来占位)。这个通用函数就称为函数模板(Function Template)。凡是函数体相同的函数都可以用这个模板来代替,不必定义多个函数,只需在模板中定义一次即可。在调用函数时系统会用实参的类型来取代模板中的虚拟类型,从而实现了不同函数的功能。

【例】将上节代码改为通过函数模板来实现。

#include <iostream>
using namespace std;
template<typename T> //模板声明,其中T为类型参数
T max(T a, T b, T c) //定义一个通用函数,用T作虚拟的类型名
{
  if(b>a) a=b;
  if(c>a) a=c;
  return a;
}
int main( )
{
  //求三个整数的最大值
  int i1, i2, i3, i_max;
  cin >> i1 >> i2 >> i3;
  i_max = max(i1,i2,i3);
  cout << "i_max=" << i_max << endl;
  //求三个浮点数的最大值
  double d1, d2, d3, d_max;
  cin >> d1 >> d2 >> d3;
  d_max = max(d1,d2,d3);
  cout << "d_max=" << d_max << endl;
  //求三个长整型数的最大值
  long g1, g2, g3, g_max;
  cin >> g1 >> g2 >> g3;
  g_max = max(g1,g2,g3);
  cout << "g_max=" << g_max << endl;
}

运行结果与上节相同。

定义函数模板的一般形式为:

  template < typename T>

    通用函数定义  通用函数定义

  template <class T>

    通用函数定义  通用函数定义

在建立函数模板时,只要将例4.5程序中定义的第一个函数首部的int改为T即可。即用虚拟的类型名T代替具体的数据类型。在对程序进行编译时,遇到第13行调用函数max(i1, i2, i3),编译系统会将函数名max与模板max相匹配,将实参的类型取代了函数模板中的虚拟类型T。此时相当于已定义了一个函数:

int max(int a, int b, int c)
{
  if(b>a) a=b;
  if(c>a) a=c;
  return a;
}

然后调用它。后面两行(14,15行)的情况类似。

类型参数可以不只一个,可以根据需要确定个数。如:

  template <class T1, typename T2>

可以看到,用函数模板比函数重载更方便,程序更简洁。但应注意它只适用于函数的参数个数相同而类型不同,且函数体相同的情况,如果参数的个数不同,则不能用函数模板。

C++函数的默认参数
一般情况下,在函数调用时形参从实参那里取得值,因此实参的个数应与形参相同。有时多次调用同一函数时用同样的实参,C++提供简单的处理办法,给形参一个默认值,这样形参就不必一定要从实参取值了。如有一函数声明:

  float area(float r=6.5);

指定r的默认值为6.5,如果在调用此函数时,确认r的值为6.5,则可以不必给出实参的值,如:

  area( ); //相当于area(6.5);

如果不想使形参取此默认值,则通过实参另行给出。如:

  area(7.5); //形参得到的值为7.5,而不是6.5

这种方法比较灵活,可以简化编程,提高运行效率。

如果有多个形参,可以使每个形参有一个默认值,也可以只对一部分形参指定默认值,另一部分形参不指定默认值。如有一个求圆柱体体积的函数,形参h代表圆柱体的高,r为圆柱体半径。函数原型如下:

  float volume(float h, float r=12.5); //只对形参r指定默认值12.5

函数调用可以采用以下形式:

  volume(45.6); //相当于volume(45.6,12.5)
  volume(34.2, 10.4); //h的值为34.2,r的值为10.4

实参与形参的结合是从左至右顺序进行的。因此指定默认值的参数必须放在形参表列中的最右端,否则出错。例如:

  void f1(float a, int b=0, int c, char d=′a′); //不正确
  void f2(float a, int c, int b=0, char d=′a′); //正确

如果调用上面的f2函数,可以采取下面的形式:

  f2(3.5, 5, 3, ′x′) //形参的值全部从实参得到
  f2(3.5, 5, 3) //最后一个形参的值取默认值′a′
  f2(3.5, 5) //最后两个形参的值取默认值,b=0,d=′a′

可以看到,在调用有默认参数的函数时,实参的个数可以与形参的个数不同,实参未给定的,从形参的默认值得到值。利用这一特性,可以使函数的使用更加灵活。例如例4.7求2个数或3个数中的最大数。也可以不用重载函数,而改用带有默认参数的函数。

【例】求2个或3个正整数中的最大数,用带有默认参数的函数实现。

#include <iostream>
using namespace std;
int main( )
{
  int max(int a, int b, int c=0);//函数声明,形参c有默认值
  int a,b,c;
  cin>>a>>b>>c;
  cout<<"max(a,b,c)="<<max(a,b,c)<<endl;//输出3个数中的最大者
  cout<<"max(a,b)="<<max(a,b)<<endl; //输出2个数中的最大者
  return 0;
}
int max(int a,int b,int c) //函数定义
{
  if(b>a) a=b;
  if(c>a) a=c;
  return a;
}

运行情况如下:

14 -56 135
max(a,b,c)=135
max(a,b)=14

在使用带有默认参数的函数时有两点要注意:
如果函数的定义在函数调用之前,则应在函数定义中给出默认值。如果函数的定义在函数调用之后,则在函数调用之前需要有函数声明,此时必须在函数声明中给出默认值,在函数定义时可以不给出默认值(如例4.8)。
一个函数不能既作为重载函数,又作为有默认参数的函数。因为当调用函数时如果少写一个参数,系统无法判定是利用重载函数还是利用默认参数的函数,出现二义性,系统无法执行。

以上是小编为您精心准备的的内容,在的博客、问答、公众号、人物、课程等栏目也有的相关内容,欢迎继续使用右上角搜索按钮进行搜索c++
, 函数模板
默认参数
深入实践c 模板编程、深入实践模板编程 pdf、csc语言证明模板、c语言课程设计模板、word默认模板,以便于您获取更多的相关知识。

时间: 2024-11-02 09:05:03

深入解析C++中的函数模板和函数的默认参数_C 语言的相关文章

解析C++中四种强制类型转换的区别详解_C 语言

C++的四种强制类型转换,所以C++不是类型安全的.分别为:static_cast , dynamic_cast , const_cast , reinterpret_cast为什么使用C风格的强制转换可以把想要的任何东西转换成合乎心意的类型.那为什么还需要一个新的C++类型的强制转换呢?新类型的强制转换可以提供更好的控制强制转换过程,允许控制各种不同种类的强制转换.C++中风格是static_cast<type>(content).C++风格的强制转换其他的好处是,它们能更清晰的表明它们要干

深入解析C++中的字符数组和处理字符串的方法_C 语言

C++字符数组 用来存放字符数据的数组是字符数组,字符数组中的一个元素存放一个字符.字符数组具有数组的共同属性.由于字符串应用广泛,C和C++专门为它提供了许多方便的用法和函数. 字符数组的定义和初始化 定义字符数组的方法与前面介绍的类似.例如: char c[10]; c[0]=′I′;c[1]=′ ′;c[2]=′a′;c[3]=′m′;c[4]=′ ′;c[5]=′h′;c[6]=′a′;c[7]=′p′;c[8]=′p′;c[9]=′y′; 上面定义了c为字符数组,包含10个元素.在赋值

深入解析C++中的指针数组与指向指针的指针_C 语言

指针数组定义:如果一个 数组,其元素均为指针型数据,该数组为指针数组,也就是说,指针数组中的每一个元素相当于一个指针变量,它的值都是地址. 形式:一维指针数组的定义形式为:int[类型名] *p[数组名] [4][数组长度];由于[ ]比*优先级高,因此p先与[4]结合,形成p[4]的数组的形式.然后与p前面的" * "结合," * "表示此数组是指针类型的,每个数组元素都相当于一个指针变量,都可以指向整形变量. 注意:不能写成int (*p)[4]的形式,这是指的

解析wprintf 中使用%I64d格式化输出LONGLONG的详细介绍_C 语言

wprintf 中使用%I64d格式化输出LONGLONG 在写某个程序时,因为需要用到一个大的整数,就是要了LONGLONG型: 复制代码 代码如下: LONGLONG nLarge; 但是格式化时不知道应该用什么字符,用 %d,%l都不行.LONGLONGLONGLONG其实就是int64类型.在winnt.h可以看到: 复制代码 代码如下: typedef __int64 LONGLONG; 所以要想输出就要看__int64使用什么格式符了.通过查MSDN中,发现是:I64.在格式化输出则

解析c中stdout与stderr容易忽视的一些细节_C 语言

先看下面一个例子a.c : 复制代码 代码如下: int main(int argc, char *argv[]){ fprintf(stdout, "normal\n"); fprintf(stderr, "bad\n"); return 0;} $ ./anormalbad$ ./a > tmp 2>&1$ cat tmpbadtmp我们看到, 重定向到一个文件后, bad 到了 normal 的前面.原因如下: 复制代码 代码如下: &qu

sdk-中控指纹SDK开发包中比对模板文件函数怎么用?第一个参数传递的是什么?

问题描述 中控指纹SDK开发包中比对模板文件函数怎么用?第一个参数传递的是什么? 源代码: CZKFPEngX::VerFingerFromFile(LPCTSTR regTemplateFile, LPCTSTR verTemplateFile, BOOL ADoLearning, BOOL* ARegFeatureChanged) { BOOL result; static BYTE parms[] = VTS_BSTR VTS_BSTR VTS_BOOL VTS_PBOOL; Invoke

函数模板,函数模板重载,可变参数模板,函数模板覆盖,通过引用交换数据

 1.函数模板初级,如果想使用模板,需要实例化,实例化的方式是加上<数据类型> #include <iostream>   //函数模板可以对类型进行优化重载,根据类型会覆盖 //如果仍然要使用模板函数,需要实例化   template<class T> T add(T a, T b) {     std::cout << "T add " << std::endl;     return a + b; }   int a

解析C++中不能重载为友元函数的四个运算符

以下是对C++中不能重载为友元函数的四个运算符进行了详细的分析介绍,需要的朋友可以过来参考下   C++规定有四个运算符 =, ->, [], ()不可以是全局域中的重载(即不能重载为友员函数),这是为什么呢? 现在先说说赋值运算符"="的重载 C++规定赋值运算符"="只能重载为类的非静态成员函数,而不可以重载为类的友元函数. 不能重载为类的静态成员应该比较容易理解,因为静态成员函数是属于整个类的,不是属于某个对象的,它只能去操作类静态数据成员.而赋值运算符

解析WordPress中的post_class与get_post_class函数_php技巧

post_class()post_class 是 WordPress 内置的一个用于显示文章 class 名称的函数,该函数通常会为每一篇文章生成独一无二的 clss 值,如果你需要制作你自己的主题,而且还需要一点个性的话,那你最好驻足一下,使用该函数并配合灵活的 css 代码,我们可以制作出个性化十足的 WordPress 博客. post_class 函数描述 该函数通常会为每一篇文章生成独一无二的 clss 值,可以很方便使用于文章所在的节点中. 函数使用 向其他的诸如 header_im