C ++ 11 evre_yerel değişkenleri otomatik olarak statik midir?

Bu iki kod bölümü arasında bir fark var mı:

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

ve

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

Arka plan: Başlangıçta bir STATİK vektör V (bazı ara değerleri tutmak için, işleve her girdiğimde temizlenir) ve tek iş parçacıklı bir programım vardı. Programı çok iş parçacıklı bir programa dönüştürmek istiyorum, bu yüzden bir şekilde bu statik değiştiriciden kurtulmam gerekiyor. Benim fikrim her durağanlığı thread_local'a dönüştürmek ve başka hiçbir şey için endişelenmemek? Bu yaklaşım geri tepebilir mi?

C ++ Standardına göre

Evre_yerel bir blok kapsamı değişkenine uygulandığında, depolama sınıfı belirleyicisi statik ifade edilir açıkça görünmüyorsa edilir

Yani bu tanımın

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

eşdeğerdir

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

Bununla birlikte, statik bir değişken, bir evre_yerel değişkeni ile aynı değildir .

1 thread_local anahtar sözcüğü ile bildirilen tüm değişkenler iş parçacığı saklama süresine sahiptir. Bu varlıklar için depolama, yaratıldıkları iş parçacığı süresince devam edecektir. Her iş parçacığı için ayrı bir nesne veya başvuru var ve bildirilen adın kullanımı mevcut evreyle ilişkili varlığa atıfta bulunuyor

Bu değişkenleri ayırt etmek için standart , statik depolama süresi ile birlikte yeni bir terim iş parçacığı depolama süresi sunar.

Evet, "iş parçacığı yerel depolama" "genel" (veya "statik depolama") ile çok benzer, sadece "tüm programın süresi" yerine "tüm iş parçacığı süresi" var. Dolayısıyla, bir blok yerel evre-yerel değişkeni ilk kez denetim kendi bildiriminden geçer, ancak her evre içinde ayrı ayrı başlatılır ve evre bittiğinde yok edilir.

İle kullanıldığında thread_local,static blok kapsamında ima edilir (bkz. @ Vlad'ın cevabı), bir sınıf üyesi için talep edilir; Sanırım, ad alanı kapsamı için bağlantı anlamına geliyor.

9.2 / 6'ya göre:

Bir sınıf tanımı içinde, bir üye, statik olarak da belirtilmediği sürece, evre_yerel depolama sınıfı belirleyicisi ile bildirilmemelidir.

Orijinal soruyu cevaplamak için:

C ++ 11 evre_yerel değişkenleri otomatik olarak statik midir?

İsim-alanı değişkenleri dışında seçenek yoktur.

Bu iki kod bölümü arasında bir fark var mı:

Hayır.

İş parçacığı yerel depolaması statiktir ancak basit statik depolamadan oldukça farklı davranır.

Bir statik değişkeni bildirdiğinizde, değişkenin tam olarak bir örneği vardır. Derleyici / çalışma zamanı sistemi, tam olarak ne zaman belirtilmeden (bazı ayrıntılar burada atlanmıştır), onu gerçekten kullanmadan bir süre önce sizin için başlatılacağını garanti eder.

C ++ 11, bu başlatmanın iş parçacığı açısından güvenli olacağını garanti eder, ancak C ++ 11'den önce bu iş parçacığı güvenliği garanti edilmemiştir. Örneğin

static X * pointer = new X;

Birden fazla iş parçacığı aynı anda statik başlatma koduna ulaşırsa X'in örneklerini sızdırabilir.

Yerel bir değişken iş parçacığı bildirdiğinizde, değişkenin potansiyel olarak birçok örneği vardır. Onları thread-id tarafından indekslenmiş bir haritada olarak düşünebilirsiniz. Bu, her iş parçacığının değişkenin kendi kopyasını gördüğü anlamına gelir.

Bir kez daha, değişken başlatılırsa, derleyici / çalıştırma zamanı sistemi bu başlatmanın veriler kullanılmadan önce gerçekleşeceğini ve değişkeni kullanan her iş parçacığı için başlatmanın gerçekleşeceğini garanti eder. Derleyici ayrıca başlatmanın iş parçacığı açısından güvenli olacağını garanti eder.

İş parçacığı güvenliği garantileri, değişkenin beklediğiniz gibi davranmasını sağlamak için epeyce perde arkası kodu olabileceği anlamına gelir - özellikle derleyicinin önceden tam olarak kaç iş parçacığının olacağını bilmesinin bir yolu olmadığını düşünürsek programınızda var ve bunlardan kaç tanesi iş parçacığı yerel değişkenine dokunacak.