在这种情况下，为什么STD ::移动原因是Segfault？

Question

为什么在这种情况下std :: move（）导致segfault？

#include <iostream>

struct Message {
    std::string message;
};

Message * Message_Init(std::string message) {
    Message * m = (Message*)calloc(1, sizeof(Message));
    m->message = std::move(message);
    return m;
}

int main() {
    auto m = Message_Init("Hello");
    return 0;
}

ps 请不要询问为什么消息不以通常的C ++方式构建。

Answer 1

如果您真的想做这样的事情，则可以使用安置新。这使您可以在已经分配的一块内存中构造一个对象。

一些标准容器使用放置新来管理其内部对象缓冲区。

但是，它确实增加了与您所处物体的破坏者的并发症。在此处阅读以获取更多信息：有哪些用途用于“位置新”？

#include <iostream>
#include <memory>

struct Message {
    std::string message;
};

Message * Message_Init(std::string message) {
    void * buf = calloc(1, sizeof(Message));
    Message * m = new (buf) Message(); // placement new
    m->message = std::move(message);
    return m;
}

int main() {
    auto m = Message_Init("Hello");
    m->~Message();  // Call the destructor explicitly
    free(m);        // Free the memory
    return 0;
}

如@Selbie所建议的，我已经在Message的destructor上添加了一个明确的调用，也向free呼叫以处理内存。我相信免费的电话实际上应该指向最初由calloc返回的缓冲区，因为可能会有差异（因此free（buf）在这种情况下，但是在这里无法访问该指针）。

例如，如果您为多个对象分配缓冲区，则在指向第二个对象的指针上调用免费是不正确的。

Answer 2

关于C ++的分配的工作方式似乎存在误解。如果编译器遇到具有涉及类类型的评估操作，则它将寻找一个称为 copy/move分配运算符的特殊功能。然后调用此特殊功能执行复制/移动。一般而言，左手和右侧必须是初始化的对象才能正确工作。

在某些情况下，允许它使用非初始化的对象。在这种情况下，要复制/移动的对象的类具有一个琐碎的副本/移动式操作员。但是，大多数标准库类都不是微不足道的共配/可移动，尤其是std :: String不是。

顺便说一句，您打电话给std ::移动并不重要。即使没有它，它也是不确定的行为。您必须在分配目标对象之前构造目标对象。您可以通过调用正常new运算符或分配空间并使用放置新 new new new 在该空间中构造对象。