C++ 的 std::vector 和线程安全

Question

以下代码线程安全吗：

线程 A

  std::vector<std::string> myCopy;
  with_locked_mutex(m) {
    myCopy = sharedCopy;
  }
  myCopy.clear() etc.  // -- a

线程 B

  while(1) {
    // do things ...
    with_locked_mutex(m) {
      sharedCopy.push_back(a); // -- b
    }
  }

换句话说，std::vector 的 COW 语义（我认为 std::string 的 COW 语义）会在 a 和 b 之间创建竞争条件吗？如果是这样，我可以做些什么来防止它？

Answer 1

假设with_locked_mutex(m) { something }以某种方式确保在代码块之前获取互斥体并在之后释放，这两个操作将在互斥中运行，所以不，不会有问题。

而std::vector 无论如何都不能使用写时复制。

Answer 2

AFAIK，std::vector 没有 COW 语义。赋值运算符和复制构造函数总是复制每个元素。