指针形参

当函数使用指针作为形参时， 本质也是使用传值参数， 只是传递的是变量的地址，所以可以通过指针修改它所指的对象的值， 但是在c++ 中推荐使用引用类型的形参替代指针。

传引用参数

使用引用传参可以避免拷贝操作， 提搞程序的效率。 尤其是拷贝大的类类型或者容器对象比较低效，或者有的类类型就不支持拷贝操作。引用形参也为我们一次返回多个结果提供了途径。

const形参和实参

初始化过程中，会把顶层const，所以初始化时，形参的顶层const被忽略掉了。当形参有顶层const时，传给它常量对象或者非常量对象都是可以的。 

void func(const int i) {} // func可以读取i的值，但是不能向i写值， 这个const 有点多余，写入代码会很low

另外， 函数的参数尽量使用常量引用。

数组形参

数组有两个特殊的性质：

  1. 不允许拷贝数组

  2. 使用数组时（通常）会将其转换成指针（decltype中，数组不会转换为指针）

    因为数组不能拷贝，所以数组不能进行值传递， 因为数组会被转换为指针，所以当我们为函数传递一个数组时，实际上传递的是指向数组首元素的指针。 另外，只有当函数确实要改变元素值的时候，才把形参定义成指向非常量的指针。

含有可变形参的函数

initializer_list形参

如果函数的实参数量未知但是全部实参类型相同，我们可以使用initializer_list类型的形参。 它和vector一样是模板类型，但是有一点不同的是initializer_list对象中的元素永远是常量值。

void error_msg(initializer_list<string> li)
{
    for (auto beg = li.begin(); beg != li.end(); beg++)
    {
        cout << *beg << endl;
    }
}
省略符形参

省略符是为了便于c++程序访问某些特殊的c代码而设置的。这些代码使用了名为varargs的c标准库功能。 

int average ( int n, ... )
{
     int sum = n, count = 1, p;
     va_list arg_ptr;
     if ( n < 0 ) return 0;
     va_start( arg_ptr, n );                         // arg_ptr指向第一个变参
     while( ( p = va_arg( arg_ptr, int ) ) >= 0 )    // 指向下一个参数，并且是int型
     {
         sum += p;
         count++;
     }
     va_end( arg_ptr );                              // 复位指针
     return sum/count;
}