C++ primer基础(6函数)

6.函数

6.1函数基础

函数的返回类型不能是数组或函数类型，但可以是指向数组或函数的指针。

局部对象:
在C++中，名字有作用域，对象有生命周期。
局部变量在函数体结束时便会销毁，若想让局部变量的生命周期贯穿函数调用及以后，则可以将其定义成static类型。称为局部静态对象，直到程序终止才被销毁:

size_t count_calls()
{
static size_t ctr = 0;
return ++ctr;
}
while(count_calls() != 5);

函数声明:
跟其他名字一样，函数的名字也必须在使用之前声明。类似于变量，函数只能定义一次，但可以声明多次。
函数声明无须函数体，用一个分号替代即可。
三要素：返回类型 函数名 形参类型
建议变量，函数在头文件声明，在源文件定义。

分离式编译:
如果我们修改了其中一个源文件，那么只需重新编译那个改动了的文件。

6.2参数传递

• 引用（传引用）与拷贝（传值）
• 拷贝常常十分低效，所以经常用引用，而如果函数无须改变引用形参的值，最好将其声明为常量引用:const string &s1
• 可以利用引用形参来返回多个结果

const形参和实参:
我们可以使用非常量初始化一个底层const对象，但是反过来不行。但是C++允许我们用字面值初始化常量引用。
如果不打算改变实参，则形参最好使用常量引用.

数组形参:
数组的特点在于不允许拷贝数组，以及在使用数组时(通常)会将其转换成指针。所以不能进行值传递；为函数传递一个数组时，实际上传递的是指向数组首元素的指针。
所以函数并不知道数组的确切尺寸，调用者应该为此提供一些额外的信息。管理指针形参有三种常用技术：

1. 使用标记指定数组长度：就是数组本身包含一个结束标记，如C风格字符串，它的最后一个字符后面跟着一个空字符。那么函数在处理C风格字符串时遇到空字符停止即可：

void print (const char *cp){
if (cp)
while(*cp)
cout << *cp++;
}

2.使用标准库规范：
利用标准库begin和end函数提供所需的指针

void print(const int *beg, const int *end){}
print(begin(j), end(j));

3.显示传递一个表示数组大小的形参
专门定义一个表示数组大小的形参。

数组引用形参:
形参也可以是数组的引用。此时引用形参绑定到对应的实参上，也就是绑定到数组上:

void print(int (&arr)[10])
{
for (auto elem:arr)
cout<< elem <<endl;
}

注意, 括号不可少:

f(int &arr[10])  // 错误：将arr声明成了引用的数组，不存在引用的数组
f(int (&arr)[10])  // 正确：arr是具有10个整数的整型数组的引用

还有就是在传递多维数组中常用的形参声明，括号必不可少：

f(int *matrix[10]);  // 如此声明的是10个指针构成的数组
f(int (*matrix)[10]);  // 指向含有10个整数的数组的指针

main: 处理命令行选项

int main(int argc, char *argv[]){}

第二个形参是一个数组，它的元素指向C风格字符串的指针；第二个形参表示数组中字符串的数量。因为第二个形参是数组，所以main函数也可以如下定义：

int main(int argc, char **argv){}

要注意argv[0]返回的是程序名, 后续的才是输入的信息。

含有可变形参的函数
常用标准库initializer_list<T> lst进行形参声明，它与vector很类似，但是initializer_list对象中的元素永远是常量值，我们无法修改。
还可以用省略符形参，它是为了便于C++程序访问某些特殊的C代码而设置的，这些代码使用了名为varargs的C标准库功能。

6.3返回类型和return语句

• 无返回值的函数
• 有返回值的函数
• 需要注意的是：不要返回局部对象的引用或指针，因为当函数结束时，局部变量所占的内存也会被释放。
• 利用引用返回左值，如char &get_val(string &str, string::size_type ix)，这样就能为返回类型是非常量引用的函数的结果赋值。
• 还可以用列表初始化返回值:versot<string> process(),还可以返回类类型，由类本身定义初始值如何使用。
• 还有最关键的，可以用于递归。
• 返回数组指针
• 利用typedef或者using来声明数组别名

typedef int arrT[10];
using arrT = int[10];
arrT* func(int );  // 返回一个指向含有10个整数的数组的指针

• 硬声明:千万记住函数后面紧跟数组的维度

int (*func(int i))[10]

• 使用尾置返回类型：这是C++11的一种方法，任何函数的定义都能使用尾置返回，但是这种形式对于返回类型比较复杂的函数最有效：

auto func(int i) -> int(*)[10]

• 使用decltype

6.4函数重载

如果统一作用域内的几个函数名字相同但形参列表不同，我们称之为重载函数。

• 定义重载函数
• 对于重载函数来说，它们应该在形参数量或形参类型上有所不同。不允许两个函数除了返回类型外其他所有的要素都相同

Record lookup(const Account&);
bool lookup(const Account&);  // 错误！

• 需要注意的是形参中的顶层const会被忽略，所以一个拥有顶层const的形参无法和另一个没有顶层const形参区分开来：

Record lookup(Phone);
Recorrd lookup(const Phone);  // wrong!

Record lookup(Phone*);
Recorrd lookup(Phone* const);  // wrong!

注意：是否重载函数要看哪个函数名字更容易理解，最好只重载那些确实非常相似的操作。

• const_cast和重载：const_cast可以将常量转化为非常量，非常量转化为常量。这个功能可以运用于重载，使得一些变量的读取更加安全。
• 重载与作用域：如果我们在内层作用域中声明名字，它将隐藏外层作用域中声明的同名实体。这个规则同样适用于重载函数的声明，若在局部作用域声明一个重载函数，则会隐蔽外部的同名函数。

