C++基础——有关引用的问题

基本用法

我们还是从具体的代码出发，那种陈腐的传值、传指针、传引用之间的区别不再赘述，任何一本C语言的书中都有详细的例子：

int x = 10, y = 20;
int& refX = x;          
            // 引用必须依附对象而存在，必须与合法的内存单元相关联
            // 引用（refX）是变量（x）的别名（alias）
            // 对引用（refX）的全部操作等价于对所关联变量（x）的的操作
refX = y;   
            // 将y的值赋值给refX，也就是赋值给x
            // 而不是修改refX的指向使其指向y
            // C++不允许将reference改指向不同对象
            // refX一日指向x，就终身指向x，绝不三心二意，朝三暮四
cout << "refX = "<< refX << ", x = " << x << endl;      // 20 20

上述代码反映在内存单元中：

我们继续理解C++不允许让reference改指向不同对象：

也就是怎么修改引用的值都可以，但就是不可以修改其地址或者让其指向另外一个对象。

int x = 10, y = 20;
int& refX = x;
&refX = &y;         // 错误：表达式必须是可修改的左值（left value）

int x = 10, y = 20;
int& refX = x;
int& refY = y;
refX = refY;            // 将refY所指向的y的值赋给refX，也即是赋给x
refY = 30;              // 修改y的引用refY的值，也即是修改修改y的值
cout << "refX = " << refX << ", x = " << x << endl;     // 20 20
cout << "refY = " << refY << ", y = " << y << endl;     // 30 30

同理，我们可类推其他类型数据相互引用的例子：

string s1("hello"), s2("world");
string& refS1 = s1;
string& refS2 = s2;
refS1 = refS2;
refS2 = "China";
cout << "refS1 = " << refS1 << ", s1 = " << s1 << endl;
            // refS1 = "world", s1 = "world"
cout << "refS2 = " << refS2 << ", s2 = " << s2 << endl;
            // refS2 = "China", s2 = "China"

作为类的成员变量时

上一节的易混淆之处还好明白，陷阱还较容易避免。当引用作为一个类的成员函数存在且与赋值运算符（operator=）相结合的时候，就比较不容易发现问题了，我们认为地构造一个以string类型作为成员变量的类：

class Student
{
public:
    Student(string& name):_name(name){}
                    // 这里必须以引用作为参数进行传递，
                    // 如果是值语义的话，
                    // 成员变量最终得到的是一个局部对象的引用
                    // 而这个局部对象会在构造函数退出时，被销毁
                    // 既然引用所指向的对象都不存在了，自然
private:
    string& _name;
}

int main(int, char**)
{
    // Student stu1("zhang");    
    // 错误，类型不匹配，"zhang"是const char[6]

    Student stu1(string("zhang"));
    Student stu2(string("li"));
    stu1 = stu2;     
                // 错误，operator=不可用
                // C++不允许让reference改指向不同的对象
    return 0;
}

解决方案之一

将成员变量从引用语义，改变为值语义

解决方案之二

重写赋值运算符（operator=）：

class Student
{
public:
    Student(string& name):_name(name){}
    Student& operator=(const Student& rhs)
    {
        _name = rhs._name;
        return *this;
    }
private:
    string& _name;
}

关于向参数类型分别为string和string&的函数传递字符数组时可能发生的类型退化等更有趣更详尽的讨论出门左转请参阅<C++基础——使用字符串作为函数模板的实参>