第8章 函数探幽

第8章 函数探幽

1. C++内联函数

内联函数是C++为了提高程序运行速度所做的一项改进，编译器会将相应的函数代码替换内联函数调用，其执行速度比常规函数快，但是代价就是占用更多内存。

声明和定义内联函数，需要在其函数前加上关键字inline。通常的做法是将整个定义放在原型的位置。

注意，请求将函数作为内联函数时，编译器并不一定会满足这种请求。

2. 引用变量

引用是C++新增的一种复合类型，是已定义变量的别名。

创建引用变量：引用变量由要引用对象类型、&符号、引用名三部分组成，例如：int &x = a; //x是int变量a的引用

**注意：**必须在声明引用时将其初始化，另外，一旦与某个变量关联起来，将一直效忠于它。

将引用用作函数参数：引用作为函数参数，这种叫做引用传递。引用传递使用原始数据。

若要防止修改原始数据，应使用常量引用，或者使用按值传递。

**注意：**如果引用参数是const，则下面两种情况下生成临时变量：

• 实参类型正确，但不是左值，例如：表达式等
• 实参类型不正确，但可以转换为正确类型

如果是想修改作为参数传递的变量，则创建临时变量不会修改变量值。但是，我们还是尽可能将引用形参声明为const

C++新增右值引用，使用两个&&符号。

引用用于结构：参数为引用结构，则会引用原始结构，返回类型为引用结构，则应返回存在的结构，应避免返回函数终止时不存在的内存单元。const用于参数引用，可以防止传递的结构被修改，const用于返回引用结构，可以返回结构被修改。

引用用于对象，应注意与结构一样的问题，不要返回一个已经释放空间的引用。

string类中定义了一种char *到string的转换功能，这使得可以用C风格字符串来初始化string对象。

对象、继承和引用：基类引用可以指向派生类对象，而无需进行强制类型转换

使用引用的主要原因有两个：程序能够修改调用函数中的数据对象、通过传递引用而不是整个数据对象来提高程序运行速度

对于三种函数参数传递：按值传递、指针传递、引用传递，下面是一些指导原则：
对于不修改传递的值：

• 如果数据对象很小，则按值传递
• 如果数据对象是数组，则只能使用指针传递
• 如果数据对象是结构，则使用const指针或const引用
• 如果数据对象是类对象，则是使用const引用

对于修改传递的值：

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

3. 默认参数

默认参数指的是当函数调用中省略了实参时自动使用的值。

设置默认参数必须通过函数原型，而函数定义没变。另外，必须从右往左添加默认值，而实参是从左到右将相应值赋给形参。

4. 函数重载

函数重载也叫函数多态，旨在让您能够使用多个同名的函数。函数重载的关键是函数的参数列表（特征标），利用参数列表的不同区分函数。

注意：使用被重载的函数时，需要在函数调用中使用正确参数类型，否则会进行自动类型转换，可能对应多个匹配重载函数，编译器会报错。另外，参数为类型引用和参数为类型本身视为同一个特征标。还要区分const和非const参数。

若重载引用参数，将调用最匹配的版本。

何时使用函数重载：仅当函数基本上执行相同任务，但使用不同形式数据，才应使用函数重载。

C++利用名称修饰给每个函数指定了秘密身份，这样可以跟踪每一个重载函数。

5. 函数模板

函数模板是通用的函数描述，也就是说，可以使用泛型来定义函数，其中泛型可用具体类型替换。通过将类型传递给模板，编译器生成该类型的函数。

//创建函数模板
//函数模板原型
template <typename T>
void Swap(T &, T &b);
//函数模板定义
template <typename T>		//template表示这是一个函数模板，typename是类型名称，可用class替换，T是为typename类型的别名
void Swap(T &a, T &b)				//这里开始就是定义模板的算法
{
	T temp;
    T = a;
    a = b;
    b = T;
}
//给模板传递参数，会生成相应类型的模板

注意：模板并不创建任何函数，而只是告诉编译器如何定义函数。

何时使用函数模板：如果需要多个将同一个算法用于不同类型的函数，请使用模板。

函数模板重载：并非所有类型都使用相同的算法，为了解决这个问题，可以像重载常规函数那样重载函数模板。

模板的局限性：模板函数很可能无法处理某些类型，一种解决方法是重载运算符，另外一种是为特定类型提供具体化的模板定义。

显式具体化：具体化的函数定义，当编译器找到与函数调用匹配的具体化定义时，则使用该定义，不再寻找模板。

显式具体化的原型和定义应以template<>开头，函数名后是可选的，应显式其参数类型。

例如：template <> void Swap(job &j1, job &j2); //显式具体化模板函数

实例化：使用模板为特定类型生成函数定义。隐式实例化通过函数调用赋给的参数创建特定的模板实例，显式实例化直接命令编译器创建特定的实例，例如：template void Swap(int, int); //使用模板Swap()生成一个使用int类型的实例

显式具体化和显式实例化的区分：

• 显式具体化原型和定义以template <>开头，显式实例化是以template<>开头
• 显式具体化可以定义新的算法，而显式实例化使用模板的算法创建函数

注意：在同一个文件中使用同一种类型的显式实例和显式具体化将出错。注意区分显式具体化和显式实例。

对于函数重载、函数模板和函数模板的重载，怎样来决定使用哪一个函数定义：

1. 创建候选函数列表，其中包含与被调用函数名称相同的函数和模板函数
2. 使用候选函数列表创建可行函数列表，也就是参数数目正确，并可以转换为参数类型
3. 确定是否有最佳的可行函数，但是不能有多个
4. 指向非const数据指针和引用优先与非const指针和引用参数匹配
5. 非模板函数优于模板函数

在使用模板函数定义时，可能暂时不知道变量结果是什么类型，可以使用关键字decltype创建特定类型结果变量，其格式是decltype(expression) var; //var类型和括号表达式类型一样

另外一个问题是返回类型可能不确定，可以使用auto先作为返回类型，而将特定类型放在函数头的后面，例如：

auto h(T1 x, T2 y) ->decltype(x + y);			//函数返回类型为decltype(x+y)
//返回类型声明在函数头后面，是因为可以x，y现在位于作用域内，可以使用它们