C++ Primer阅读心得（第六章）
1. C++语言使用调用操作符（一对括号）实现函数调用。调用操作符的操作数是函数名和参数列表，返回值是函数的返回值。（醍醐灌顶啊～～）
2. 函数调用时的行为：
- 实参入栈：默认行为是从右到左入栈
- 现场保护：返回地址、当前函数的栈基址、各种寄存器入栈
- 执行函数
- 恢复现场：各种寄存器出栈（恢复寄存器）、栈基址出栈（恢复栈基址）、返回地址出栈，以及各种清理工作
- 在返回地址继续执行原来的函数
void func1(int, int, int); //ok，没名字也可以
void func1(int a, int b, int) //ok，不使用就没问题
{
cout<4. 自动对象、局部对象和局部静态对象：
- 自动对象：只存在于语句块执行期间的对象被称为自动对象。由于自动对象出了块之后会被自动销毁，所以千万不要返回自动对象的指针或者引用。
- 局部对象：函数形参和函数体内部定义的对象统称为局部对象。非静态的局部对象都是自动对象。
- 静态局部对象：局部对象前加static就得到了静态局部对象。静态局部对象在程序第一次运行过它的定义时创建，直到程序退出时才被销毁，包含它定义的函数退出也不会对它造成影响。静态局部变量会被默认初始化为0.
string& func(int a) //a是局部对象也是自动对象
{
string b = "abc"; //b是局部对象也是自动对象
static int cnt = 0; //静态局部对象，非自动对象
cnt++; //函数每被调用一次，就累加一次，不受函数退出的影响
return b; //错误，b已被销毁
}5.传值、传引用、传常量引用
| 参数 | 行为 | 接收范围 | |
| 值 | 可修改，但不影响原值 | 拷贝 | 对象，表达式，常量值/表达式 |
| 引用 | 可修改，影响原值 | 传入地址，节省空间 | 对象 |
| 常量引用 | 不可修改 | 传入地址，节省空间 | 对象，表达式，常量值/表达式 |
6. 当我们为函数传入一个数组时，实际上传入的是数组首元素的指针。
void func(char a[]);
void func(char *a); //与上面的等价void func(int matrix[][10]);
void func(int (*matrix)[10]); //与上面的等价
void func(int matrix[][]); //错误，不能省略第二维- C++11风格：利用列表初始化和新增的initializer_list类型（对比vector，成员都为常量并且本身也无法被修改（根本没有修改的成员函数...））实现可变参，唯一需要注意的是initializer_list是个模板，它要求传入的数据都为同一类型。注意：必须使用列表的形式向initializer_list传递值。
void func(int i, initializer_listil){...} func(0,{1,2,3,4,5}); //ok，编译器使用{}和它里面的东西初始化initializer_list - C语言风格：int function(int para, ...)
string &GetString(vector &buffer, size_t pos)
{
return buffer[pos];
}
auto sz = GetString(buffer, pos).size(); //ok，左结合
GetString(buffer, pos) = “replacement”; //ok，返回的引用可以作为左值 vector func()
{
return {"This","is","a","test."};
} 10. 在cstdlib中定义了两个main函数的返回值：EXIT_SUCCESS和EXIT_FAILURE，它们两个是预处理变量（也就是#define出来的），与机器无关，能更好的保障跨平台编译。（话说：我真没用过，知错能改，马上使用～～）
11. 返回数组指针的函数：
int (*p) [10]; //指向大小为10的int型数组的指针
int (*func(int i)) []; //返回数组指针的函数- 尾置返回类型：（清晰多了～～）
auto func(int i) -> int *[10]; //把返回类型放在最后，用一个->指向它，在返回类型本该出现的地方放一个auto - 使用decltype简化：（临时typedef的感觉？）注意：decltype一个数组会得到一个数组类型，函数无法返回数组类型，所以必须在后面加个*，变成对应的指针类型
int a[10]; decltype(a) *func(int i); //注意加*
12. 尾递归：在函数的return语句中调用函数（函数不能在表达式中，单独的调用）被称为尾调用，如果调用的是自身，则称为尾递归。有些编译器支持尾递归，函数使用尾递归时调用函数不入栈，而是位置直接被被调用函数覆盖，所以即使递归层数很深也不会引起栈溢出。
13. 重载的函数在程序员看来是同一个函数名，但是编译之后其实是两个名字。例：int test(int a, int b)和float test(float a, float b)，编译之后函数名可能是_int_int_test和_float_float_test。
14.main函数不能重载（汗！）
15.仅仅返回值类型不同的两个函数不构成重载，非引用/指针形参与const非引用/指针形参不构成重载，例：
int func(int)
bool func(int)
//不构成重载，只有返回值类型不同
int func(int)
int func(const int)
//不构成重载，int和const int对于func来说效果一样
int func(int&)
int func(const int&)
//构成重载，int& 与 const int&是不同的类型
17.确定重载函数的步骤：
1).寻找与调用同名的函数，作为候选函数；
2).选择具有与实参个数相同形参的，类型匹配或者可转换的函数，作为可行函数；
3).寻找最佳匹配（a精确匹配，bconst转换，c类型提升(无精度损失)，d类型转换(有精度损失)，e类类型转换(单参构造函数)）
4).找到多个最佳匹配即产生二义性，报错。
18. 默认实参：如果一个形参具有默认实参，那么它后面的所有形参都必须具有默认形参，具有默认实参的函数最好定义在头文件中以减少冲突。注意：不能使用局部变量作为默认实参；该函数在调用时才会计算默认实参的值。（也就是说，在调用前修改作为默认实参的全局变量，会修改调用时默认的值）。
extern int i;
void func(int j = i){...} //ok，全局变量可以作为默认实参
void dosth()
{
i = 10;
func(); //默认参数现在变为10
}19. inline（内联）函数会在被调用点上展开它的代码，所以它应当被定义在头文件中以减少冲突；另外，在类的声明中定义的函数被默认为内联函数。不要滥用inline，因为这会导致代码规模急剧的膨胀。注意，只有在开启编译器优化的时候才有inline的行为（g++ -O0就没有，而-O2就有，并且用启发式算法决定函数是否值得inline，同时考虑文件大小，而-O3则不考虑文件大小。）#pragma auto_inline(on/off)只有在编译器开启inline的情况之下才会有作用。
20. constexpr函数：在C++11中，可以使用关键字 constexpr修饰函数，允许用户保证这个函数是编译期常数。constexpr函数要求：其返回值和形参都是字面值（返回值不能是void）；函数体中只能包含一个return语句（不是只能返回一个常量，也可以返回一个编译期可知的表达式）。当使用constexpr函数时，编译器会负责检查它是否符合要求，如果你传入一个局部变量，那么编译器会报错。constexpr函数默认是inline的，所以最好也定义在头文件中。
const int c = 2;
constexpr int get_c(int i){return i*c;} //ok
constexpr int get_cc(int i){return i*get_c(i);} //ok22. NDEBUG：#define了NDEBUG之后assert就不再工作了，我们也可以编写类似的语句来让NDEBUG统一阻止调试语句的执行。预处理器定义了_ _func_ _、_ _FILE_ _、_ _LINE_ _、_ _TIME_ _和_ _DATE_ _几个const char*类型的名字，以帮助我们打印调试信息。（这个好用啊～～）
23.函数指针：
//声明
bool (*pf) (int, int);
//初始化
bool comp(int a, int b){...}
pf = comp;
int a, b;
(*pf)(a, b);
//数组
bool (*pf[10]) (int, int);
//做参数
int func(int, int, bool(int, int));
//做返回值
bool (*func(int, int)) (int, int)
//使用typedef能简化
typedef bool(*cmpfnc) (int, int)
cmpfnc pf;
int func(int, int, cmpfnc)
cmpfnc func(int, int)
//使用decltype简化，注意decltype返回的是函数类型，需要加个*才是指针
decltype(comp) *func(int,int)