C++ 循环依赖 : What should the constructor look like?

Question

我通读了很多循环依赖主题，但它们似乎都与声明有关。我对如何构建相互依赖的对象以及我的方法是否存在潜在缺陷感兴趣。考虑这个简单的例子:

#include <iostream>
#include <vector>
using namespace std;

class A; //Forward declaration

class B{
    public:
        B(string name, A* a):myA(a), name(name){
            cout << "Works with pointer" << endl;
        };
    private:
        A* myA;
        string name;

};

class A{
    public:
        A(){
            cout << "Constructing A" << endl;
            if(bs.empty()) cout << "Vector is empty" << endl;
            bs.push_back(B("First", this));
            cout << "Array has " << bs.size() << " elements." << endl;
        };
    private:
        std::vector<B> bs;
};


int main() {
    cout << "Start" << endl;
    A a;
    cout << "Ok." << endl;
    return 0;
}

我可以做些什么来避免 B 中的 A* 指针？

理想情况下我想要一个引用，但是如果我将 B 的构造函数更改为 B(string name, A& a) 然后将 push_back 更改为 bs.bush_back(B("First", *this)); 我得到一个错误:非静态引用成员'A& B::myA'，不能使用默认赋值运算符。 See the modified example

据我所知，编译器合成的 operator= 不适合放在这里。正确的 operator= 会是什么样子？还是我一起走错了方向？

Answer 1

当您在标准容器中使用类型时，例如 vector，类型需要是 CopyConstructible 和 Assignable。如果您的类型具有指针成员，那么这些成员可以与隐式定义的复制赋值运算符一起正常工作，但引用成员的情况并非如此，因为引用不能被重新绑定(bind)。

如果您希望您的类型在容器中工作，坚持使用指针成员要简单得多。您是否可以定义在您的特定情况下有意义的复制赋值运算符并不明显，通常情况下并非如此。