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++判断一个点是否在圆内的方法,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2018-05-05
  • 利用OpenCV实现局部动态阈值分割

    利用OpenCV实现局部动态阈值分割

    这篇文章主要为大家详细介绍了利用OpenCV实现局部动态阈值分割,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2018-01-01
  • 使用C语言操作文件的基本函数整理

    使用C语言操作文件的基本函数整理

    这篇文章主要介绍了使用C语言操作文件的基本函数整理,包括创建和打开以及关闭文件的操作方法,需要的朋友可以参考下
    2015-08-08
  • c++中nlohmann json的基本使用教程

    c++中nlohmann json的基本使用教程

    nlohmann/json 是一个C++实现的JSON解析器,使用非常方便直观,下面这篇文章主要给大家介绍了关于c++中nlohmann json基本使用的相关资料,文中通过实例代码介绍的非常详细,需要的朋友可以参考下
    2022-09-09
  • C++ Boost ProgramOptions超详细讲解

    C++ Boost ProgramOptions超详细讲解

    Boost是为C++语言标准库提供扩展的一些C++程序库的总称。Boost库是一个可移植、提供源代码的C++库,作为标准库的后备,是C++标准化进程的开发引擎之一,是为C++语言标准库提供扩展的一些C++程序库的总称
    2022-11-11
  • 深入理解C++之策略模式

    深入理解C++之策略模式

    下面小编就为大家带来一篇深入理解C++之策略模式。小编觉得挺不错的,现在就分享给大家,也给大家做个参考。一起跟随小编过来看看吧
    2016-06-06
  • C语言实现点菜系统

    C语言实现点菜系统

    这篇文章主要为大家详细介绍了C语言实现点菜系统,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2022-06-06
  • C/C++位操作实例总结

    C/C++位操作实例总结

    这篇文章主要介绍了C/C++位操作实例总结,是C/C++程序设计中很重要的概念,需要的朋友可以参考下
    2014-08-08
  • 基于Opencv实现颜色识别

    基于Opencv实现颜色识别

    这篇文章主要为大家详细介绍了基于Opencv实现颜色识别,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2019-07-07
  • C语言实现注册登录系统

    C语言实现注册登录系统

    这篇文章主要为大家详细介绍了C语言实现注册登录系统,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下
    2020-12-12

最新评论