如果分離的std :: thread使用超出范圍的對象，是否安全？

Question

想象一下，我啟動了一個std::thread ，它運行一個對象的成員函數。 如果該對象在我創建線程的main函數中超出范圍會發生什么？

class ThreadClass {
    public:
    ThreadClass(int i) : _a(i) {
    }

    void foo() {
        sleep(10);
        std::cout << "Is it safe here? " << _a << std::endl;
    }
    int _a;
};

int main() {
    {
        ThreadClass obj(3);
        std::thread t(&ThreadClass::foo, &obj);
        t.detach();
    }

    // Here obj goes out of scope
    // What about thread?

    sleep(20);
    return 0;
}

這是一個未定義的行為嗎？

Answer 1

不，那段代碼不安全。 該thread擁有對象的非擁有引用（通過指針&obj的副本）。 一旦對象超出范圍，那就是懸空參考。

Answer 2

是的，它是未定義的行為。 更具體地說，您將最終遇到分段錯誤，因為該線程正在嘗試訪問不再存在的某個對象。 所以這就是我的建議：

• 在任何線程的生命周期中聲明obj不會超出范圍的obj （可能是全局的）。
• 通過值而不是引用傳遞。
• 使用new創建一個對象，並使用std::shared_ptr將指針傳遞給線程。 （在這種情況下，您必須確保線程調用delete操作，以避免內存泄漏）。