Question

使用放置新语法，我应该能够做到这样的事情：

char *buffer  = new char[sizeof(MyClass)]; //pre-allocated buffer
MyClass *my_class = new (buffer) MyClass; //put da class there

现在假设我只做第一行，但不是第二行。是否有一种方法可以在代码中确定缓冲区是否已正确分配，但是尚未在那里实例化MyClass类型的对象？

Answer 1

该语言没有提供任何内置机制来提供这些信息，至少没有我所知道的。您必须添加自己的簿记代码才能跟踪此类信息。

Answer 2

出于调试目的，您可以将特殊成员let relativeY = event.nativeEvent.locationY;添加到signature并将其值设置为常量

MyClass

然后，按如下方式检查：

class MyClass {
   public:
      MyClass() : signature(762347562374) {}
      bool isValidSignature() const { return signature==762347562374; }
   private:
      unsigned long long signature;
      <other members>
};

您可以将与签名相关的所有内容放在正确的char *buffer = new char[sizeof(MyClass)]; //pre-allocated buffer MyClass *my_class = new (buffer) MyClass; //put da class there if (my_class->isValidSignature()) <this means that the object has been allocated correctly, with a high probability> }内，以便只在调试模式下运行。

Answer 3

您可以维护一个static this指针值表，您可以在构造函数和析构函数中将其变为MyClass。然后在需要时针对特定值buffer进行检查。

不要忘记考虑移动语义的影响。为了做对，会很棘手。

Answer 4

不是没有自己跟踪它。

一种解决方案是在std::allocator周围创建一个包装器。

template<class T>
class MyAllocator
{
public:
    T* allocate(std::size_t count = 1) 
    { 
        return allocator_.allocate(count);
    }

    template<class... Args>
    void construct(T* ptr, Args&&... args)
    {
        allocator_.construct(ptr, std::forward<Args>(args)...);
        allocated_ = true;
    }

    bool IsAllocated() const
    {
        return allocated_;
    }

private:
    std::allocator<T> allocator_;
    bool allocated_;

};

Answer 5

原始代码：

char *buffer  = new char[sizeof(MyClass)]; //pre-allocated buffer
MyClass *my_class = new (buffer) MyClass; //put da class there

要确定动态是否已执行展示位置new，必须将有关它的信息存储在某处。该语言不提供该服务。所以你必须自己做，主要有两种方式：

将信息存储在缓冲区中。
对于这种情况，缓冲区必须在分配时初始化。例如。只需在()表达式的末尾添加new即可。否则，无法保证缓冲区内容看起来不像对象。两个子案例：
1. 为缓冲区中的标记添加空间。
2. 将旗帜作为对象的成员在多态类的情况下，实际上会有一个非零的vtable指针，它可以作为标志。
从外部存储信息。
对于这种情况，缓冲区不需要在分配时初始化。还有一些可能性，包括
1. 一个简单的bool变量。
2. 指向所有此类对象的指针集合。
3. 向黑猩猩发出的声音信号，后来被查询。

如何确定是否已使用placement new放置对象

5 个答案: