1、形参的初始化与变量的初始化一样：如果形参具有非引用类型，则复制实参的值；如果形参为引用类型，则它是实参的别名。

2、可以将指向const对象的指针指向非const对象，但不能将指向非const对象的指针指向const对象。但在函数非指针非引用形参里，结果就不受约束了，不论形参是否是const类型的，只要不是引用或者指针，对应的实参既可以是const对象，也可以是非const对象。

3、令人吃惊的是，尽管函数的形参是const，但编译器却不会将形参是非const类型的同名函数视为函数重载。例如

void fcn(const int i) { /* fcn函数可以读取i的值却无法更改i的值 */}
void fcn(int i) { /* ... */} //编译器将提示"error:redefines fcn (int)"错误

其实这种用法是为了支持对C语言的兼容，因为在C语言中，具有const形参或非const形参的函数无法区别。

4、从C语言背景转到C++的程序员习惯通过传递指针来实现对实参的访问。在C++中，使用引用形参则更安全更自然。

5、如果使用引用形参的唯一目的是避免复制实参，则应将形参定义为const引用。

6、下面三种定义是等价的

void printValues(int *) { /* ... */ } 
void printValues(int [ ]) { /* ... */ } 
void printValues(int [10]) { /* ... */ } 

形参类型都是int*。

7、如果形参是数组的引用，编译器不会将数组实参实例化为指针，而是传递数组的引用本身。在这种情况下，数组大小成为形参和实参类型的一部分，编译器会检查数组实参的大小与形参的大小是否匹配。

8、 下式中,&arr两边的圆括号是必须的，因为下标操作符具有更高的优先级。如果不加圆括号就表示具有十个int型数据引用的数组。

void printValues(int (&arr)[10]);

9、数组的数组做形参:

void printValues(int (matrix *)[10], int rowSize);
void printValues(int matrix[ ][10], int rowSize);
void printValues(int matrix[7][10], int rowSize);

上面三种声明都是等价的。

10、在无法列举出传递给函数的所有实参的类型和数目时，可以使用省略符形参。省略符暂停了类型检查机制。它的出现告知编译器，当调用函数时，可以有0或者多个实参，而实参的类型未知。

11、当函数返回引用类型时，没有复制返回值，相反，返回的是对象本身，所以千万不能返回局部变量的引用。当函数执行完毕时，将释放分配给局部对象的存储空间，此时，对局部变量的引用就会指向不确定的内存。

12、返回引用的函数返回一个左值，因此，这样的函数可以用于任何要求使用左值的地方。

13、直接或者间接调用自己的函数称为递归函数。一个简单的递归函数例子是阶乘的计算。

int factorial(int val)
{
    if (val > 1)
        return factorial(val - 1) * val;
    return 1;
}

求最大公约数:

int rgcd(int v1, int v2)
{
    if (v2 != 0)
        return rgcd(v2, v1%v2);
    return v1;
}

除非注明，文章均为CppLive 编程在线原创，转载请注明出处，谢谢。

本文地址：https://www.cpplive.com/html/747.html