C++Primer_Chap06_函数

返回对象类型为引用时返回的是左值。

用实参初始化形参，要满足初始化的条件。

如果函数的实参数量未知但是全部实参的类型都相同，可以使用initializer_list类型的形参。和vector一样，initializer_list也是一种模板类型，定义该对象时，必须说明列表中所含元素的类型。initializer_list与vector不一样的点在于initializer_list对象中的元素永远是常量值。（P198）

返回一个值的方式和初始化一个变量和形参的方式完全一样：返回的值用于初始化调用点的一个临时量，该临时量就是函数调用的结果。

返回数组指针：

typedef int arrT[10];

using arrT = int[10];

arrT *func( int i);        //func返回一个指向含有10个整数的数组的指针

int (*func(int i))[10];    //同上

 

重载：

string read();
void print(const string &);
void print(double);
void fooBar(int ival)
{
    bool read = false;        //新作用域：隐藏了外层的read
    string s = read();        //错误
    void print(int);          //通常来说，在局部作用域中声明函数是个不好的选择
    print("Value:");          //错误：print(const string &)被隐藏
    print(ival);              //正确：当前print(int)可见
    print(3.14);              //正确：调用print(int);print(double)被隐藏
}

默认实参：

定义时，从右往左为形参提供默认实参。

typedef string:size_type sz;
string screen(sz ht = 24, sz wid = 80, char backgrnd = ' ');

调用时，想使用默认实参，省略该实参即可，但

string window;
window = screen();                  //等价于screen(66, 80, ' ')
window = screen(66);                //等价于screen(66, 80, ' ')
window = screen(66, 256);           //等价于screen(66, 256, ' ')
window = screen(66, 256, '#');

声明时，不能修改默认值，但可以添加

string screen(sz, sz, char = ' ');
string screen(sz, sz, char = '*');            //错误：重复声明
string screen(sz = 24, sz = 80, char = ' ');  //正确：添加默认实参

默认实参初始值：

    局部变量不能作为默认实参。除此之外，只要表达式的类型能转换成形参所需要的类型，该表达式就能作为默认实参：

//wd、def和ht的声明必须出现在函数之外
sz wd = 80;
char def = ' ';
sz ht();
string screen(sz = ht(), sz = wd, char = def);
string window = screen();                       //调用screen(ht(), 80, ' ')
void f2()
{
    def = '*';                        //改变默认实参
    sz wd = 100;                      //隐藏外层定义的wd，但没有改变默认值
    window = screen();                //调用screen(ht(), 80, '*')
}

重载和const形参：

  顶层const（对象本身是常量）不影响传入函数的对象，一个顶层const的形参无法和一个没有顶层const的形参区分开来：

Record lookup(Phone);
Record lookup(const Phone);    //重复声明了Record lookup(Phone)

Record lookup(Phone *);
Record lookup(Phone * const ); //重复声明了Record lookup(Phone*)

  如果形参是某种类型的指针或引用，则通过区分其指向的是常量对象还是非常量对象可以实现函数重载，此时const是底层的：

Record lookup(Account &);
Record lookup(const Account &);    //新函数，作用于常量引用

Record lookup(Account *);            //新函数，作用于指向Account的指针
Record lookup(const Account *);    //新函数，作用于指向常量的指针

内联函数：用于优化规模较小、流程直接、频繁调用的函数。可以避免函数调用中的保存寄存器、拷贝实参、函数转向一个新的位置继续执行、返回恢复等造成的时间。

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

内联函数和constexpr函数通常定义在头文件中。

 

调试帮助：

#include<cassert>
assert(expr);                //cassert头文件

expr为0，输出为0并终止程序的执行。expr为非0，do nothing

void print(const int ia[], size_t size)
{
    #ifndef NDUBUG
    cerr << "Error:" << __FILE__                    //__FILE__:存放文件名的字符串字面值
        <<":in function " << __func__               //__func__:存放函数名的局部静态变量
        <<"at line "<<__LINE__                      //__LINE__:存放当前函数的整型字面值
        <<"Compile on" << __DATA__                  //__DATA__:存放文件编译日期的字符串字面值
        <<"at" << __TIME__<<endl;                   //__TIME__:存放文件编译时间的字符串字面值
    #endif
}