C++ Primer 第七章-函数学习笔记
一步一个脚印、循序渐进的学习。
一、参数传递
- 每次调用函数时，都会重新创建函数所有的形参，此时所传递的实参将会初始化对应的形参。
- 「如果形参是非引用类型，则复制实参的值来初始化形参；如果形参是引用类型，则形参只是实参的别名。」
- 「非引用形参表示对实参的局部副本，函数内修改此类型形参时仅仅改变局部副本的值，一旦函数执行结束，这些局部变量的值就没有了，因此不影响实参的值。」
- 「如果函数参数为指针，同样形参是实参的副本，修改形参指针的值不影响实参，但是如果修改形参指针所指向的值则会影响实参。」
void reset1(int *p)
{
*p = ;//修改形参所指向的值，则实参所指向的值也会改变，变为0
} void reset2(int *p)
{
p = ;//仅修改形参值，不影响实参值，即实参还是原来的地址，而形参的地址变为0
} void main()
{
int i = ;
reset1(&i);
printf("i = %d \n",i);// i = 0 i = ;
reset2(&i);
printf("i = %d \n",i); // i = 2
}
- 「如果想要保护指针指向的值，则需要将指针定义为const，表示当前指针所指向的值可读不可写。」
void reset3(const int *p)
{
p = ;//ok
*p = ;//error,不允许修改p所指向的值
}
- 可以用非const指针初始化const指针，但不允许使用const指针初始化非const指针。例如：
int i = ;
const int *p1 = &i;//ok, 非const指针初始化const指针
int p2 = p1;//error, 不能用const指针初始化非const指针，报语法错误
- 当函数的参数是非引用（或非指针）非const的类型时，在调用该函数时，实参既可以是const类型的，也可以是非const类型的。
如果需要在函数内部修改实参值，则需要将形参定义为引用或者指针。
const修饰变量，表示该变量不可修改，这是对于基本数据类型而言。对于指针来说，有两种情况：
int num = ;
int num2 = ;
const int *p1 = #// *p1 = 20 不允许修改
int * const p2 = #// p2 = &num2 不允许
- 第三行这种写法表示p1所指向的值是const类型的，不允许修改其所指向的值。
- 第四行这种写法表示p2这个指针是const类型的，不允许给该指针重新赋值。
- 指向指针的引用
写法：int *&p1
从右向左理解，表示p1是一个引用，与该引用绑定的是一个int型的指针。
这种写法一般常用函数的参数，
举例说明：实现一个函数，该函数的功能是交换两个参数的值。
这有三种方法：
- 第一种方法：传递int型指针
这种情况下，形参复制实参的值，此时两者的地址值相同，即指向相同的对象。此时只是修改了指针所指向地址中的值，而并未改变指针值。
void TransNums(int *p1, int *p2)
{
int nTmp = (*p1);
*p1 = *p2;
*p2 = nTmp;
} void main()
{
int num = ;
int *p2 = #
int numP3 = ;
int *p3 = &numP3; printf("未交换-指针值：p2 = %d, p3 = %d num = %d numP3 = %d\n", *p2, *p3,num,numP3);
TransNums(p2, p3);
printf("交换-指针的值：p2 = %d, p3 = %d num = %d numP3 = %d\n", *p2, *p3,num,numP3);
}
打印结果：
未交换-指针值：p2 = 10, p3 = 30 num = 10 numP3 = 30
交换-指针的值：p2 = 30, p3 = 10 num = 30 numP3 = 10
「表示修改了指针所指向的值，而并未改变指针」
- 第二种方法：传递int性引用
形参是实参的别名，等同于实参。
void TransNumsRef(int &num1, int &num2){
int nTmp = num1;
num1 = num2;
num2 = nTmp;
}
void main()
{
int num = ;
int numP3 = ;
printf("未交换-实参值：num = %d, numP3 = %d\n", num, numP3);
TransNumsRef(num, numP3);
printf("交换-实参的值：num = %d, numP3 = %d\n", num, numP3);
}
打印结果：
未交换-实参值：num = 10, numP3 = 30
交换-实参的值：num = 30, numP3 = 10
- 第三种方法：传递指针引用参数
此时形参为引用，指向指针，这种情况下修改了指针，即指针的值(或地址)改变了
void TransNumsPRef(int *&p1, int *&p2)
{
int *pTmp = p1;
p1 = p2;
p2 = pTmp;
} void main()
{
int num = ;
int *p2 = #
int numP3 = ;
int *p3 = &numP3;
printf("未交换-指针引用值：p2 = %d, p3 = %d num = %d numP3 = %d\n", *p2, *p3,num,numP3);
TransNumsPRef(p2, p3);
printf("交换-指针引用的值：p2 = %d, p3 = %d num = %d numP3 = %d\n", *p2, *p3,num,numP3);
}
打印结果：
未交换-指针引用值：p2 = 10, p3 = 30 num = 10 numP3 = 30
交换-指针引用的值：p2 = 30, p3 = 10 num = 10 numP3 = 30
- 几种常见的表示形式：
int &arr[]--- 表示arr是一个引用数组，即arr一个数组，数组的每个元素是int类型的引用
int (&arr)[]--表示arr是一个数组的引用，数组的每个元素是int类型变量
int *arr[]----表示arr是一个指针数组，即arr是一个数组，每个元素是一个int型指针
int (*arr)[]--表示arr是一个数组的指针，即该指针指向一个数组，数组的每个元素是int变量，等同于int (arr*)[]
二、函数声明
默认实参
声明一个函数时，我们可以给定形参的默认值，这种用法就是默认实参。如果有一个或多个形参具有默认实参，那么它后面的所有形参都必须有默认实参。
一般而言，具有默认实参的形参放在参数列表的后面。应该在函数声明中提供默认实参。如果在函数定义的形参列表中提供默认实参，那么只有在包含该函数定义的源文件中调用，其默认实参才有效。
三、内联函数
- 优点：
- 减少函数调用的开销。将函数定义为内联函数，就是在程序中每个调用点上“内联的”展开。
- 注意事项：
- 不同于其他函数，内联函数定义必须在头文件中实现。
四、重载函数
重载函数：函数名相同，参数列表不同的函数。
函数名与参数列表完全相同，返回值类型不同的不能成为函数重载。即函数重载不能依赖于返回值类型。
重载和const参数：仅当形参是引用或指针时，形参是否为const才有影响。
几种情况并举例说明：
- 基于函数的引用形参是否为const实现函数重载
void lookat(int &a);
void lookat(const int &a);//新函数，即函数重载
「如果形参为非const引用，则函数调用时，不能将const类型的实参传递过来；如果传递了const对象，则必须调用带有const形参的函数。」
「如果形参为const引用，则函数调用时，既可以传递const对象，也可以传递非const对象。」
- 基于函数的指针形参是否指向const对象实现函数重载
void func(int *p);
void func(const int *p);//新函数，指向const对象
「如果形参为指向const对象的指针，则函数调用时，实参既可以是指向const对象的指针，也可以是指向非const对象的指针。」
「如果两个函数仅在指针形参是否指向const对象不同，则指向非const对象的指针形参对于指向非const对象的实参来说是最佳匹配。」
- 不能基于指针本身是否是const类型重载函数
void foo(int *p);
void foo(int * const p);//重复声明