C ++：如何在堆栈存储器中创建一个对象，该对象指向生成该对象的对象？

Question

我有一个带有构造函数Foo（Bar * b）的Foo类。 我想要在Bar类中返回一个指向该Bar的Foo的函数。 我尝试：

Foo& Bar::make_foo() {
  Foo f((Bar*)this);
  return f;
}

但是G ++告诉我：

error: variable ‘Foo f’ has initializer but incomplete type

现在我知道这在堆内存中可以正常工作：

Foo* Bar::make_foo() {
  Foo * f = new Foo((Bar*)this);
  return f;
}

---

编辑：显然问题是由于不完整的类定义。 但是我仍然很好奇是否有适当的习惯来返回堆栈存储器中的对象。

Answer 1

无论如何，这段代码是错误的，因为它正在返回堆栈上的一个对象，这意味着一旦您从函数中返回，该空间将可用于存储其他对象-根本不会结束。

Foo& Bar::make_foo() {
  Foo f((Bar*)this);
  return f;
}

只要声明Bar应该是正确的，您就应该可以做到这一点-除了担心“您正在使用将要释放的堆栈空间”。

Answer 2

以下对我有用 （ http://codepad.org/feWQYjtt ）。 注意：我稍微改变了make-foo的签名，返回本地对象的引用没有任何意义。

struct Bar;
struct Foo {
    Foo( Bar * ) {}
};

struct Bar {
    Foo make_foo() {     // Signature changed
        return Foo( this );
    }
};

int main() {
    Bar barObj;
    Foo fooObj = barObj.make_foo();
    (void) fooObj;
}