C++ primer plus读书笔记——第8章 函数探幽

第8章 函数探幽

1. 对于内联函数，编译器将使用相应的函数代码替换函数调用，程序无需跳到一个位置执行代码，再调回来。因此，内联函数的运行速度比常规函数稍快，但代价是需要占用更多内存。

2. 要使用内联函数，需要在：

函数声明前加上关键字inline;

函数定义前加上关键字inline;

3. 程序员请求将函数作为内联函数时，编译器不一定会满足这种需求。它可能认为该函数过大或注意到函数调用了自己（内联函数不能递归）。

4. 必须在声明引用变量时进行初始化

int rat = 101;

int & rodents = rats;

C语言只能按值传递，按引用传递是C++新增的特性。

1. 5.  如果程序员的意图是让函数使用传递给它的信息，而不对这些信息进行修改，同时又想使用引用，则应使用常量引用。

double refcube(const double &ra);

6. 当函数参数为常量引用时，什么时候创建临时变量呢？

有两种情况：

实参的类型正确，但不是左值；

实参的类型不正确，但可以转换为正确的类型。

double refcube(const double &ra)

{

return ra * ra * ra;

}

long edge = 5L;

double c5 = refcube(edge);

double c6 = refcube(7.0);

在上述两种情况下，编译器将生成一个临时匿名变量，并让ra指向它。这些临时变量只在函数调用期间存在，此后编译器便可以随意将其删除。

7. 对于形参为cosnt引用的C++函数，如果实参类型不匹配，则其行为类似于按值传递，为确保原始数据不被修改，将使用临时变量，该函数调用的参数的值传递给该匿名临时变量，并让参数来引用该变量。

8. 如果函数参数不是常量引用，而是普通引用，则实参不能是左值，而且必须类型严格匹配，否则编译出错。

double refcube(double &ra)

{

return ra * ra * ra;

}

double x = 3.0;

cout << refcube(x + 2.0);//错误，此时实参不能是左值

long a = 3;

cout << refcube(a);//错误，此时实参类型和形参不匹配

如果参数改成const double &ra则能够成功编译。为什么呢？P263

如果double refcube(double &ra)函数的意图是修改该变量ra，则创建临时变量将阻止该意图的实现，解决办法是禁止创建临时变量，现在的C++标准正是这么做的。而double refcube(const double &ra)

该函数的目的只是使用传递的值，而不是修改它们，因此临时变量不会造成任何不利的影响，反而会使函数在可处理的参数种类方面更加通用。

9. 将引用参数声明为常量数据的引用的理由有三个：

使用const可以避免无意中修改数据的编程错误；

使用const使函数能够处理const和非const实参，否则只能接受非const数据；

使用const引用使函数能够正确生成并使用临时变量，使函数能处理更多的参数种类。

10. 引入引用的目的是用于结构和类，而不是基本的数据类型。

11. P268为何将const用于引用返回类型

如果函数的返回类型为类型引用，则可以用作左值。这是因为赋值语句左边表达式必须返回一个可修改的内存块，而函数返回引用确实标识的是这样的一个内存块。

Accumulate（dup, five）= four;

而常规返回类型是右值。因为这样的返回值位于临时内存单元中，运行到下一条语句，它们可能不再存在。

假设您要使用引用返回值，但又不允许执行像给accumulate()赋值这样的操作，只需将返回类型声明为const引用。

12. 继承的另一个特征是，基类引用可以指向派生类对象，而无需进行强制类型转换。

13. ostream是基类，ofstream是派生类

14. 对于带参数列表的函数，必须从右向左添加默认值。也就是说，也为某个参数设置默认值，则必须为它右边所有的参数提供默认值。

int harpo(int n, int m = 4, int j = 5);

实参必须从左到右依次赋给相应的形参，而不能跳过任何参数。

Beeps = harpo(3, , 8);是不允许的。

15. 函数重载也称为函数多态。函数重载的关键是函数的参数列表（即函数特征标）。编译器在检查函数特征标时，将把类型引用和类型本身视为同一个特征标。

16. C++如何跟踪每一个重载的函数呢？它根据函数原型中指定的形参类型对每个函数名进行名次修饰（name decoration）。

17. 在C++98添加关键字typename之前，C++使用关键字class来创建模板。

18. P285~P288显示具体化。

对于给定的函数名，可以有非模板函数、模板函数、显式具体化目标函数以及它们的重载版本。

显式具体化的原型和定义应以template<>打头，并通过名次来指出类型。

具体化优先于常规模板，而非模板函数优先于具体化和常规模板。

19. 为进一步了解模板，必须理解术语实例化和具体化P288。

20. 在代码中包含函数模板本身并不会生成函数定义，他只是一个用于生成函数定义的方案。

21. template <typename T>

void Swap(T &a, T &b)

{

T temp;

temp = a;

a = b;

b = temp;

}

int i = 10, j = 20;

隐式实例化 swap(i, j)

显示实例化template void swap<int>(int &, int &);直接命令编译器创建特定的实例，将使用swap模板生成一个使用int类型的实例。

显式具体化使用下面两个等价的声明之一：

template <> void swap<int>(int &, int &);

template <> void swap(int &, int &);

该显式具体化的意思是”不要使用swap()模板来生成函数定义，而应使用专门为int类型显式地定义的函数定义”。这两个原型必须有自己的函数定义。

显式具体化声明在template后包含<>，而显式实例化没有。

22. 隐式实例化、显式实例化和显式具体化统称为具体化。

23. 8.5.6模板函数的发展P295-P297

C++ 11关键字decltype

后置返回类型（trailing return type）