主要内容
- 函数基础
- 参数传递
- 返回类型和return语句
- 函数重载
- 特殊用途语言特性
- 函数匹配
- 函数指针
本章主要介绍了C++中函数的相关特性,关键是参数传递中关于const引用的使用,以及函数重载部分关于重载的函数匹配的介绍,以及函数指针部分关于复杂的函数指针的定义和使用等。
难点主要是函数重载的匹配,以及函数指针的定义形式。
需要掌握的内容
调用运算符是一对云括号,作用于一个表达式,表达式是函数或者指向函数的指针。
实参的求值顺序是没有明确规定的,编译器能以任意可行的顺序对实参求值。
在定义函数的时候形参名也是可选的,但是由于我们无法使用未命名的形参,所以形参一般都应该有个名字。但是这种有什么用?虽然可以编译通过。
int funcWithAnyoPara(int, int) {
cout << "hehe" << endl;
return 0;
}
函数返回类型
函数的返回类型不能是数组或函数类型,但是可以返回数组的指针或引用,也可以返回指向函数的指针,但是不能返回指针类型。
局部对象
名字有作用域,对象有生命周期,不是一个概念:
1. 名字的作用域是程序文本的一部分,名字在其中可见。
2. 对象的声明周期是程序执行过程中该对象存在的一段时间。
作用域是相对静态的,对象声明周期是动态的。
参数传递
参数传递分为:
1. 引用传递:引用形式
2. 值传递:指针形式也是值传递
虽然可以传递指针来修改实参,但是建议使用引用类型代替指针类型。
引用
使用引用避免拷贝,例如使用string参数时,如果拷贝的话会很消耗时间,直接使用引用即可,如果不需要修改形参的值,则将其声明为常量引用。
使用引用形参返回额外参数
修改这个引用形参来返回额外参数。
const形参和实参
顶层const作用于对象本身,所以const int i = 0; 是顶层const。当实参初始化形参时会忽略掉顶层的const,形参的顶层const被忽略掉了。当形参有顶层const时,传给它常量对象或非常量对象都是可以的。
但是这种忽略掉形参的顶层const会有意想不到的结果:
void fcn(const int i) {}
void fcn(int i) {}
这样的话两个函数是重复定义,因为const直接被忽略掉了,所以两个是一样的。
忽略的是形参的const而不是实参的const。
指针或引用形参与const
形参的初始化方式和变量的初始化方式是一样的,可以使用非常亮初始化一个底层const对象,但是反过来不行。同时一个普通引用必须用同类型的对象初始化。
int i = 42;
const int *cp = &i;
const int &r = i;
const int &r2 = 42;
int *p = cp;
int &r3 = r;
int &r4 = 42;
// 后面三个都是错误的
int i = 0;
const int ci = i;
string::size_type ctr = 0;
// void reset(int &i);
// void reset(int *i);
reset(&i); // 正确
reset(&ci); //错误
reset(i); //正确
reset(ci); //错误
reset(42); //错误
reset(ctr); //错误,类型不匹配。
常量引用实际上限制了实参的传入,因为非常量引用只能传入严格匹配的类型,而常量引用可以使用字面值,求值表达式或者需要转换的对象。所以常量引用更灵活一些。而非常量引用必须要类型完全匹配,double和int的类型转换都不行。
数组形参
数组的性质有不允许拷贝数组,使用数组时一般会将其转换成指针(哪些情况不会转换?decl