引用
-
引用就好像存储数据的一块内存区域(变量)的一个名字,定义引用就好像声明了一个变量名并把它绑定到已存在的变量上,变量名附带属性(包括但不限于类型、存储期),变量名附带的属性由声明变量名时使用的
声明指定符
决定。需要注意的是,用于声明左值引用的 & 和用于声明右值引用的 && 不属于声明指定符
,它们是声明符
的一部分,它们分别决定了引用的左值 / 右值属性 —— 左值引用和右值引用。 -
通过变量名使用(读写)内存区域(变量),变量名所附带的属性会附加到变量上(除左值引用 / 右值引用属性外),请看代码:
int a = 10; // 定义一个变量,并声明一个变量名a,变量名a附带的属性是int const int &refa = a; // 声明变量a的一个名字(引用)refa,变量名refa附带的属性是const int refa = 15; // 非法,通过refa使用变量,变量的属性是const int,因此不能进行赋值
-
一个变量,如果没有变量名(包括引用)绑定到这个变量上,那么这个变量是右值,如果为之绑定了变量名(包括引用),那么这个变量就成为左值。变量的左值 / 右值属性不受变量名附带的左值引用 / 右值引用属性影响,仅仅与内存区域绑定。
引用的初始化
- 引用必须初始化,引用初始化就是将引用绑定到一个变量上。
- 变量的左值 / 右值属性是内存区域的固有属性,与变量名无关。
- 引用初始化时,所绑定的变量属性应该和要初始化的引用属性严格匹配,特别地,左值引用只能绑定到左值变量上,右值引用只能绑定到右值变量上。(除了第4点、第5点和第6点中提到的例外情况)
- 就const属性而言,附带const属性的引用可以绑定到附带非const属性的变量。
- 就左值 / 右值属性而言,