放置新的以推迟到不同的构造函数

Question

这安全吗？我在实际实现中没有使用任何虚拟函数，但我很想相信即使我使用了，它仍然是安全的。

class Foo
{
    Foo()
    {
        // initialize things
    }

    Foo( int )
    {
         new ( this ) Foo();
    }
}

Answer 1

当您输入 Foo(int) 构造函数的左大括号时，所有类成员的构造函数都已被调用。如果您随后使用 new 位置强制调用另一个构造函数，则会覆盖该类的当前状态。这基本上意味着所有成员的构造函数都被调用两次 - 如果在其构造函数中执行了 new 操作，那么您就会泄漏该内容，并且您真的会非常非常地把事情搞砸！ 您实际上正在构造两个对象，并且永远不会调用第一个对象的成员的析构函数，因为第二个对象会覆盖第一个对象的内存。

换句话说，这是糟糕！不要这样做！

最常见的解决方法是使用某种初始化函数，并从两个构造函数中调用它。不过，这不会让您初始化 const 成员和其他必须位于初始值设定项列表中的成员。

Answer 2

http://www.parashift.com/c++-faq- lite/ctors.html#faq-10.3

Answer 3

我担心的一个问题是，如果 Foo 使用多重继承，您需要首先将 this 指针强制转换为最基类。否则，如果 this 发生偏移（有时发生在多重继承中），它将在错误的地址处构造。

Answer 4

如果您扩展了另一个类并且该类具有析构函数，那么您将不安全，例如

class Foo
{
    int* a;
public:
    Foo():a(new int)
    {

    }
    ~Foo(){delete a;}
}

class Bar:public Foo
{
    Bar()
    {
        // initialize things
    }

    Bar( int )
    {
         new ( this ) Foo();
    }
}

首先 Bar(int) 调用 Foo()，然后它调用 Bar() 也调用 Foo()。第二次调用 Foo() 时，它会覆盖第一次调用 Foo() 时设置的指针，并且分配的内存会泄漏。

Answer 5

这里的关键问题是构造函数是特殊的 - 当您编写调用构造函数的构造时（例如使用 new 关键字创建对象），不仅执行构造函数主体，而且执行整个链首先构造对象。

因此，当您使用placement-new语法首先运行另一个构造函数时，C++会自动重新运行所有基类对象构造函数和所有成员变量构造函数，然后才调用另一个构造函数主体。有时你会没事，但很多时候你会遇到意想不到的行为。

Answer 6

看起来这个问题的最佳解决方案是创建一个不同的函数来进行初始化：

class Foo
{
    inline void nullify()
    {
        // initialize things
    }

    Foo()
    {
        nullify();
    }

    Foo( int )
    {
        nullify();
    }
}

Answer 7

正如其他人所说，这是一个坏主意，并且可能是一种破坏性的情况：如果您不

class Foo
{
    Foo()
    {
        // initialize things
    }

    Foo( int bar )
    {
         new ( this ) Foo(bar);
    }
}

欢迎无限递归的土地怎么办？