c++ - 地方类(Class) c-ism

Question

只有第一对运行该程序时输出的值看起来是正确的，其他的则不正确。这是怎么回事？

#include <iostream>
#include <vector>

class a
{
    public:
        class b
        {
            public:
                a* parent;
                void test()
                {
                    std::cout<<parent->value<<std::endl;
                }
        } b1;
        unsigned long value;
        a()
        {
            b1.parent = this;
            value = 2;
        }
        void go()
        {
            value++;
            b1.test();
        }
};

int main()
{
    {
        a a1;
        a1.go();
        std::cout<<a1.value<<std::endl;
    }
    std::cout<<std::endl;
    {
        a a1; a1 = a();
        a1.go();
        std::cout<<a1.value<<std::endl;
    }
    std::cout<<std::endl;
    {
        std::vector<a> a1; a1.push_back(a());
        a1.at(0).go();
        std::cout<<a1.at(0).value<<std::endl;
    }
    return 0;
}

Answer 1

您缺少类型“a”的复制构造函数和赋值运算符。当复制或分配对象时，您因此没有正确更新它们的 b1.parent。相反，b1.parent 值指向与其真实父对象不同的“a”对象。

要查看此问题的实际效果，请在您现有的代码中使用它:

void go() {
  value++;
  std::cout << (this == b1.parent ? "as expected\n" : "uh-oh\n");
  b1.test();
}

要修复它，请修改类 a:

 a() : b1 (this), value (2) {}  // a change from your default ctor
 a(a const &x) : b1 (this), value (x.value) {}
 a& operator=(a const &x) {
   value = x.value;
   return *this;
 }

并修改类 b(必须像我上面那样使用 ctor 初始化器):

 b(a *parent) : parent (parent) {}