第08章 函数探幽

8.1 内联函数

• 用函数代码替换函数调用
• 运行速度稍快，占用更多内存
• 每一次调用都保存函数代码的一个副本

有选择性使用内联函数，函数执行代码大于函数调用机制的时间，并没有那么大优势

使用方式

• 在函数声明前加 inline
• 在函数定义前 inline

通常是省略原型，将整个定义（函数头和函数代码）放在本应提供原型的地方

内联函数不能递归

内联与宏

// 宏函数
#define SQUARE(X) X*X
SQUARE(5.0);        // 5.0*5.0
SQUARE(4.5+7.5);    // 4.5+7.5*4.5+7.5 并不是 12*12

#define SQUARE(X) (X)*(X)
SQUARE(4.5+7.5);    // 12*12
SQUARE(4.5+7.5);    // (4.5+7.5)*(4.5+7.5)=12*12

// 但依然存在问题
int i = 2.5;
SQUARE(i++);        // (i++)*(i++)  会进行两次 ++ 操作

// 而内联函数能更好处理上述这些问题

8.2 引用变量

引用是已定义的变量的别名（另一个名称）

• 主要用作函数的参数
• 引用使得函数使用参数的原始数据，而非参数的副本
• 除了指针意外一种方便处理大型结构的方式
• 类
• 引用和变量指向相同的值和内存

引用和指针区别

• 引用在声明时必须初始化，类似 const 指针
• 不能通过赋值来改变引用所绑定的变量

int rats = 101;
int *pt = &rats;
int & rodents = *pt;
int bunnies = 50;
pt = &bunnies;

rodents 仍然是 101，不能通过 pt 来改变 rodents 和 rats 的绑定关系

引用用作函数参数

• 按引用传递

C语言只能按值传递，按值传递导致被调函数使用调用程序的值的拷贝，所以C语言提供了指针传递的方式避开值传递的限制

传递引用的限制更严格，实参应该是变量，表达式不被允许，较老的编译器会发出警告。

在参数为const引用时，如果实参与引用参数不匹配，C++将生成临时变量。

• 实参类型正确，但不是 左值
• 实参类型不正确，但可以转换为正确的类型

以上情况将生成临时变量，此时函数的行为类似于按值传递，原始数据不被修改

左值：

• 可以被引用的数据对象，变量，数组元素，结构成员，引用，和解除引用的指针
• const 变量

非左值：

• 字面常量，引号括起来的字符串除外
• 多项表达式

尽可能使用 const

• 可以避免无意中修改数据
• 使函数能够处理 const 和 非 const 实参，否则只能接受非 const 数据
• 引用使函数能够正确生成并使用临时变量

与指针类似，返回引用时，应避免返回函数终止时不再存在的内存单元，如下：

const free_throws & clone(free_throws & ft)
{
    free_throws & newft;
    newft = ft;
    return newft;
}

何时使用引用参数

使用引用参数的主要原因：

• 修改调用函数中的数据对象
• 通过传递引用而不是整个数据对象的拷贝，可以提高运行速度

对于使用传递的值而不作修改的函数

• 如果数据对象很小，如内置数据类型或小型结构，按值传递
• 如果数据对象是数组，则使用 const 指针
• 如果数据对象是较大的结构，则使用 cosnt 指针或 const 引用，提高效率，节省复制结构需要的时间和空间
• 如果数据对象是类对象，使用 const 引用

对于修改调用函数中数据的函数

• 如果数据对象是内置数据类型，使用指针
• 如果数据对象是数组，只能使用引用或指针
• 如果数据对象是类对象，则使用引用

8.4 函数重载

函数重载的关键是函数的参数列表：

• 参数数目
• 参数类型
• 排列顺序
• 与返回类型无关

类型引用和类型本身视为同一个特征标

// 会产生混乱
double cube(double x);
double cube(double & x);

重载引用参数

void staff(double & rs);    // modifiable lvalue
void staff(const double & rcs); // rvalue, const lvalue

void stove(double & r1);    // modifiable lvalue
void stove(const double & r2);  // const lvalue
void stove(double && r3);   // rvalue

在 stove(double && r3) 的影响下，stove 第二个函数表现出了跟 staff 第二个函数不同的特性，只能匹配不可修改的左值（const lvalue）

double x = 55.5;
const double y = 32.0;
stove(x);   // stove(double &)
stove(y);   // stove(const double &)
stove(x+y); // stove(double &&)
//如果没有定义函数 stove(double &&)，stove(x+y) 将调用函数 stove(const double &)

如果没有定义函数 stove(double &&)，stove(x+y) 将调用函数 stove(const double &)

8.5 函数模板