《C++ primer》学习笔记之二十：引用详解1、2、3

19.1 当引用定义完毕后，它就是另外一个变量的别名，以后使用变量和使用变量的别名效果一样。
int i = 1;
int &ri = i;
i = 2;
cout << i << " " << ri << endl; //输出：2 2
ri = 3;
cout << i << " " << ri << endl; //输出：3 3

19.2 当函数的参数为引用时：
1. 最简单的情况：
void f(int &i) { cout << i++ << endl; }

int main()
{
f(1); //error: 无法将参数1从int转为int &。原因见4

int i = 1;
f(i); //ok
}
2. 重载时会将引用考虑进去。但可能和非引用产生冲突：
void f(int &i) { cout << i++ << endl; }
void f(int i) { cout << ++i << endl; } //Ok. 重载f(int &)

int main()
{
f(1); //Ok. 调用f(int)。（提醒：在上例1中这句话是错的）

int i = 1;
f(i); //error.对重载的调用不明确

int &ri = i;
f(ri); //error.对重载的调用不明确。
//虽然ri为i的一个引用，但使用起来却无法和i区分开来
}
3. 当引用碰到const:
int i = 1;
int &ri = i;
int const &const_ri = i; //ok. const_ri是一个int不变量的引用，其值不可改变
int & const const_ri2 = i; //ok. const_ri是一个int变量的不变引用，其值可以改变
//实际上：一个引用一旦定义（定义时必须初始化），它就只能是一个变量的引用，不能改成其它变量的引用
//这个定义和int &ri = i;语义是一样的

ri = 2;
cout << i << " " << ri << " " << const_ri << " "<< const_ri2 << endl; //输出: 2 2 2 2
//注意：const_ri的值变了，因为它与其它变量都占据同一块内存
const_ri = 3; //error.不能改变一个const量的值

const_ri2 = 4; //ok.这是个有意思的的方。注意const_ri2与ri有相同的语义。
cout << i << " " << ri << " " << const_ri << " "<< const_ri2 << endl; //输出: 4 4 4 4

int j = ri;
j = 5; //没有改变ri的值，因为j和ri占据两块不同的内存区域

所以，引用修饰符'&'应该与引用名放一起，不要在中间多余地加一个const。
int const &const_ri这个定义法很常见。
4. rvalue不能用来初始化引用变量，但可以初始化const引用变量：
rvalue：当常量作为参数调用函数时，常量为rvalue
当函数的返回值不是引用时，返回值为rvalue
看下面：
void test(int &i) { cout << i << endl; }
void test(int const &i) { cout << "const " << i << endl; }
int value(int i){ return i; }

int main()
{
test(1); //输出：const 1

test(value(2)); //输出：const 2

int i = 3;
test(i); //输出：3. 当没有test(int &)时调用test(int const &)
}
最重要的是：引用在使用前必须初始化，这是它和指针的最大区别。

19.3 当引用碰到const和数组：
int ary[] = {1, 2, 3, 4};
int (&r_ary)[4] = ary; //r_ary为ary的一个别名（或叫做引用）

//下面这句很糟
int (const &const_r_ary)[4] = ary; //fatal error.这个导致严重的编译器内部错。
//一般的错误，编译器会指出程序错误的原因。但此时，好像编译器自己挂掉了，当然也就无法指出程序为什么错了。但是它指出了在哪条语句处出的错！

int (& const const_r_ary2)[4] = ary; //ok.但将const放在引用符'&'和引用名之间不起任何作用
//此const_r_ary2等效于r_ary

int const (&const_r_ary3)[4] = ary; //ok.const_r_ary3是一个数组的引用，数组的成员不可改变
//推荐