默认实参

默认实参是一种虽然并不普遍、但在多数情况下仍然适用的实参值。调用函数时，可以省略有默认值的实参。编译器会为我们省略的实参提供默认值。

默认实参是通过给形参表中的形参提供明确的初始值来指定的。程序员可为一个或多个形参定义默认值。但是， 如果有一个形参具有默认实参，那么，它后面所有的形参都必须有默认实参。

例如，下面的函数创建并初始化了一个 string 对象，用于模拟窗口屏幕。此函数为窗口屏幕的高、宽和背景字符提供了默认实参：

  string screenInit(string::size_type height = 24,
  string::size_type width = 80,
  char background = ' ' );

调用包含默认实参的函数时，可以为该形参提供实参，也可以不提供。如果提供了实参，则它将覆盖默认的实参值；否则，函数将使用默认实参值。下面的函数 screenInit 的调用都是正确的：

  string screen;
  screen = screenInit(); // equivalent to screenInit (24,80,' ')
  screen = screenInit(66); // equivalent to screenInit (66,80,' ')
  screen = screenInit(66, 256); // screenInit(66,256,' ')
  screen = screenInit(66, 256, '#');

函数调用的实参按位置解析，默认实参只能用来替换函数调用缺少的尾部实参。例如，如果要给 background 提供实参，那么也必须给 height 和 width 提供实参：

  screen = screenInit(, , '?'); // error, can omit only trailing arguments
  screen = screenInit( '?'); // calls screenInit('?',80,' ')

注意第二个调用，只传递了一个字符值，虽然这是合法的，但是却并不是程序员的原意。因为 '?' 是一个 char，char 可提升为最左边形参的类型，所以这个调用是合法的。最左边的形参具有 string::size_type 类型，这是 unsigned 整型。在这个调用中，char 实参隐式地提升为 string::size_type 类型，并作为实参传递给形参 height。

既可以在函数声明也可以在函数定义中指定默认实参。但是，在一个文件中，只能为一个形参指定默认实参一次。下面的例子是错误的：

  // ff.h
  int ff(int = 0);

  // ff.cc
  #include "ff.h"
  int ff(int i = 0) { /* ... */ } // error


如果在函数定义的形参表中提供默认实参，那么只有在包含该函数定义的源文件中调用该函数时，默认实参才是有效的。