6.5特殊用途语言特性

默认实参

• 需要注意的是，一旦某个形参被赋予了默认值，它后面所有形参都必须有默认值。
• 还有就是实参的输入是有顺序性的，从左往右。所以设计函数时候需要很合理设置形参的顺序，尽量让不怎么使用默认值的形参出现在前面，而让那些经常使用默认值的形参出现在后面。
• 通常，应该在函数声明中指定默认实参，并将该声明放在合适的头文件中。
• 局部变量不能作为默认实参。除此之外，只要表达式的类型能转换成形参所需的类型，该表达式就能作为默认实参。

内联函数
一次函数调用其实包含着一系列的工作：调用前要先保存寄存器，并在返回时恢复；可能需要拷贝实参；程序转向一个新的位置继续执行。
内联函数可以避免函数调用的开销，通常就是将它在每个调用点“内联地”展开。如下：

inline const string & shorterString(const string &s1, const string &s2)
{
return s1.size() <= s2.size() ? s1 : s2;
}

调用时：

cout << shortString(s1, s2) << endl;
//等级于
cout << （s1.size() < s2.size() ? s1 : s2) << endl;

所以一般来说，内联机制用于优化规模小、流程直接、频繁调用的函数。

constexpr函数

constexpr int new_sz(){rerturn 42;}

• 规定：函数的返回类型及所有形参的类型都是字面值类型，而且函数体中必须有且只有一条return语句。
• constexpr函数被隐式地指定为内联函数。
• conexpr函数体内也可以有其他语句，只要这些语句在运行时不执行任何操作就行。例如空语句、类型别名以及using声明。
• constexpr函数不一定返回常量表达式

和其他函数不一样，内联函数和constexpr函数可以在程序中多次定义。不过，对于某个给定的内联函数或者constexpr函数来说，它的多个定义必须完全一致。基于这个原因，内联函数和constexpr函数通常定义在头文件中。

调试帮助
程序可以包含一些用于调试的代码，但是这些代码只在开发程序时使用。当应用程序编写完成准备发布时，要先屏蔽掉调试代码。这种方法用到两项预处理功能：assert和NDEBUG
assert预处理宏

assert (expr);

对expr求值，假则输出信息并终止程序的运行；为真则什么也不做。
assert宏定义在cassert头文件中。所以它是预处理变量，运行于编译器之前。assert宏常用于检查“不能发生”的条件。
NDEBUG预处理变量
assert的行为依赖与一个名为NDEBUG的预处理变量的状态。**如果定义了NDEBUG则assert什么也不做。默认状态下没有定义NDEBUG，此时assert将执行运行时检查。**可以利用编译器如下定义：

CC -D NDEBUG main.C  # use /D with the Microsoft compiler 

相当于在mian.c文件的一开始写#define NDEBUG
除了用于assert, 也可以使用DEBUG编写自己的条件调试代码。如果NDEBUG未定义，将执行#ifndef和#endif之间的代码：如果定义了NDEBUG，这些代码将被忽略掉：

void print(const int ia[], size_t size)
{
#ifndef NDEBUG
// __func__是编译器定义的一个局部静态变量，用于存放函数的名字
cerr << __func__ << ": array size is " << size << endl;
#endif
}

除了这个外，预处理器还定义了另外4个对于程序调试很有用的名字：

• __FILE__存放文件名的字符串字面值
• __LINE__存放当前行号的整形字面值
• __TIME__存放文件编译时间的字符串字面值
• __DATE__存放文件编译日期的字符串字面值

6.6函数匹配

实参类型转换：

1. 精确匹配，包括以下情况：

• 实参类型与形参类型相同
• 实参从数组类型或函数类型转换成对应的指针类型
• 向实参添加顶层const或者从实参中删除顶层const

2. 通过const转换实现的匹配
3. 通过类型提升实现的匹配
4. 通过算数类型转换或指针转换实现的匹配
5. 通过类类型转换实现的匹配。

6.7函数指针

函数指针指向的是函数而非对象。
声明一个指向函数的指针，用指针替换函数名即可：

bool (*pf)(const string&)

使用函数指针
1.当把函数名作为一个值使用时，该函数自动转换成指针。

pf =lengthCompare;

2.可以直接使用指向函数的指针调用该函数，无须解引用。

bool b1 = pf("hello")
bool b2 = (*pf)("hello")  // 等价

3.在指向不同函数类型的指针间不存在转换规则(相同意味着返回类型和形参列表一样)。但是可以为函数指针赋0值。

重载函数的指针
函数指针可以精确地匹配某一个重载函数

函数指针形参
形参可以是指向函数的指针

void useBigger(const string &s1, bool pf(const string&))

可以直接把函数作为实参使用，此时它会自动转换成指针。

useBigger(s1, lengthCompare);

如此作为形参可能有点冗余，此时可以利用别名，但是要注意，利用dectltype得到的是函数类型，需要显示地加上*以声明是指向函数的指针类型：

typedef dectltype(lengthCompare) *FunP;

返回指向函数的指针
要想声明一个返回函数指针的函数，最简单的办法是使用类型别名：

using F = int(int*, int);  // F是函数类型，不是指针
using PF = int(*)(int*, int);  // PF是指针类型

需要注意，和函数类型的形参不一样，返回类型不会自动地转换成指针。所以必须显式地将返回类型指定为指针：

PF f1(int);  // TRUE
F f1(int);  // FALSE
F *f1(int);  // TRUE