C++名词解析

• 左值：命名的"变量" 有名字的；
• 右值：未命名的临时"变量" 没有名字的；
• 左值引用：左值引用是具名变量值的别名；
• 右值引用：右值引用则是不具名（匿名）变量的别名；
  （参考文章C++之左值、右值、左值引用、右值引用）
• 万能引用：通常用在模板中

template<typename T>
	void func(T&& param){
	......
}
// 既可以传入左值, 也可以传入右值，被称为万能引用
int a = 27;
func(a);
func(27);

• 引用折叠
  一个模板函数，根据定义的形参和传入的实参的类型，我们可以有下面四中组合：

    左值-左值 T& &        # 函数定义的形参类型是左值引用，传入的实参是左值引用
    左值-右值 T& &&       # 函数定义的形参类型是左值引用，传入的实参是右值引用
    右值-左值 T&& &       # 函数定义的形参类型是右值引用，传入的实参是左值引用
    右值-右值 T&& &&      # 函数定义的形参类型是右值引用，传入的实参是右值引用
  

但是C++中不允许对引用再进行引用，对于上述情况的处理有如下的规则：

所有的折叠引用最终都代表一个引用，要么是左值引用，要么是右值引用。规则是：如果任一引用为左值引用，则结果为左值引用。否则（即两个都是右值引用），结果为右值引用。
即就是前面三种情况代表的都是左值引用，而第四种代表的右值引用。

• 完美转发：通过std::forward()函数来实现保持给定实参的左值/右值属性；
  （参考文章：C++中的万能引用和完美转发）

• 提领（dereference）：获取指针地址或引用地址上的值，也称解引用；

• 泛型(Genericity)：是指具有在多种数据类型上皆可操作的含意。STL巨大，而且可以扩充，它包含很多计算机基本算法和数据结构，而且将算法与数据结构完全分离，其中算法是泛型的，不与任何特定数据结构或对象类型系在一起。
  类型提升：可以理解为对数据类型进行扩展（参考：【C/C++】类型提升）

• 移动语义：c++11新标准中支持移动构造和移动赋值(编译器只对右值引用才能调用移动构造函数和移动赋值函数,也可以通过std::move将左值转换为右值引用，从而支持移动语义)。

  注：std::move函数
  编译器只对右值引用才能调用转移构造函数和转移赋值函数，而所有命名对象都只能是左值(引用)。如果已知一个命名对象不再被使用而想对它调用转移构造函数和转移赋值函数，也就是把一个左值引用当做右值引用来使用，怎么实现呢？标准库提供了函数std::move，这个函数以非常简单的方式将左值引用转换为右值引用。

  std::move的实现即使将一个对象强制转型为右值引用类型的对象而已，并不做任何移动工作。（C++移动语义及拷贝优化）

std::move eg:

#include <iostream>
#include <utility>
#include <vector>
#include <string>
 
int main()
{
    std::string str = "Hello";
    std::vector<std::string> v;
 
    // 使用 push_back(const T&) 重载，
    // 表示我们将带来复制 str 的成本
    v.push_back(str);
    std::cout << "After copy, str is \"" << str << "\"\n";
 
    // 使用右值引用 push_back(T&&) 重载，
    // 表示不复制字符串；而是
    // str 的内容被移动进 vector
    // 这个开销比较低，但也意味着 str 现在可能为空。
    v.push_back(std::move(str));
    std::cout << "After move, str is \"" << str << "\"\n";
 
    std::cout << "The contents of the vector are \"" << v[0]
                                         << "\", \"" << v[1] << "\"\n";
}

output

After copy, str is "Hello"
After move, str is ""
The contents of the vector are "Hello", "Hello"