实例讲解在C++的函数中变量参数及默认参数的使用

包含变量参数列表的函数
如果函数声明中最后一个成员是省略号 (...)，则函数声明可采用数量可变的参数。在这些情况下，C++ 只为显式声明的参数提供类型检查。即使参数的数量和类型是可变的，在需要使函数泛化时也可使用变量参数列表。函数的系列是一个使用变量参数列表的函数的示例。printfargument-declaration-list
包含变量参数的函数
若要访问声明后的参数，请使用包含在标准包含文件 STDARG.H 中的宏（如下所述）。

采用数量可变的参数的函数声明至少需要一个占位符参数（即使不使用它）。如果未提供此占位符参数，则无法访问其余参数。
当 char 类型的参数作为变量参数进行传递时，它们将被转换为 int 类型。同样，当 float 类型的参数作为变量参数进行传递时，它们将被转换为 double 类型。其他类型的参数受常见整型和浮点型提升的限制。

使用参数列表中的省略号 (...) 来声明需要变量列表的函数。使用在 STDARG.H 包含文件中描述的类型与宏来访问变量列表所传递的参数。有关这些宏的详细信息，请参阅 va_arg、va_copy、va_end、va_start。（处于 C 运行时库文档中）。
以下示例演示如何将宏与类型一起使用（在 STDARG.H 中声明）：va_listva_endva_argva_start

// variable_argument_lists.cpp
#include <stdio.h>
#include <stdarg.h>

// Declaration, but not definition, of ShowVar.
void ShowVar( char *szTypes, ... );
int main() {
  ShowVar( "fcsi", 32.4f, 'a', "Test string", 4 );
}

// ShowVar takes a format string of the form
//  "ifcs", where each character specifies the
//  type of the argument in that position.
//
// i = int
// f = float
// c = char
// s = string (char *)
//
// Following the format specification is a variable 
// list of arguments. Each argument corresponds to 
// a format character in the format string to which 
// the szTypes parameter points 
void ShowVar( char *szTypes, ... ) {
  va_list vl;
  int i;

  // szTypes is the last argument specified; you must access 
  // all others using the variable-argument macros.
  va_start( vl, szTypes );

  // Step through the list.
  for( i = 0; szTypes[i] != '\0'; ++i ) {
   union Printable_t {
     int   i;
     float  f;
     char  c;
     char  *s;
   } Printable;

   switch( szTypes[i] ) {  // Type to expect.
     case 'i':
      Printable.i = va_arg( vl, int );
      printf_s( "%i\n", Printable.i );
     break;

     case 'f':
       Printable.f = va_arg( vl, double );
       printf_s( "%f\n", Printable.f );
     break;

     case 'c':
       Printable.c = va_arg( vl, char );
       printf_s( "%c\n", Printable.c );
     break;

     case 's':
       Printable.s = va_arg( vl, char * );
       printf_s( "%s\n", Printable.s );
     break;

     default:
     break;
   }
  }
  va_end( vl );
}
//Output: 
// 32.400002
// a
// Test string

上一个示例演示以下重要概念：
在访问任何变量参数前，必须建立一个列表标记作为类型 va_list 的变量。在前面的示例中，该标记称为 vl。
使用 va_arg 宏访问各个参数。必须告知 va_arg 宏要检索的参数的类型，以便它可以从堆栈中传输正确的字节数。如果为 va_arg 指定的大小的类型与通过调用程序提供的类型不同，则结果是不可预知的。
应将使用 va_arg 宏获取的结果显式强制转换为所需类型。
必须调用宏以终止可变参数处理。va_end

默认参数
在许多情况下，函数具有不常使用的参数，因为使用默认值便已足够。为了解决此问题，默认参数工具允许为函数仅指定在给定调用中有意义的参数。为了阐释此概念，请考虑函数重载中所示的示例。

// Prototype three print functions.
int print( char *s );         // Print a string.
int print( double dvalue );      // Print a double.
int print( double dvalue, int prec ); // Print a double with a
// given precision.

在许多应用程序中，可为 prec 提供合理的默认值，从而消除对两个函数的需求：

// Prototype two print functions.
int print( char *s );          // Print a string.
int print( double dvalue, int prec=2 ); // Print a double with a
// given precision.

略微更改了 print 函数的实现以反映类型 double 仅存在一个此类函数这一事实：

// default_arguments.cpp
// compile with: /EHsc /c

// Print a double in specified precision.
// Positive numbers for precision indicate how many digits
// precision after the decimal point to show. Negative
// numbers for precision indicate where to round the number
// to the left of the decimal point.

#include <iostream>
#include <math.h>
using namespace std;

int print( double dvalue, int prec ) {
  // Use table-lookup for rounding/truncation.
  static const double rgPow10[] = { 
   10E-7, 10E-6, 10E-5, 10E-4, 10E-3, 10E-2, 10E-1, 10E0,
     10E1, 10E2, 10E3, 10E4, 10E5, 10E6
  };
  const int iPowZero = 6;
  // If precision out of range, just print the number.
  if( prec >= -6 && prec <= 7 )
   // Scale, truncate, then rescale.
   dvalue = floor( dvalue / rgPow10[iPowZero - prec] ) *
   rgPow10[iPowZero - prec];
  cout << dvalue << endl;
  return cout.good();
}

若要调用新的 print 函数，请使用如下代码：

print( d );  // Precision of 2 supplied by default argument.
print( d, 0 ); // Override default argument to achieve other
// results.

使用默认参数时，请注意以下几点：
默认参数仅在其中省略了尾随参数的函数调用中使用 - 它们必须是最后的参数。因此，以下代码是非法的：

int print( double dvalue = 0.0, int prec );

默认参数不能在以后的声明中重新定义，即使重新定义的参数与原始参数相同也是如此。因此，以下代码将生成错误：

// Prototype for print function.
int print( double dvalue, int prec = 2 );

...

// Definition for print function.
int print( double dvalue, int prec = 2 )
{
...
}

此代码的问题在于定义中的函数声明重新定义了 prec 的默认参数。
以后的声明可添加额外的默认参数。
可为指向函数的指针提供默认参数。例如:

int (*pShowIntVal)( int i = 0 );