c++ - std::string 的引用计数

Question

我正在查看 basic_string 的代码(与 g++ 4.2.1 捆绑在一起)。复制构造函数使用 grab() 函数来“抓取”字符串的拷贝(增加其引用计数):

_CharT* _M_grab( const _Alloc& __alloc1, const _Alloc& __alloc2 ) {
  return (!_M_is_leaked() && __alloc1 == __alloc2) ? _M_refcopy() : _M_clone(__alloc1);
}

只有当两个字符串的分配器相同时，这才会增加引用计数——这是有道理的。但是，复制构造函数是:

basic_string(const basic_string& __str)
: _M_dataplus(__str._M_rep()->_M_grab(_Alloc(__str.get_allocator()), __str.get_allocator()),
              __str.get_allocator())
{ }

传递给 _M_grab() 的第一个分配器是第二个分配器的拷贝。为什么？ operator==() for allocator 可能返回 false 的唯一方法是用户使用自定义分配器。然而，即使那是真的，您也会认为复制的分配器与其原始分配器比较相等，对吗？所以:

1. 为什么要比较分配器？
2. 为什么复制构造一个分配器并将拷贝与原始的进行比较？
3. 将拷贝与其原件进行比较会返回 false 的用例是什么？

更新

是的，_M_grab() 用在另一个地方:赋值。在这种情况下，传递给 _M_grab() 的分配器 是不同的。美好的。但是似乎仍然没有理由在 构造函数 中为 string 复制构造然后比较分配器。

Answer 1

我知道 zip 关于 GCC 团队的推理，但这是我的假设:

1. 为了调试？分配器必须相同。

2. 所以它可以重用 _M_grab()？

3. 不应该发生？