main函数内的局部变量何时被销毁呢?

Question

注释中的"访问已经被销毁的指针"是怎么回事, main函数又没有结束, x的地址怎么会被销毁?

#include <iostream>
#include <thread>
void foo(int* ptr) {
    std::cout << *ptr << std::endl; // 访问已经被销毁的指针
}
int main() {
    int x = 1;
    std::thread t(foo, &x); // 传递指向局部变量的指针
    t.join();
    return 0;
}

.join()作用是等待子线程执行完毕再执行主线程, 所以局部变量x应该不可能在子线程执行期间被销毁, 可实际上被销毁了, 这是为什么

Answer 1

以下内容由CHATGPT及阿里嘎多学长共同生成、有用望采纳：

---

在C++中，局部变量在其所在的作用域结束时被销毁。在你给出的代码中，int x = 1; 是在main函数内部定义的一个局部变量。当main函数执行到t.join();这行时，x的生命周期并没有结束，因为main函数还在继续执行，直到遇到return 0;。

然而，问题在于创建的线程t。当你调用std::thread t(foo, &x);时，你传递了一个指向x的指针给foo函数。线程t可能在main函数继续执行之前就开始运行，也可能在其之后开始。如果线程t在main函数继续执行并返回之前开始运行，它可能会尝试访问x的值，而此时x仍然存在，所以访问是安全的。

但是，main函数一旦执行到return 0;，整个程序（包括所有线程）都将开始清理工作并准备退出。这意味着x会在return 0;之后立即销毁，即使线程t还没有完成。如果线程t在这个时候尝试访问x的地址，它实际上就是在访问一个已经被销毁的变量，这被称为悬挂指针，是未定义行为，可能导致程序崩溃或其他不可预测的结果。

因此，代码中注释的“访问已经被销毁的指针”指的是，如果线程t在main函数返回后才尝试访问x，那么它访问的就是一个无效的内存地址，因为x已经不再存在了。为了避免这种情况，通常需要确保线程在数据被销毁前完成，或者使用更安全的数据共享机制，如std::shared_ptr或互斥锁等同步原语来保护数据。