前記事のサンプルコード(下記)を書いた時に、“複数スレッドから同じstd::vector<T>上の異なる要素へ同時アクセス” のスレッド安全性が気になったのでメモ。

#include <vector>
#include "tbb/compat/ppl.h"

std::vector<int> data = /*...*/;

// 全ての要素値を2倍する
  data.begin(), data.end(),
  [](int& x){ x *= 2; }

N3290を確認したところ、23.2.2 Container data races/p2-3に下記の通り定義&例示があった。

2. Notwithstanding (, implementations are required to avoid data races when the contents of the contained object in different elements in the same sequence, excepting vector<bool>, are modified concurrently.
3. [Note: For a vector<int> x with a size greater than one, x[1] = 5 and *x.begin() = 10 can be executed concurrently without a data race, but x[0] = 5 and *x.begin() = 10 executed concurrently may result in a data race. As an exception to the general rule, for a vector<bool> y, y[0] = true may race with y[1] = true. -- end note]

※ ただし、特殊化されているstd::vector<bool>を除く。毎度々々、不憫な子…