c++中的省略号

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语言中没有对象。 
    可变参模板看似最为强大。参数的类型可以不同、比可变参数宏更加安全并且可以自动推断参数类型和参数个数。但考虑到模板会为每一个不同的实例生成代码，如果函数的实例过多可能会使代码体积增大。另外，依靠递归使得功能具有局限性，并且效率也会受到影响