0

在 C++ 中，我引用了一个想要指向其所有者的对象，但我无法在包含类的构造期间设置指针，因为它没有完成构造。所以我正在尝试做这样的事情：

class A {
   public:

     A() : b(this) {}
   private:
     B b;
};

class B {
   public:
     B(A* _a) : a(_a) {}
   private:
     A* a;
};

有没有办法确保 B 总是用 A* 初始化，而 A 没有指向 B 的指针？

谢谢

4

2 回答 2

6

试试这个：

class A;

class B {
public:
  B(A *_a) : a(_a) {};

private:
  A* a;
};

class A {
public:
  A() : b(this) {};

private:
  B b;

};

由于 B 完全包含在 A 中，因此必须首先声明它。它需要一个指向 A 的指针，因此您必须在声明 B 之前前向声明 A。

此代码在或多或少当前版本的 g++ 下编译。

于 2009-11-02T19:32:19.893 回答
0

在 C++ 中，我引用了一个想要指向其所有者的对象，但我无法在包含类的构造期间设置指针，因为它没有完成构造。

你可以存储指针好了。

您不能做的是尝试通过 B 的构造函数中的指针获取 A 的成员/方法，因为此时父实例可能未完全初始化：

#include <iostream>

class Y;

class X
{
    Y* y;
public:
    X(Y* y);
};

class Y
{
    X x;
    int n;
public:
    Y(): x(this), n(42) {}
    int get_n() const { return n; }
};

X::X(Y* p): y(p)
{
    //Now this is illegal:
    //as it is, the n member has not been initialized yet for parent
    //and hence get_n will return garbage
    std::cout << p->get_n() << '\n';
}

int main()
{
    Y y;
}

如果要切换 Y 中的成员，那么 n 将首先被初始化，X 的构造函数将打印 42，但这太脆弱而无法依赖。

于 2009-11-02T22:46:35.763 回答