第八章：函数_将函数的原型和函数的定义分开写,并提供函数输入参数的默认值(-CSDN博客

本文链接：https://blog.csdn.net/u013139008/article/details/78308574

C++函数的新特性：

内联函数
按引用传递变量
默认的参数值
函数重载（多态）
模版函数

内联函数：

定义：编译器将函数代码替换函数调用。程序执行的过程中无需跳转。通常在函数代码很短而且经常被调用使用内联函数。
使用：函数声明和定义前添加：inline
内联和宏的比较：
1）都是文本替换
2）宏不能进行按值传递。当进行类似a++的参数传递时会出错。
类声明中实现类成员函数的定义，该函数将成为内联函数。
该类声明可放在头文件中，因为执行内联函数的文件中必须有内联函数的定义。
注意：程序员请求使用内联函数，但编译器如果认为函数过大或函数调用了自己，就不将其作为内联函数。而且有些编译器可能没有启用或实现这种特性。

引用：

定义：已定义变量的别名，指向相同的值和内存单元。
创建：int &a = b; 必须在创建引用时进行初期化，类似const指针。int &a = b;《=》int *const pr = &b; a和*pr
使用—将引用作为函数参数：按引用传递：
- 按引用传递和按指针传递的区别：
  声明函数参数的方式不同
  在使用函数参数时，指针需要使用解除引用运算符。
- 如果不改变变量的值时按引用传递，应使用常量引用：添加const关键字
  使用基本类型时不改变变量的值应使用按值引用，数据较大如结构和类时，引用参数比较有用。
- 按引用传递，函数参数的传递更严格，需要传递一个变量，而不能传递值或者表达式。
编译器什么时候会创建临时变量？
1）实参的类型正确，但不是左值
2）实参的类型不正确，但可以转换为正确的类型。
- 当函数按引用传递参数中需要修改变量的值的时候，如果产生临时变量将不会实现值的修改。
- 如果无意修改变量值，就无所谓。
- 产生临时变量有些编译器会给出警告，有些会给出错误信息。
将引用参数声明为常量数据的引用：const
1）避免无意中修改数据
2）使函数能够处理const和非const实参，否则只能接收非const数据
3）函数能够正确生成并使用临时变量
使用—将引用用于结构
1）返回引用的效率更高。返回值会首先将值复制到一个临时位置，然后复制该接收变量。返回引用，直接将变量复制该接收变量。
2）避免返回局部变量的引用：
- 可返回一个作为函数参数传递给函数的引用。
- 用new分配新的存储空间。

引用是因为类出现而出现的，通常，传递给类成员函数的对象使用引用，不管是要改变该对象还是不改变对象。
&左值引用，&&右值引用

函数参数默认值：

必须从右到左添加默认值
函数原型和函数定义分开时，只有函数原型提供默认值。不分开时自己提供默认值。

函数重载：

函数参数的数目和参数类型不同
将参数引用和类型本身视为相同，编译器报错。
const和非const的差别视为重载。
函数参数类别相同，返回值类型不同，编译器报错。
返回值不同，参数列表必须不同，哪怕只是参数顺序不同也可以。

将非const赋给const时合法的，而将const赋给非const是非法的。

&左值引用，&&右值引用

函数模版

并非所有的模版参数都是模版类型
重载的模版
template <typename T>
void swap(T &a, T &b);
template <class T>
void swap(T *a, T *b, int n);
模版的局限性
有些类型的变量不能进行模板函数中的一些操作。解决–》显示具体化模板：下面的原型必须有自己的函数定义
template <> void swap<job>(job &, job &);
template <> void swap(int &, int &);
template <> void swap<int>(int &, int &);
编译器在查找函数时，普通函数>显式具体化模板函数>模板函数。

函数模版中不能确认参数的类型，使用decltype
decltype(x) y y的类型和x的类型相同
typedef decltype(x + y) xytype
xytype z = x + y;

函数模版中不能确认返回值的类型

auto get(T1 x, T2 y)->decltype(x + y) {
    return x + y;
}

因为代码执行前x和y并没有实际的类型，所以不知道加的结果是什么类型。
auto属于占位符，返回类型会设置为decltype(x + y)