c++ - 使用本地数组作为存储时，带有 std 字符串参数的模板类会出现段错误

Question

这是程序

using namespace std;

template <typename T>
class Test
{
public:
   struct Node{
      T data;
      Node *next;
   };

   void setData(T data)
   {
      head = reinterpret_cast<Node*>(storage);
      head->data = data;
   }
private:
   unsigned char storage[2048];
   Node* head;
};

int main()
{
   Test<std::string> test;
   test.setData("Hello");
   return 0;
}

当参数是 int 类型时，上面的程序编译并且也能正常工作。但是当我将参数设置为 std::string 时它崩溃了 - head->data = data;

这是我必须明确处理 std::string 的事情吗？

提前致谢。

Answer 1

您告诉编译器将数组 storage 视为 Node 结构。但是 storage 中的数据没有以任何方式初始化，它的内容不确定并且以任何方式使用它都会导致未定义的行为。

更具体地说，“结构”的成员没有构造或初始化，因此尝试将成员 data 用于任何复杂的事情(如您的情况)很可能会导致崩溃。

简单的解决方案是使用placement new

head = new (storage) Node;

注意放置new后不能delete对象，需要显式调用析构函数

head->~Node();