C++ unordered_map 初始化读取访问冲突

Question

我有一个结构：

struct Foo
{
    std::unordered_map<std::string, std::string> info;
    int count;
    int bar;
}

我正在尝试按如下方式在堆上初始化此结构：

Foo* createFoo(int count, int bar)
{
    Foo* foo = (Foo*)malloc(sizeof(Foo));
    foo->info = std::unordered_map<std::string, std::string>(); // <- exception thrown here
    foo->count = count;
    foo->bar = bar;
    return foo;
}

我在构造 unordered_map 时遇到以下异常：

Exception thrown: read access violation. _Pnext was 0xCDCDCDD1.

我知道 MVS 用 0xCD 填充堆分配的内存，这就是为什么 _Pnext 指针有这个值，但我不明白为什么 unordered_map 构造函数没有将这些字段归零。

我意识到现代 C++ 执行此操作的方式是使用 new/constructors，但我正在尝试使用（基本上）POD 对象以非 OOP 程序方式编写此代码。

我是不是初始化地图不正确？

Answer 1

malloc() 不初始化分配的内存，这在分配具有非平凡构造函数的对象时很糟糕。

您应该改用new。

Foo* foo = new Foo;

要解除分配通过new 分配的对象，您可以使用delete。

delete pointe_to_object;

Answer 2

malloc 的 C 调用

Foo* foo = (Foo*)malloc(sizeof(Foo));

不为数据成员调用构造函数。

所以数据成员

std::unordered_map<std::string, std::string> info;

没有构建。

这个语句带有复制赋值运算符

foo->info = std::unordered_map<std::string, std::string>();

导致未定义的行为，因为没有创建对象foo->info。

您必须使用运算符 new 而不是 malloc。

例如

Foo* foo = new Foo();

Answer 3

malloc() 不创建任何对象。它只是保留一些未初始化的内存。该内存中没有对象，必须使用位置 new 创建这些对象。

现在，operator= 需要一个现有对象，因为它是成员函数（始终）。通过在foo->info = std::unordered_map<std::string, std::string>() 行上调用此运算符，您可以在不存在的对象上调用运算符。

解决方案是不要违背语言并使用new，因为你应该这样做：

Foo* createFoo(int count, int bar)
{
    Foo* foo = new Foo;
    // unnecessary now, the object is already constructed and default-initialized
    // foo->info = std::unordered_map<std::string, std::string>(); 

    // ints are constructed, but not initialized
    foo->count = count;
    foo->bar = bar;
    return foo;
}

您也可以将malloc 与放置new 一起使用，但这仅在您需要没有实际对象的内存时才有用（例如在向量实现中）。

---

注意：在现代 C++ 中使用原始的 new 是一种不好的气味（嗯，9 岁，但与 std::unordered_map 一样现代）。请改用 smart pointers 和 STL 容器。