ref

《程序设计语言原理第八版》第五章
cppreference.com - storage_duration
cppreference - value_category

变量属性

变量可以使用6种属性来刻画:名字、地址、数值、类型、生存期、作用域。

名字

变量可以拥有名字，也可以没有名字如临时变量，通过名字可以访问变量。

地址

与变量相关联的存储地址。可以是数据段data segment、栈stack、堆heap中的地址。

数值

变量存储单元存储的数据。

类型

一种类型定义了此类型数据的取值范围和在其上可以进行的操作。

生存期/存储期

在变量的生存期开始时，变量与一块存储空间进行绑定，结束时与存储空间解绑。

静态
static 修饰的数据。局部静态变量初始化语句只执行一次。

栈动态
非静态局部变量。

堆动态
通过动态内存分配获得的空间所绑定的变量。

作用域

变量的可见性。

链接属性

内部 static

外部 extern

表达式属性

值类别 cppreference - value_category

1. 左值

性质：

与泛左值相同（见下文）。

可以取左值的地址：&++i^[1] 及 &std::endl 是合法表达式。

可修改的左值可用作内建赋值和内建复合赋值运算符的左操作数。

左值可用于初始化左值引用；这会将一个新名字关联给该表达式所标识的对象。

image.png

2. 亡值

image.png

3. 纯右值

性质：

与右值相同（见下文）。

纯右值不能多态：它所标识的对象的动态类型始终为该表达式的类型。

非类非数组的纯右值不能有 cv 限定。（注意：函数调用或转型表达式可能生成非类的 cv 限定类型的纯右值，但其 cv 限定符被立即剥除。）

纯右值不能具有不完整类型（除了类型 void（见下文），或在 decltype 说明符中使用之外）

纯右值不能具有抽象类类型或其数组类型。

image.png

a. 泛左值
左值与亡值的并集。

性质：

泛左值可以通过左值到右值、数组到指针或函数到指针隐式转换转换成纯右值。

泛左值可以是多态的：其所标识的对象的动态类型不必是该表达式的静态类型。

泛左值可以具有不完整类型，只要表达式中容许。

b. 右值
纯右值与亡值的并集。

性质：

右值不能被取地址：&int()、&i++^[3]、&42 及 &std::move(x) 是非法的。

右值不能用作内建赋值运算符及内建复合赋值运算符的左操作数。

右值可以用于初始化 const 左值引用，这种情况下该右值所标识的对象的生存期被延长到该引用的作用域结尾。

右值可以用于初始化右值引用，这种情况下该右值所标识的对象的生存期被延长到该引用的作用域结尾。

当被用作函数实参且该函数有两种重载可用，其中之一接受右值引用的形参而另一个接受 const 的左值引用的形参时，右值将被绑定到右值引用的重载之上（从而，当复制与移动构造函数均可用时，以右值实参将调用其移动构造函数，复制和移动赋值运算符与此类似）。