我正在查看 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 的唯一方法是用户使用自定义分配器。然而,即使那是真的,您也会认为复制的分配器与其原始分配器比较相等,对吗?所以:
- 为什么要比较分配器?
- 为什么复制构造一个分配器并将拷贝与原始的进行比较?
- 将拷贝与其原件进行比较会返回 false 的用例是什么?
更新
是的,_M_grab()
用在另一个地方:赋值。在这种情况下,传递给 _M_grab()
的分配器 是不同的。美好的。但是似乎仍然没有理由在 构造函数 中为 string
复制构造然后比较分配器。
最佳答案
我知道 zip 关于 GCC 团队的推理,但这是我的假设:
为了调试?分配器必须相同。
所以它可以重用 _M_grab()?
不应该发生?
关于c++ - std::string 的引用计数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/3354855/