c++ - 具有引用成员的内部类中的默认赋值运算符

Question

我遇到了一个我不明白的问题，我希望这里有人可以提供一些见解。简化代码如下(原代码是自定义队列/队列迭代器实现):

class B
{
public:
    B() {};
    class C
    {
    public:
        int get();
        C(B&b) : b(b){};
    private:
        B& b;
    };
public:
    C get_c() { return C(*this); }
};

int main()
{
    B b;
    B::C c = b.get_c();


    c = b.get_c();
    return EXIT_SUCCESS;
}

这在编译时会给我以下错误:

foo.cpp: In member function 'B::C& B::C::operator=(const B::C&)':
foo.cpp:46: error: non-static reference member 'B& B::C::b', can't use default assignment operator
foo.cpp: In function 'int main()':
foo.cpp:63: note: synthesized method 'B::C& B::C::operator=(const B::C&)' first required here

我可以通过使用两个单独的 C 变量来解决这个问题，因为它们应该是独立的“C”对象，但这只会隐藏问题(我仍然不明白为什么我不能这样做)。

我认为原因是引用不能复制，但我不明白为什么。我是否需要提供自己的赋值运算符和复制构造函数？

Answer 1

这个问题与内部类无关。在 C++ 中，您不能(重新)分配引用 - 它们需要在定义时进行初始化。

一个更简单的例子是:

class B
{
public:
    B(int& i) : ir(i) {};

    int& ir;
};


int main()
{
    int i;
    B b(i);      // Constructor - OK

    int j;
    B bb = B(j); // Copy constructor - OK

    bb = b;      // Assignment - Error
    return 0;
}