函数（五）：特殊用途语言特征

<基于 C++ Primer P211>
1.默认实参
（1）默认实参作为形参的初始值出现在形参列表中，一旦某一个形参被赋予了默认值，它后面的所有形参都必须有默认值。
（2）设计含有默认实参的函数时，必须合理设置形参的顺序，尽量让不怎么使用默认值的形参出现在前面，让经常使用默认值的形参出现在后面。
（3）虽然多次声明同一个函数是合法的，但是在给定的作用域中一个形参只能被赋予一次默认实参。因此，函数的后续声明只能为之前那些没有默认值的形参添加默认实参，而且该形参右侧的所有形参必须都有默认值。
（4）通常应该在函数声明中指定默认实参，并将该声明放在合适的头文件中。
（5）局部变量不能作为默认实参，注意局部变量与全局变量同名的情况。
2.内联函数和 constexpr 函数
（1）内联函数可以减少函数调用的开销。
①一次函数的调用包含这一系列的工作：调用前要先保存寄存器，并在返回时恢复；可能需要拷贝实参；程序转向一个新的位置继续执行.
②内联说明只是向编译器发出的一个请求，编译器可以选择忽略这个请求。
（2）constexpr 函数
①函数的返回值类型及所有形参的类型都得是字面值类型，而且函数体中必须有且只有一条 return 语句。
② constexpr 函数的返回值不一定返回常量表达式，可能取决于函数的实参。
（3）内联函数和 constexpr 函数可以在程序中多次定义，但多个定义必须完全一致。因此，内联函数和 constexpr 函数通常定义在头文件中。
3.调试帮助
程序可以包含一些用于调试的代码，这些代码只在开发程序时使用，当应用程序编写完成准备发布时，要先屏蔽掉调试代码。
（1）assert 预处理宏

assert(expr); // 包含在 cassert 头文件中

首先对 expr 求值，如果表达式为假，assert 输出信息并终止程序的执行。如果表达式为真，assert 什么也不做。
（2）NDEBUG 预处理变量
assert 的行为依赖于一个名为 NDEBUG 的预处理变量的状态。默认状态下没有定义 NDEBUG，此时 assert 将执行运行时的检查。如果定义了 NDEBUG， 则 assert 什么也不做。

#define NDEBUG

也可以使用 NDEBUG 编写自己的条件调试代码。如果 NDEBUG 未定义，将执行 #ifdef 和 #endif 之间的代码。
（3）五个对于程序调试有用的名字

_ _func_ _ // 存放当前调试的函数名字
_ _FILE_ _ // 存放文件名的字符串字面值
_ _LINE_ _ // 存放当前行号的整型字面值
_ _TIME_ _ // 存放文件编译时间的字符串字面值
_ _DATE_ _ // 存放文件编译日期的字符串字面值