1. 可变参数函数
C++允许定义形参个数和类型不确定的函数,不确定的形参可以使用省略号“…”。
int add(int firstParam, … )
使用可变参数函数时注意:
- 省略号必须在参数列表的末尾。
- 运行时,才能确认参数的具体个数与类型。
- 只能顺序访问可变参数,无法后退访问
- 无法提供任何安全性保证
如果使用省略号,传递可变数量的参数时使用va_arg、va_start、va_end 和 va_list等宏,定义在<cstdarg>中(c中定义在<stdarg.h>)。
va_start(args,paramN) 令对可变函数参数的访问可行。
- 第一个参数为va_list类型的变量
- 第二个参数为"..."前最后一个参数
- 将args初始化为指向可变参数列表第一个参数
va_arg(args,type) 访问下一个可变函数参数。
- 第一个参数为va_list类型的变量
- 第二个参数是返回值的类型
- 调用va_arg获取当前的参数,并自动更新指向下一个可变参数
va_end(args) 结束可变参数函数的遍历。
- 释放va_arg变量
代码示例如下:
#include<iostream>
#include<cstdarg>
using namespace std;
//求和函数
int add(int firstParam, ...)
{
va_list arg_ptr;
int sum = 0;
int nArgValue;
sum += firstParam;
va_start(arg_ptr, firstParam);
do
{
nArgValue = va_arg(arg_ptr, int);
sum += nArgValue;
} while (nArgValue != 0);
va_end(arg_ptr);
return sum;
}
int main()
{
cout << add(1, 2, 3, 0) << endl; //运行结果:6
system("pause");
}
2. 可变参数模板
可变参数模板(variadic template)是支持可变数量参数的类模板或函数模板。可变数目的参数被称为参数包(parameter packet)。
2.1 可变参数类模板
可变参数类模板定义语法的基本示例:
template<typename... Arguments> class classname;
// Arguments 是参数包。 类 classname 可以接受参数数目可变。
代码示例如下:
#include<iostream>
#include<cstdarg>
using namespace std;
template<typename...Types>
class Tuple
{
};
Tuple<> t0;
Tuple<int> t1;
Tuple<int, string> t2;
2.2 可变参数函数模板
可变参数模板函数语法的基本示例:
template <typename... Arguments> returntype functionname(Arguments... args);
代码示例如下:
#include<iostream>
#include<cstdarg>
using namespace std;
//用来终止递归并处理包中最后一个元素
template<typename T>
void print(const T& t)
{
cout << t;
}
template<typename T, typename...Args>
void print(const T& t, const Args&...rest)
{
cout << t << " "; //打印第一个实参
print(rest...); //递归调用,打印其它实参
}
int main()
{
print("Harris", 2, 3.14f, "April", 42); //输出:"Harris" 2 3.14f "April" 42
cout << endl;
return 0;
}
3. Variadic 宏
Variadic 宏是参数个数可变的宏,省略号可以被指定为正式自变量,并且替换标识符 __VA_ARGS__。
#include<stdio.h>
#include<stdarg.h>
#define LOGSTRINGS(fm,...) printf(fm,__VA_ARGS__)
int main()
{
LOGSTRINGS("hello,%d",10); //输出:hello,10
return 0;
}
4. try、throw 和 catch 语句
C++ 中实现异常处理使用 try、throw 和 catch 表达式。try 是代码的受保护部分。throw 引发异常,catch 块根据异常类型处理异常。catch(...)一般用来捕获一些意想不到的异常。
4.总结
若非必要,不要使用可变参数函数。应该首先考虑函数重载等其他方法。
除非需要兼容C语言编译器,否则不要使用可变参数宏。因为这种方法最不安全;尤其是当参数为对象时这种方法易产生各种问题。毕竟这些宏是为C语言设计的,C语言中没有对象。
可变参模板看似最为强大。参数的类型可以不同、比可变参数宏更加安全并且可以自动推断参数类型和参数个数。但考虑到模板会为每一个不同的实例生成代码,如果函数的实例过多可能会使代码体积增大。另外,依靠递归使得功能具有局限性,并且效率也会受到影响