在堆栈上构建之前的定义？ 与指针类似

Question

关于课程，我有一个简单的问题。

考虑以下对象Apple（删除了默认构造函数）。

class Apple
{
private:
    bool _fruit;
public:
    Apple(bool fruit) : _fruit(fruit) { }
};

现在在堆栈/堆上声明它。

Apple p(true);
Apple * o = new Apple(true);

好吧，看起来第二个是指针，这意味着我不必直接声明它。

我可以做Apple * o; 然后将其构建为o = new Apple（true）;

但是在堆栈上怎么样？ 宣布Apple p; 会给我一个编译错误。

如何在不必直接对定义进行构造的情况下构建p？ 非常感激。

Answer 1

即使您想在堆栈上分配内存，也可以自由分离分配和初始化（构造）。 虽然你可能需要一个很好的理由这样做。

• 只需分配一个字节数组，就可以在没有初始化的情况下分配内存。

   char space[sizeof(Apple)]; 

• 可以使用placement new调用构造函数而不进行分配。

   Apple& o = *new (space) Apple(true); 

• 最后，不要忘记在空间超出范围之前手动调用析构函数 。

   o.~Apple(); 

Answer 2

你不能这样做，你不应该尝试它，因为关于在堆栈上声明对象的重点是自动初始化和销毁​​。

如果您正在寻找实现延迟初始化的方法 ，那么您正在以错误的方向搜索。