STL字符串中的别名

Question

我在std :: basic_string类

中找到了这段代码

union _Bxty
    {   // storage for small buffer or pointer to larger one
    _Elem _Buf[_BUF_SIZE];
    _Elem *_Ptr;
    char _Alias[_BUF_SIZE]; // to permit aliasing
    } _Bx;

我无法理解_Alias如何允许实际混叠。搜索什么都没有。我很好奇这个成员是否可以毫无问题地被删除。

Answer 1

此代码是实现的一部分，这意味着它可能依赖于非常肮脏的技巧。基本思想是，根据字符串大小，_Buf或_Ptr有效。但问题在于：两者中哪一个是活跃的？您无法查看其中任何一个的内容，因为您可能违反了只读读取活动规则（这是别名的特定情况）。

但是，无论这两个成员中的哪一个处于活动状态，您都可以访问_Alias。特别是，您可以memcpy复制它，以便记住指针或记忆字符，而不知道你记得什么。

*sizeof(_Elem)的大小_Alias[]缺少了什么。我敢打赌_Alias对std::wstring的访问权限超出范围。它只是MSVC ++上的一个硬错误，而std::wstring内部未定义的行为并不算数。