C ++ 11のthread_local変数は自動的に静的ですか？

Question 1

これら2つのコードセグメントに違いはありますか？

void f() {
    thread_local vector<int> V;
    V.clear();
    ... // use V as a temporary variable
}

そして

void f() {
    static thread_local vector<int> V;
    V.clear();
    ... // use V as a temporary variable
}

裏話：元々、静的ベクトルV（いくつかの中間値を保持するために、関数に入るたびにクリアされます）とシングルスレッドプログラムがありました。プログラムをマルチスレッドプログラムに変えたいので、どういうわけかこの静的修飾子を取り除く必要があります。私の考えは、すべての静的オブジェクトをthread_localに変換し、他に何も心配しないことです。これは裏目に出ることができますか？

Question 2

C ++標準による

thread_localがブロックスコープの変数に適用されると、明示的に表示されない場合、storage-class-specifierstaticが暗黙的に示されます

つまり、この定義は

void f() {
    thread_local vector<int> V;
    V.clear();
    ... // use V as a temporary variable
}

と同等です

void f() {
    static thread_local vector<int> V;
    V.clear();
    ... // use V as a temporary variable
}

ただし、静的変数はthread_local変数と同じではありません。

1 thread_localキーワードで宣言されたすべての変数には、スレッドストレージ期間があります。これらのエンティティのストレージは、それらが作成されたスレッドの期間中持続するものとします。スレッドごとに個別のオブジェクトまたは参照があり、宣言された名前の使用は、現在のスレッドに関連付けられているエンティティを参照します

これらの変数を区別するために、標準では静的ストレージ期間とともに新しい用語のスレッドストレージ期間が導入されています。

Question 3

はい、「スレッドローカルストレージ」は「グローバル」（または「静的ストレージ」）と非常によく似ていますが、「プログラム全体の期間」の代わりに「スレッド全体の期間」があるという点だけが異なります。したがって、ブロックローカルスレッドローカル変数は、コントロールが最初に宣言を通過するときに初期化されますが、各スレッド内で個別に初期化され、スレッドが終了すると破棄されます。

Question 4

と一緒thread_localに使用すると、staticブロックスコープ（@Vladの回答を参照）に含まれ、クラスメンバーに必要です。名前空間スコープのリンケージを意味すると思います。

9.2 / 6による：

クラス定義内では、静的として宣言されていない限り、メンバーはthread_localstorage-class-specifierで宣言されてはなりません。

元の質問に答えるには：

C ++ 11のthread_local変数は自動的に静的ですか？

名前空間スコープ変数を除いて、選択の余地はありません。

これら2つのコードセグメントに違いはありますか？

番号。

Question 5

スレッドローカルストレージは静的ですが、単純な静的ストレージとはまったく異なる動作をします。

変数staticを宣言すると、変数のインスタンスは1つだけになります。コンパイラ/ランタイムシステムは、正確な時期を指定せずに、実際に使用する前にいつか初期化されることを保証します（ここでは一部の詳細は省略されています）。

C ++ 11は、この初期化がスレッドセーフであることを保証しますが、C ++ 11以前は、このスレッドセーフは保証されていませんでした。例えば

static X * pointer = new X;

複数のスレッドが同時に静的初期化コードにヒットした場合、Xのインスタンスがリークする可能性があります。

変数スレッドローカルを宣言すると、変数のインスタンスが多数存在する可能性があります。それらは、thread-idによってインデックス付けされたマップ内にあると考えることができます。つまり、各スレッドは変数の独自のコピーを参照します。

この場合も、変数が初期化されると、コンパイラ/ランタイムシステムは、データが使用される前にこの初期化が行われ、変数を使用するスレッドごとに初期化が行われることを保証します。コンパイラーは、開始がスレッドセーフであることも保証します。

スレッドセーフの保証は、変数を期待どおりに動作させるための舞台裏のコードがかなり存在する可能性があることを意味します。特に、コンパイラにはスレッドの正確な数を事前に知る方法がないことを考慮してください。プログラムに存在し、これらのうちいくつがスレッドローカル変数に影響を与えるか。