c++ - 让一个引用成员引用另一个成员是否合法？

Question

我正在研究一个类，在该类中我尝试使用引用其他成员变量的常量引用成员来提供对这些成员的公共(public)常量访问。有合法的方法吗？

代码可以编译，但会给出有关将引用成员绑定(bind)到临时值的警告。 resize() 调用后，A 仍然指向 null，尽管 myA 已更新。

下面是我正在尝试做的事情的再现。我认为自引用位是非法的并会导致问题，但我不确定。任何输入将不胜感激。

class MyClass{
    private:
    int mySize;
    double * myA;

    void resize(int inSize) {
        mySize = inSize;

        delete [] myA;

        // detection for non-positive size is not included for brevity
        myA = new double [size];
    }

    public:
    const int & size;
    const double * const & A;

    MyClass(): 
    mySize(0)   , myA(nullptr)
    size(mySize), A(myA)      {}

    // dtor is not included
};

int main(){
    MyClass myObj;

    myObj.resize(42);

    // myObj.A[1] = 0.5 // seg fault
}

编辑:Michael 指出这个问题与 A 的 const 限定词有关，我通过更改 A 的限定词证实了这一点>，结果如下:

double * &A -> A 正确绑定(bind)到 myA。

double * const &A -> A 正确绑定(bind)到 myA。

const double * &A -> 不兼容。编译器错误。

const double * const &A -> A 绑定(bind)到临时变量。

编辑:似乎更好的做法是使用 getter 函数。

Answer 1

初始化问题A(myA)是那个A类型为 const double * const &同时 myA类型为 double * . A 的类型指的不是reference-compatible类型为 myA (感谢@guest 澄清了这一点)。结果，引用 A将绑定(bind)到从纯右值具体化的临时对象，该纯右值是隐式转换 myA 的结果至 const double * const [dcl.init.ref]/5.4.2 .但是，临时的生命周期不会延长[class.temporary]/5因此，临时文件将在初始化发生后立即销毁，留下 A dangling .这就是编译器在这里警告您的内容。

引用您自己的成员没有任何违法行为。问题是:这样做的意义何在？虽然引用本身不是对象，并且未指定它们是否占用存储空间 [dcl.ref]/4 ，编译器通常会通过引入保存引用所指对象地址的字段来实现引用成员变量(换句话说:引用将编译为基本上是指针)。结果，MyClass 类型的对象使用了一半的内存。在上面的示例中，将用于存储指向存储地址本身的对象的地址。知道在哪里可以找到这些地址之一需要知道他们指向的东西在哪里……所以这不是非法的，但这可能不是一件好事……