stl容器是否使用隐式共享？

Question

众所周知,Qt小部件使用隐式共享.所以我对stl容器感兴趣std::vector,也std::string使用隐式共享.

如果不是,为什么？因为它非常有用.

如果答案是肯定的,我们如何确定它？我需要简单的C++ stl程序,它表明stl容器使用隐式共享.复制时不执行深层复制.

Answer 1

不,他们不能.当您尝试修改容器的内容,或者甚至begin()在其上调用mutable 时,它将意味着潜在的写入时复制,从而使容器的所有引用和迭代器无效.这将是一个难以调试的情况,并且是禁止的.

虽然std::string从技术上讲它不是一个容器,但是从C++ 11开始,它仍然被禁止进行copy-on-write:

引用basic_string序列元素的引用,指针和迭代器可能会被该basic_string对象的以下用法无效:
...
- 调用非const成员函数,除了operator [],at,front,back,begin, rbegin,end和rend.

[string.require]

...因为它非常有用.

嘿,为什么？通过引用传递几乎总能解决所有"性能问题".原子引用计数在多处理器机器上本质上是不可扩展的.

Answer 2

除了其他人对容器中的 CoW 行为提出的反对意见之外，还有以下一些反对意见。这些都属于违反惯例的行为类别，因此会导致毫无戒心的开发人员出现奇怪的错误。

例外情况

允许 CoW 意味着容器上无害的突变操作可能会失败，但会出现异常，否则它们不会失败。这对于operator[]astd::vector或std::string

螺纹加工

人们可能合理地期望能够复制构造一个容器，其明确的目的是将其传递给另一个线程，而不必担心此后的并发性。CoW 则不然。