C++可变参数的函数与模板实例分析

 更新时间:2014年08月15日 08:53:40   投稿:shichen2014  
这篇文章主要介绍了C++可变参数的函数与模板,非常重要的概念,需要的朋友可以参考下

本文实例展示了C++可变参数的函数与模板的实现方法,有助于大家更好的理解可变参数的函数与模板的应用,具体内容如下:

首先,所谓可变参数指的是函数的参数个数可变,参数类型不定的函数。为了编写能处理不同数量实参的函数,C++提供了两种主要的方法:如果所有的实参类型相同,可以传递一个名为initializer_list的标准库类型;如果实参的类型不同,我们可以编写可变参数模板。另外,C++还有一种特殊的省略符形参,可以用它传递可变数量的实参,不过这种一般只用于与C函数交互的接口程序。

一、可变参数函数

1、initializer_list形参

如果函数的实参数量未知但是全部实参的类型都相同,我们可以使用initializer_list类型的形参(C++11新标准)。和vector一样,initializer_list也是一种模板类型。下面看看initializer_list提供的一些操作:

#include<initializer_list> // 头文件 
initializer_list<T> lst;  // 默认初始化,T类型元素的空列表 
initializer_list<T> lst{a,b,c...}; // 初始化为初始值列表的副本 
lst2(lst)   // 拷贝或赋值不会拷贝列表中的元素;拷贝后, 
lst2 = lst  // 原始列表和副本共享元素 
lst.size()  // 列表中的元素数量 
lst.begin()  // 返回指向lst中首元素的指针 
lst.end()   // 返回指向lst中尾元素下一位置的指针

下面给出一个例子,需要注意的是,含有initializer_list形参的函数也可以同时拥有其他形参。另外,如果想给initializer_list形参传递一个实参的序列,必须把序列放在一对花括号内:

string func(initializer_list<string> li) 
{ 
  string str(""); 
  for(auto beg=li.begin(); beg!=li.end(); ++beg) 
    str += *beg; 
  return str; 
} 
 
int main() 
{ 
  cout << func({"This"," ","is"," ","C++"}) << endl; 
  return 0; 
} 

2、省略符形参

函数可以用省略符形参”…“表示不定参数部分,省略符形参只能出现在形参列表的最后一个位置,它的形式如下:

void foo(parm_list, ...); 
// 典型例子 
int printf(const char* format, ...) 

省略符形参应该仅仅用于C和C++通用的类型,因为大多数类类型的对象在传递给省略符形参时都无法正确拷贝。下面是<cstdarg>头文件中的几个宏定义:

#include<cstdarg> // C中是<stdarg.h> 
 
// va_list是一种数据类型,args用于持有可变参数。 
// 定义typedef char* va_list; 
va_list args; 
 
// 调用va_start并传入两个参数:第一个参数为va_list类型的变量 
// 第二个参数为"..."前最后一个参数名 
// 将args初始化为指向第一个参数(可变参数列表) 
va_start(args, paramN); 
 
// 检索参数,va_arg的第一个参数是va_list变量,第二个参数指定返回值的类型 
// 每一次调用va_arg会获取当前的参数,并自动更新指向下一个可变参数。 
va_arg(args,type); 
 
// 释放va_list变量 
va_end(args);

下面给出一个例子:

int add_nums(int count,...) 
{ 
  int result = 0; 
   
  va_list args; 
  va_start(args, count); 
  for(int i=0; i<count; ++i) 
    result += va_arg(args, int); 
  va_end(args); 
  return result; 
} 
 
int main() 
{ 
  cout << add_nums(4, 25, 25, 50, 50) << endl; 
  return 0; 
} 

编译器是将参数压入栈中进行传递的。传递实参的时候,编译器会从实参列表中,按从右到左的顺序将参数入栈,对于add_nums(4, 25, 25, 50, 50)的调用,则入栈的顺序是 50, 50, 25, 25, 4 (注意没有可变参数与不可变参数之分)。由于栈的地址是从高到低的,所以在知道了第一个参数地址和参数的类型之后,就可以获取各个参数的地址。

二、可变参数模板

一个可变参数模板(variadic template)就是一个接受可变数目参数的模板函数或模板类。可变数目的参数被称为参数包(parameter packet)。存在两种参数包:模板参数包(表示零个或多个模板参数)和函数参数包(表示零个或多个函数参数)。

