如何實現對於具有內部放置新的（用的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; 
}