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;
}

我得到以下“抛出的异常:读取访问违规._pnext是0xCDCDCDD1.”构造unordered_map时引发异常。我理解MVS用0xCD填充堆分配的内存，这就是_pnext指针具有此值的原因，但我不理解为什么unordered_map构造函数不将这些字段清零。

我意识到现代C++实现这一点的方式是使用新的/构造函数，但我试图用（基本上）POD对象以非OOP过程方式编写这段代码。

我是否错误地初始化了映射？

Answer 1

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

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

解决办法是不要违背语言，并按照您应该使用的方式使用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一起使用，但这仅在不需要实际对象的内存时才有用（例如，在vector实现中）。

注意:在现代C++中使用原始的new是一种难闻的气味（嗯，9年了，但是和std::unordered_map一样现代）。改用智能指针和STL容器。

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。

Foo* foo = new Foo;

若要释放通过new分配的对象，可以使用delete。

delete pointe_to_object;