类成员变量可以是引用类型的么？

今天面试，

面试官：类的成员变量可以是引用类型的么？

我：yes。

面试官：那怎么初始化呢？

我：呃

回来一试，确实可以，只不过不能用默认构造，必须带引用类型的构造函数完成初始化过程，而且一定要用初始化列表的形式完成初始化。

class Widget
{
public:
    // 错误一：构造函数形参为传值，不能保证正确性
    //error: call to constructor of 'Ref' is ambiguous
    //Widget (int target) :myref(target)
    //{
         //cout << "Ref ctor" << endl;
    //}

    // 错误二：函数体对引用赋值，编译错误：引用未初始化
    //error: constructor for 'Ref' must explicitly initialize the reference member 'myref'
    // Widget (int &target)  {
    // myref = target;
    // cout << "Ref ctor" << endl;
    // }

    // 如果成员为变量为引用类型，那么构造函数的参数为应用类型
    // 引用必须在成员初始化链表里面初始化，不能在函数体里面初始化
    // 在函数体里面修改data，相当于赋值，显然引用不能赋值
    Widget (int &target) :data(target) {
        cout << "Ref ctor" << endl;
    }

    void print() {
        cout << "data value: " << data << endl;
    }

    virtual ~Ref () {}

private:
    int &data;
    /* data */
};

凡是有引用类型的成员变量的类，不能有缺省构造函数。默认构造函数没有对引用成员提供默认的初始化机制，也因此造成引用未初始化的编译错误。而且如果类中有引用成员变量的话，编译器拒绝生成默认copy 构造和copy赋值，因为那样会导致修改引用，这是不合理的，所以编译器会拒绝对这种类型生成默认的函数。