c++ - 如何为具有内部放置 new 的类实现安全复制构造函数（使用 std::string）

Question

这是我的代码：

struct RS_Token
{
    char id;
    char cleanup;
    unsigned char array[sizeof (std::string) > sizeof (double) ? sizeof (std::string) : sizeof (double)];

    RS_Token(int a) :
        id(a),
        cleanup(0)
    {
    }
    RS_Token(int a, const char* pstr) : // identifier or text
        id(a),
        cleanup(1)
    {
        new (array) std::basic_string<unsigned char>((unsigned char*)pstr);
    }
    RS_Token(int a, int b) : // integer
        id(a),
        cleanup(0)
    {
        new (array) int(b);
    }
    RS_Token(int a, double b) : // float (double)
        id(a),
        cleanup(0)
    {
        new (array) double(b);
    }

    ~RS_Token()
    {
        if (cleanup)
        {
            std::basic_string<unsigned char>* p = reinterpret_cast<std::basic_string<unsigned char>*>(array);

            p->~basic_string();
        }
    }
};

任何有关如何添加正确处理内部分配 std::string 情况的复制构造函数的建议，将不胜感激。

Answer 1

我不确定您所做的是否是一个好的设计，但要回答您关于放置新的问题：您提供构造函数参数就像在任何其他new表达式中一样：

构造新字符串：

typedef std::basic_string<unsigned char> ustring;

RS_Token(const char* pstr)
{
  void * p = static_cast<void*>(array);
  new (p) ustring(pstr, pstr + std::strlen(pstr));
}

复制构造：

RS_Token(const RS_Token & other)
{
  void * p = static_cast<void*>(array);
  new (p) ustring(*reinterpret_cast<const ustring *>(other.array));
}

分配：

RS_Token & operator=(const RS_Token & other)
{
  ustring & s = *reinterpret_cast<ustring *>(array);
  s = *reinterpret_cast<const ustring *>(other.array);
  return this;
}