c++ - 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 有效。但问题是:两者中哪一个是活跃的？您无法查看其中任何一个的内容来弄清楚，因为您可能违反了 only-read-active 规则(这是别名的特定情况)。

但是，无论这两个成员中的哪一个处于事件状态，您都可以访问 _Alias。特别是，您可以 memcpy 复制它，这样您可以 memcpy 指针或 memcpy 字符，而不知道您 memcpy 的内容。

脏的是 _Alias[] 的大小中缺少 *sizeof(_Elem)。我敢打赌，对于 std::wstring，存在对 _Alias 的越界访问。这在 MSVC++ 上不是硬错误，在 std::wstring 内部未定义的行为不算在内。