C ++ 11 ตัวแปร thread_local คงที่โดยอัตโนมัติหรือไม่

มีความแตกต่างระหว่างส่วนรหัสทั้งสองนี้หรือไม่:

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
}

Backstory: เดิมทีฉันมีเวกเตอร์ STATIC V (สำหรับการเก็บค่ากลางบางค่ามันจะถูกล้างทุกครั้งที่ฉันเข้าสู่ฟังก์ชัน) และโปรแกรมเธรดเดียว ฉันต้องการเปลี่ยนโปรแกรมให้เป็นโปรแกรมมัลติเธรดดังนั้นฉันต้องกำจัดตัวปรับคงที่นี้ออกไป ความคิดของฉันคือเปลี่ยนค่าคงที่ทั้งหมดให้เป็น thread_local และไม่ต้องกังวลกับสิ่งอื่นใด วิธีนี้สามารถย้อนกลับได้หรือไม่?

ตามมาตรฐาน C ++

เมื่อ thread_local ถูกนำไปใช้กับตัวแปรของขอบเขตบล็อกสแตติกของ storage-class-specifier จะแสดงเป็นนัยถ้าไม่ปรากฏอย่างชัดเจน

ดังนั้นจึงหมายความว่าคำจำกัดความนี้

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 มีระยะเวลาการจัดเก็บเธรด หน่วยเก็บข้อมูลสำหรับเอนทิตีเหล่านี้จะคงอยู่ตลอดระยะเวลาของเธรดที่สร้างขึ้น มีอ็อบเจ็กต์หรือการอ้างอิงที่แตกต่างกันสำหรับเธรดและการใช้ชื่อที่ประกาศอ้างถึงเอนทิตีที่เกี่ยวข้องกับเธรดปัจจุบัน

ในการแยกแยะตัวแปรเหล่านี้มาตรฐานจะแนะนำระยะเวลาการจัดเก็บเธรดเทอมใหม่พร้อมกับระยะเวลาการจัดเก็บแบบคงที่

ใช่ "thread-local storage" คล้ายกับ "global" (หรือ "static storage") มากเพียงแต่ว่าแทนที่จะเป็น "ระยะเวลาของโปรแกรมทั้งหมด" คุณมี "ระยะเวลาของเธรดทั้งหมด" ดังนั้นตัวแปร block-local thread-local จึงเริ่มต้นการควบคุมในครั้งแรกจะผ่านการประกาศ แต่แยกกันภายในแต่ละเธรดและจะถูกทำลายเมื่อเธรดสิ้นสุดลง

เมื่อใช้กับthread_local,staticเป็นนัยในบล็อกขอบเขต (ดู @ คำตอบของวลาด) requied สมาชิกชั้นเรียน; ฉันเดาว่าหมายถึงการเชื่อมโยงสำหรับขอบเขตเนมสเปซ

ต่อ 9.2 / 6:

ภายในนิยามคลาสจะไม่ประกาศสมาชิกด้วย thread_local storage-class-specifier เว้นแต่จะประกาศแบบคงที่

ในการตอบคำถามเดิม:

C ++ 11 ตัวแปร thread_local คงที่โดยอัตโนมัติหรือไม่

ไม่มีทางเลือกยกเว้นตัวแปรเนมสเปซขอบเขต

มีความแตกต่างระหว่างส่วนรหัสทั้งสองนี้หรือไม่:

ไม่

พื้นที่จัดเก็บในระบบเธรดเป็นแบบคงที่ แต่ทำงานค่อนข้างแตกต่างจากที่เก็บข้อมูลคงที่

เมื่อคุณประกาศตัวแปรคงที่จะมีตัวแปรหนึ่งอินสแตนซ์ ระบบคอมไพเลอร์ / รันไทม์รับประกันว่าระบบจะเริ่มต้นให้คุณในช่วงเวลาหนึ่งก่อนที่คุณจะใช้งานจริงโดยไม่ระบุว่าเมื่อใด (รายละเอียดบางส่วนไม่ได้ระบุไว้ที่นี่)

C ++ 11 รับประกันว่าการเริ่มต้นนี้จะปลอดภัยสำหรับเธรดอย่างไรก็ตามก่อนที่ C ++ 11 จะไม่รับประกันความปลอดภัยของเธรดนี้ ตัวอย่างเช่น

static X * pointer = new X;

อาจรั่วไหลของอินสแตนซ์ของ X หากเธรดมากกว่าหนึ่งรายการกดรหัสเริ่มต้นแบบคงที่ในเวลาเดียวกัน

เมื่อคุณประกาศตัวแปรเธรดในพื้นที่อาจมีหลายอินสแตนซ์ของตัวแปร คุณอาจคิดว่าพวกมันอยู่ในแผนที่ที่ทำดัชนีโดย thread-id นั่นหมายความว่าแต่ละเธรดจะเห็นสำเนาตัวแปรของตัวเอง

อีกครั้งหากตัวแปรถูกเตรียมใช้งานระบบคอมไพลเลอร์ / รันไทม์รับประกันว่าการเริ่มต้นนี้จะเกิดขึ้นก่อนที่จะใช้ข้อมูลและการเริ่มต้นจะเกิดขึ้นสำหรับแต่ละเธรดที่ใช้ตัวแปร คอมไพเลอร์ยังรับประกันว่าการเริ่มต้นจะปลอดภัยสำหรับเธรด

การรับประกันความปลอดภัยของเธรดหมายความว่าอาจมีโค้ดเบื้องหลังอยู่เล็กน้อยเพื่อให้ตัวแปรทำงานในแบบที่คุณคาดหวังโดยเฉพาะอย่างยิ่งเมื่อพิจารณาว่าคอมไพเลอร์ไม่มีทางรู้ล่วงหน้าว่าจะมีเธรดจำนวนเท่าใด มีอยู่ในโปรแกรมของคุณและจำนวนเหล่านี้จะสัมผัสกับตัวแปรท้องถิ่นของเธรด