C ++ в std :: vector и безопасность потоков

Question

Является ли следующий код потокобезопасным:

РЕЗЬБА

  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
    }
  }

Другими словами, будет ли семантика COW std :: vector (и я думаю, что и std :: string также) создавать условие гонки между a и b? Если да, могу ли я что-то сделать, чтобы предотвратить это?

Answer 1

Если предположить, что with_locked_mutex(m) { something } каким-то образом гарантирует, что мьютекс будет получен до блока кода и освобожден после него, две операции будут выполняться во взаимном исключении, поэтому нет, проблема не возникнет.

Иstd::vector не может использовать копирование при записи.

Answer 2

AFAIK, std::vector не имеет семантики COW.Оператор присваивания и конструктор копирования всегда копируют каждый элемент.