函数
函数定义包括4部分:返回值类型,函数名字,形参列表,函数体
通过调用运算符来执行函数,调用运算符是圆括号,作用于一个表达式,表达式是函数或者指向函数的指针:圆括号之内是一个逗号隔开的实参列表,用实参初始化函数的形参。调用表达式的类型就是函数的返回类型。
函数的形参列表
void f1(){}隐式定义空形参列表
void f2(void){}显式定义空形参列表
即使两个形参类型一样也必须把类型都写出来不能省略。
int f3(int v1, int v2){}
函数的返回类型
函数的返回类型不能是数组类型或函数类型,但可以是指向数组或函数的指针。
函数声明
函数只能定义一次,但可以多次声明。
如果一个函数永远都不会用到,那它可以只声明不定义。
函数声明也叫函数原型。
参数传递
每次调用函数都会重新创建它的形参,并用传入的实参对形参进行初始化。
如果形参是引用类型,它将绑定到对应的实参上,否则将实参的值拷贝后赋给形参。
形参是引用类型时,对应的实参被引用传递,函数被传引用调用。引用形参就是它对应实参的别名。
当实参的值被拷贝给形参,形参和实参是两个相互独立的对象,实参被值传递,函数被传值调用。
指针形参
指针和其他非引用类型一样,执行指针拷贝操作时,拷贝的是指针的值,拷贝过后,两个指针是不同指针,通过指针可以修改它所指对象的值。
void reset(int *ip)
{
*ip=0;改变指针ip所指对象值
ip=0;只改变ip的局部拷贝,实参没有改变
}
在c++中建议使用引用类型的形参代替指针。
数组形参
因为不能拷贝数组,所以无法以值传递的方式使用数组参数,数组会被转换成指针,所以为函数传递一个数组,实际传递的是指向数组首元素的指针。
因为数组是以指针形式传给函数,所以函数并不知道数组的大小。管理指针形参有三种技术。
使用标记指定数组长度。
使用标准库规范begin(),end()函数。
显式传递表示数组大小的形参
返回类型和return语句
无返回值函数
没有返回值的return语句只能用在返回类型是void的函数。void函数不要求有return语句,因为会隐式执行return。
void函数如果想退出,可使用return语句。
在含有return语句的循环后应该也有一条return语句,如果没有程序是错误的。
引用返回左值
调用一个返回引用的函数得到左值,其他返回类型得到右值
主函数main的返回值
允许main函数没有return语句直接结束,因为隐式插入返回值为0的return语句。
函数重载
重载函数应该在形参数量或者形参类型上有所不同。
顶层const不影响传入函数的对象,拥有顶层const的形参无法和另一个没有顶层const的形参区分开来。
如果形参是某类型的指针或者引用,通过区分指向的是常量对象还是非常量对象可以实现函数重载,此时const是底层的。
内联函数和constexpr函数通常定义在头文件中。
函数指针
函数指针指向的是函数而非对象,函数的类型。
想声明一个指向函数的指针,只需要用指针替代函数名。