【C++Primer笔记】第六章 函数

实参是形参的初始值
void fun()；表示隐式地定义空形参列表
void fun(void)；void作为参数表示显式地定义空形参列表

函数体是一个语句块。块构成一个新的作用域，可以在其中定义变量。
形参和函数体内部定义的变量统称为局部变量(local variable)。它们对函数而言是“局部”的，仅在函数的作用域内可见，同时局部变量还会隐藏(hide)在外层作用域中同名的其他所有声明中。

对于普通局部变量对应的对象来说，当函数的控制路径经过变量定义语句时创建该对象，当到达定义所在的块末尾时销毁它。我们把只存在于块执行期间的对象称为自动对象
(automatic object)。当块的执行结束后，块中创建的自动对象的值就变成未定义的了。
形参是一种自动对象。函数开始时为形参申请存储空间，因为形参定义在函数体作用域之内，所以一旦函数终止，形参也就被销毁。
我们用传递给函数的实参初始化形参对应的自动对象。对于局部变量对应的自动对象来说，则分为两种情况：如果变量定义本身含有初始值，就用这个初始值进行初始化；否
则，如果变量定义本身不含初始值，执行默认初始化。这意味着内置类型的未初始化局部变量将产生未定义的值。
某些时候，有必要令局部变量的生命周期贯穿函数调用及之后的时间。可以将局部变量定义成static类型从而获得这样的对象。
局部静态对象(local static object).在程序的执行路径第一次经过对象定义语句时初始化，并且直到程序终止才被销毁，在此期间即使对象所在的函数结束执行也不会对它有影响。

函数的声明和函数的定义非常类似，唯一的区别是函数声明无须函数体，用一个分号替代即可。

使用引用形参避免拷贝操作，如果函数无须改变引用形参的值，最好将其声明为常量引用
使用引用形参返回额外信息

const int ci=42;//不能改变ci,const是顶层的
int i=ci;//正确：当拷贝ci时，忽略了它的顶层const
int * const p=&i;//const是顶层的，不能给p赋值
*p=0;//正确：通过p改变对象的内容是允许的，现在i变成了0

int i=42;
const int * cp=&i;//正确：但是cp不能改变i
const int &r=i;//正确：但是x不能改变i
const int & r2=42;//正确
int * p=cp;//错误：p的类型和cp的类型不匹配
int & r3=r;//错误：r3的类型和r的类型不匹配
int & r4=42;//错误：不能用字面值初始化一个非常量引用
   
当使用argv中的实参时，一定要记得可选的实参从argv[I]开始；argv[0]保存程序的名字，而非用户输入。

initializer_list形参和省略符形参(…)

不要返回局部对象的引用或指针,函数完成后，它所占用的存储空间也随之被释放掉,函数终止局部变量的引用将指向不再有效的内存区域.

main函数不能重载
在C++语言中，名字查找发生在类型检查之前。
调用重载函数时应尽量避免强制类型转换。
如果在实际应用中确实需要强制类型转换，则说明我们设计的形参集合不合理。

//比较两个string对象的长度
bool lengthCompare(const string &const string &);

//pf指向一个函数，该函数的参数是两个const string的引用，返回值是bool类型
bool(*pf)(const string&,const string&);//未初始化

//声明一个名为pf的函数，该函数返回boo1*
bool *pf(const string &,const string &);

//使用函数指针
pf=lengthCompare;//pf指向名为lengthCompare的函数
pf=&lengthCompare;//等价的赋值语句：取地址符是可选的

bool b1=pf(“hello”,“goodbye”);//调用lengthCompare函数
bool b2=(*pf)(“hello”,“goodbye”);//一个等价的调用
bool b3=lengthCompare(“hello”,“goodbye”);//另一个等价的调用

重载函数的指针
当我们使用重载函数时，上下文必须清晰地界定到底应该选用哪个函数。
如果定义了指向重载函数的指针
void ff(int*);
void ff(unsigned int);
void (*pfl)(unsigned int)=ff;//pfl ff(unsigned)
编译器通过指针类型决定选用哪个函数，指针类型必须与重载函数中的某一个精确匹配
void (*pf2)(int)=ff;//错误：没有任何一个fE与该形参列表匹配
double (pf3)(int)=ff;//错误：ff和pf3的返回类型不匹配

//函数指针作形参,虽然不能定义函数类型的形参，但是形参可以是指向函数的指针。此时，形参看起来是函数类型，实际上却是当成指针使用：
//第三个形参是函数类型，它会自动地转换成指向函数的指针
void useBigger(const string &s1,const string &s2,bool pf(const string &const string &))
//等价的声明：显式地将形参定义成指向函数的指针
void useBigger(const string &s1,const string &s2,bool (*pf)(const string &const string &))
//自动将函数lengthCompare转换成指向该函数的指针
useBigger(s1,s2,lengthCompare);

decltype简化
//Func和Func2是函数类型
typedef bool Func(const string&,const string&);
typedef decltype(lengthCompare) Func2;//等价的类型
//FuncP和FuncP2是指向函数的指针
typedef bool(*FuncP)(const string&,const string&);
typedef decltype(lengthCompare)*FuncP2;//等价的类型

inline函数

constexpr函数,constexpr函数不一定返回常量表达式。