启动线程为何会引发指针初始化时的段错误？附代码示例

嘿，咱们先把核心问题拎出来：你的代码里的段错误和线程其实没有直接因果关系，根源是未初始化的野指针解引用——这在C++里属于未定义行为，而线程的存在只是刚好让这个未定义行为以崩溃的形式表现出来了。咱们逐个解答你的疑问：

疑问一：启动线程会导致指针初始化时出现段错误？ #

完全不是这么回事。你写的int *y;只是声明了一个指针变量，它本身的初始化（其实是没有显式初始化，值是栈上的随机垃圾值）并不会触发段错误。真正的问题是紧接着的*y = 20;——你尝试给这个野指针指向的内存赋值，但这个指针根本没有指向一块有效的、可写的内存区域。

之所以你会觉得是启动线程导致的，是因为未定义行为的表现完全不可预测：

• 当你不启动线程时，进程的栈布局可能刚好让这个野指针的随机值指向了一块栈上的可写区域（比如变量x附近的内存），这时候赋值只是覆盖了某个无关的内存值，程序不会崩溃；
• 当你启动线程后，线程栈的创建、线程库的初始化操作改变了进程的内存布局，这个野指针的随机值刚好指向了一块不可写的内存（比如内核空间、只读内存段或者已经释放的内存），这时候操作系统就会触发段错误来阻止非法内存访问。

疑问二：为何仅在启动两个“空”线程时，会在*y = 20处触发段错误？ #

这依然是未定义行为的随机性导致的。C++标准对未定义行为的程序不做任何保证——它可能正常运行、可能崩溃、可能输出奇怪的结果，甚至每次运行的表现都不一样。

不启动线程时，栈布局刚好“纵容”了你的野指针操作；启动一个线程时，内存布局的变化还没让野指针落到不可写区域；而启动两个线程时，线程栈的分配或者线程库的内部操作刚好让野指针的随机值指向了不可写内存，于是触发了段错误。这种情况完全是偶然的，换个编译器、操作系统，甚至同一程序多运行几次，结果都可能不同。

修复后的代码示例 #

要解决这个问题，你需要让指针指向一块有效的内存区域，比如用堆内存分配：

int main(int argc, char **argv) {
    int x = 10;
    int *y = new int; // 分配一块可写的堆内存
    *y = 20;
    std::thread t1([]{});
    std::thread t2([]{});
    t1.join();
    t2.join();
    delete y; // 记得释放分配的内存，避免泄漏
    return 0;
}

更推荐使用智能指针来自动管理内存，避免手动释放的麻烦：

#include <memory>
int main(int argc, char **argv) {
    int x = 10;
    auto y = std::make_unique<int>(); // 智能指针自动管理内存
    *y = 20;
    std::thread t1([]{});
    std::thread t2([]{});
    t1.join();
    t2.join();
    return 0;
}

内容的提问来源于stack exchange，提问作者Antonio Santoro