STL 字符串中的别名

Aliasing in STL string

本文关键字：别名 字符串 STL      更新时间：2023-10-16

我在 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如何允许实际混叠。搜索什么也没给出。我很好奇是否可以毫无问题地删除此成员。

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

但是，无论两个成员中的哪一个处于活动状态，您都可以访问_Alias 。特别是，您可以memcpy复制它，以便您要么对指针进行内存，要么对字符进行内存，而不知道您键入了什么。

肮脏的是_Alias[]的大小缺乏*sizeof(_Elem).我敢打赌，对于std::wstring来说，_Alias是越界的。这不是 MSVC++ 上的硬错误，而且在 std::wstring 内部未定义的行为不算在内。

相关文章：