上述说到我们可以使用一个initializer_list来定义一个可接受可变数目实参的函数,但是所有实参必须具有相同的类型。当我们既不知道要处理的实参数目也不知道它们的类型时,我们就需要使用可变参数的函数模板了。我们用一个省略号来指出一个模板参数或函数参数表示一个包:在一个模板参数列表中,class...或typename...指出接下来的参数表示零个或多个类型的列表;一个类型名后面跟一个省略号表示零个或多个给定类型的非类型参数的列表。在函数参数列表中,如果一个参数的类型是一个模板参数包,则此参数也是一个函数参数包。

// Args是一个模板参数包;rest是一个函数参数包 
template <typename T, typename...Args> 
void foo(const T &t, const Args&...rest); 

可变参数函数模板通常是递归的。第一步调用处理包中的第一个实参,然后用剩余的实参调用自身。为了终止递归,我们还需要定义一个非可变参数的函数模板:

// 用来终止递归并处理包中最后一个元素 
template <typename T> 
void print(const T &t) 
{ 
  cout << t; 
} 
 
// 包中除了最后一个元素之外的其他元素都会调用这个版本的print 
template <typename T, typename...Args> 
void print(const T &t, const Args&...rest) 
{ 
  cout << t << " ";   // 打印第一个实参 
  print(rest...);    // 递归调用,打印其他实参 
} 
 
// 测试 
int main() 
{ 
  print("string1", 2, 3.14f, "string2", 42); 
  cout << endl; 
  return 0; 
} 

非可变参数版本的print负责终止递归并打印初始调用中的最后一个实参。对于最后一次递归调用print(42),两个print版本都是可行的。但是,非可变参数模板比可变参数模板更特例化,因此编译器选择非可变参数版本。

相关文章

  • C++ 实现一个复数类的实例代码

    C++ 实现一个复数类的实例代码

    这篇文章主要介绍了C++ 实现一个复数类的实例代码,代码简单易懂,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
    2021-04-04
  • Qt 实现桌面雪花飘落代码

    Qt 实现桌面雪花飘落代码

    这篇文章主要介绍了Qt实现桌面雪花飘落代码,有需要的朋友可以参考一下
    2013-12-12
  • 最长公共子字符串的使用分析

    最长公共子字符串的使用分析

    本篇文章是对最长公共子字符串的使用进行了详细的分析介绍,需要的朋友参考下
    2013-05-05
  • c++非变易算法-stl算法

    c++非变易算法-stl算法

    本文主要介绍了C++ STL算法库中的非变易算法,是一些原则上不会变更操作数据的算法,包括:逐个查找算法、元素搜索算法、元素统计算法、序列匹配算法、子序列搜索算法、这些函数均包含于<algorithm>头文件,本文给出的所有代码在VS2010中编译运行通过
    2014-03-03
  • C语言实现扫雷经典游戏

    C语言实现扫雷经典游戏

    这篇文章主要为大家详细介绍了C语言实现扫雷经典游戏,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2021-07-07
  • C++实现的一个可以写递归lambda的Y函数

    C++实现的一个可以写递归lambda的Y函数

    这篇文章主要介绍了C++实现的一个可以写递归lambda的Y函数,在Y函数的帮助,这个lambda表达是可以成功看到自己,然后递归调用的,需要的朋友可以参考下
    2014-07-07
  • C语言双向链表的表示与实现实例详解

    C语言双向链表的表示与实现实例详解

    这篇文章主要介绍了C语言双向链表的表示与实现,对于研究数据结构域算法的朋友有一定的参考借鉴价值,需要的朋友可以参考下
    2014-07-07
  • linux c 获取本机公网IP的实现方法

    linux c 获取本机公网IP的实现方法

    本篇文章是对在linux中使用c语言获取本机公网IP的方法进行了详细的分析介绍,需要的朋友参考下
    2013-05-05
  • C语言中指针 int *p=0;和int *p;*p=0;和”&“的关系和区别详解

    C语言中指针 int *p=0;和int *p;*p=0;和”&“的关系和区别详解

    这篇文章主要介绍了C语言中指针 int *p=0;和int *p;*p=0;和”&“有什么关系和区别,本文给大家介绍的非常详细,具有一定的参考借鉴价值,需要的朋友可以参考下
    2020-02-02
  • Qt绘制时钟效果

    Qt绘制时钟效果

    这篇文章主要为大家详细介绍了Qt绘制时钟效果,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2020-05-05

最新评论