C++ Primer阅读笔记--万能引用和引用折叠

目录

1--万能引用

1-1--万能引用的实现

1-2--万能引用与右值引用的区别

2--引用折叠

---

1--万能引用

1-1--万能引用的实现

        万能引用可以向其传递任何类型的参数，其会自动进行参数类型的推断；万能引用的两种实现如下：

// 基于模板实现
template <typename T>
void f(T&& v){
}

// 基于auto实现
auto && v2 = v1;

1-2--万能引用与右值引用的区别

        不同于使用上述两种方式来实现万能引用（需要进行类型推断）（C++ Primer也将基于模板实现的万能引用称作是一个模板类型参数的右值引用），大白话来讲右值引用的类型是确定的，例如以下都是类型确定的右值引用：

int &&

char &&

std::string &&

        右值引用本身是一个左值，但其只能绑定右值；

        万能引用可以绑定左值、也可以绑定右值，甚至可以绑定const对象和非const对象等；

2--引用折叠

        在上面万能引用的模板实现中，当传递不同的类型 T 时，往往会发生引用折叠；当传递的参数是引用时，模板推断出的类型 T 将会是引用的引用，这时就会发生引用折叠；

在万能引用的模板实现中，引用折叠的规则如下：

        ① 当传递的参数是左值时，模板推断出的类型 T 将是一个左值引用；

        ② 当传递的参数是字面值时，模板推断出的类型 T 将是字面值的类型；

        ③ 在所有情况下（一个例外，第④点说明），引用折叠的结果是一个普通的左值引用类型；

        ④ 但引用折叠的对象是右值引用时，引用折叠的结果是右值引用类型；

// 基于模板实现
template <typename T>
void f(T&& v){
}

int x = 1;
f(x); // x是一个左值，则 T 的推断结果是左值引用: int &

f(1); // 1是一个字面值，则 T 的推断结果是字面值的类型: int

int&& y = 1; 
f(y); // y是一个右值引用，则 T 的推断结果是: int, T && 等价于 int &&;

// 对于一个给定的类型 X
X& &, X& &&, X&& & 都会折叠成X&, 
即int& &, int& &&, int&& & 都会折叠成(等价于)int&

类型X&& && 则会折叠成 X&&, 
即 int&& && 会折叠成(等价于)右值引用: int&&