本章介绍函数如何定义和声明,包括如何传入函数及函数如何返回结果,以及一些包括函数指针的知识。
6.1 函数基础
一个典型的function 定义包括以下四个部分:
- 返回类型
- 函数名字
- 形参(parameter);调用时叫做argument,实参
- 函数体
通过调用运算符(call operator)来执行函数
//阶乘
int fact(int val)// 如果函数不需要形参,可以写一个空的形参列表后者使用(void),当有多个形参时需要单独声明,int a,b 不可以 应该写成 int a , int b;只要设置了形参就必须传入实参
{
int ret=1;
while (val>1)
ret *=val--;
return ret;
}
int main()
{
int j= fact(5);//这里要注意实参是5,传入的实参必须可以被转化为形参的类型,如可以写入3.14,会被转化为3
cout<< "5!is "<<j<<endl;
return 0;
}
6.1.1 局部对象
如果想令局部变量的生命周期贯穿函数调用及之后的时间,可以将其定义为static类型,局部静态对象 直到程序结束才会被销毁。
6.1.2 函数声明
函数在使用之前需要先声明,函数的声明只需返回类型、函数名、形参类型,建议在头文件中进行声明,源文件中定义
6.2 参数传递
当形参是引用类型时我们说它对应的实参被引用传递,或者被传引用调用 passed by refrence called by reference
6.2.1 指针形参
void reset (int *ip)
{
*ip=0;
ip=0;
}
//--------------
int i=42;
reset(&i);//注意要写&
6.2.3 传引用参数
void reset(int &i)
{
i=0;
}
//----------
int j=42;
reset(j);//注意这里没有&
使用引用避免使用拷贝
使用引用形参返回额外信息!!!
6.2.3 const 形参和实参
要注意在形参的初始化时的初始化方式,借鉴第二章变量的初始化方式,在函数不会改变的形参定义时,要将其定义为常量引用
6.2.4 数组形参
要注意的数组的两个性质
- 不允许拷贝数组
- 使用数组时会将其转化为指针
我们给函数传递一个数组时,实参自动的转化为数组的手元素,所以一开始并不清楚数组的确切尺寸,指针管理形参有三种常用的技术:1.数组本身含有一个标记;2.使用标准库beg end;3.显示传入数组大小的参数
在不需要对数组执行写操作的时候,要将其指向const 指针
数组引用形参:f(int(&arr)[10])要注意其中的括号及后面的纬度,维度也是数组的一个属性
6.2.6 含有可变形参的函数
主要有两种主要的方法
- initializer_list, 实参数量未知但是类型相同
- 省略符
initializer_list是一种模版类型,与vector定义时格式相似:
initializer_list<string> ls;
使用时可以利用花括号传递一个序列,而且,而且,而且,拥有initializer_list的同时也可以拥有其他形参。可以使用for范围循环来处理其中的元素
省略符形参为方便c++访问c的varargs而设置,仅仅用于c和c++通用的类型。
6.3 返回类型和return
如果函数的返回值不是void,则每一条return都必须返回一个值;
但是要注意不要返回局部变量的引用或者指针!
返回值可以是vector 类型,以列表形式列出。
main函数不能调用自己;cstdlib头文件定了两个预处理变量
6.3.3 返回数组指针
函数不能返回数组,但是可以返回数组的指针或者引用。
声明一个返回数组指针的函数:
type (*function(parameter_list))[dimension]
//使用尾置返回类型
auto func(int i)->int(*)[10];
//使用decltype,如果我们知道函数返回的指针将指向哪一个数组,就可以使用decltype关键字声明返回类型
int odd[]={1,3,5,7,9};
int even[]={0,2,4,6,8};
decltype(odd) *arrPtr(int i)//decltype 表示它的返回类型是一个指针,并且该指针所指的对象与odd一致,所以返回的是一个含有5个整数的数组,但是转化为指针还需要加*
{
return (i%2)?&odd:&even;
}
6.4 函数重载
对于重载函数来说,他们应该在参数数量或者类型方面有所不同,不允许只有返回类型不同。
- 一个拥有顶层const的形参无法与另外一个没有顶层const的形参区分开来
- 如果形参是某种指针或者引用,可以通过区分其指向的对象是常量还是非常量来区分开来,此时const是底层的
- const_cast 可以用来在重载中进行const的转换
6.4.1 重载与作用域
函数重载时首先会在局部作用域中寻找,并且如果如果发现相应函数,就会隐掉外层的函数。
6.5 特殊用途语言特性
默认实参;内联函数;constexpr函数
6.5.1 默认实参
设计时应该注意尽量让不怎么使用默认值的放在前面,经常使用的放在后面。
在声明时,不能为一个已经声明默认值的函数,更改默认值,但是可以添加默认值。
6.5.2 内联函数
调用函数一般比求等价的表达式要慢一些,一般需要提前保存寄存器,返回时回复,可能拷贝实参,转向一个新的位置执行。
在返回类型前加入inline就会声明成内联函数,但是有时候编译器会忽略掉这个inline的请求
constexpr函数隐式的被指定为内联函数,但是它要求返回类型和所有参数的类型都是字面值类型且只有一个return。
注意constexpr的返回值不一定时常量!
constexpr和内联函数可以在程序里多次定义,但是多个定义必须一直,所以他们一般在头文件中定义。
6.5.3 调试帮助
程序可以包含一些调试代码,但是这些代码只在开发程序时使用,发布时需要屏蔽掉调试代码。可以使用两个预处理功能:assert NDEBUG
- assert
程序中不可以再自定义一个assert变量、函数或者其他实体
- NDEBUG
assert 依赖于预处理变量NDEBUG的状态,如果定义了NDEBUG则assert什么也不做,同时也可以自己定义一些在#ifndef NDEBUG 和#endif中间的调试代码
6.6 函数匹配
小整形一般都会提升到int类型或者更大的整数类型,不会转换为相对小的比如short
Record lookup (Account &);
Record lookup (const Account &);
const Account a;
Account b;
lookup (a);//不能把普通引用绑定到const对象上,所以只有常量版本合适
lookup (b);//这里传入的是非常量对象,对于这个调用来说,两个函数都可行,但是精确匹配用的时非常量版本
6.7 函数指针
函数指针指向的时函数而非对象。只需要将函数名替换为指针即可!
如bool (*pf)(const string &,const string &);
使用
bool (*pf)(const string &,const string &);
pf=lengthComoare;//把函数名作为一个值使用,lengthCompare需要和pf精确匹配
pf=&lengthCompare;
bool b1=pf ("hello","good");
bool b2=(*pf)("hello","good");
bool b3=lengCompare("hello","good");
函数指针形参类似与数组,形参为函数时自动变为指针
可以使用类型别名typedef decltype可简化代码
返回指向函数的指针:
不能返回函数,只能返回对应的指针:
using F=int(int*,int);//函数类型
using PF=int(*)(int*,int);//PF时指针
PF f1(int);//f1返回指向函数的指针
F f1(int);//错误,F时函数类型,
F *f1(int);//正确,显示的制定返回类型是指向函数的指针
int (*f1(int))(int*,int);
auto f1 (int)->int(*)(int*,int);