为何可join线程在调用pthread_join前就已终止？

一、澄清"僵尸线程"的误区 #

若未与可join线程（即未分离的线程）调用pthread_join，会产生“僵尸线程”。

你对这段文档的理解存在偏差：POSIX线程的"僵尸状态"和进程的僵尸状态并非同一概念。进程的僵尸状态会在系统进程表中留下独立条目，但线程是进程内的执行单元，不会在系统进程表中单独存在。

未调用pthread_join的可join线程终止后，不会从系统进程表中消失（本来就不在该表中），而是会在线程所属进程的内部保留一小部分资源：主要包括线程的退出状态（即你要获取的退出码）、线程ID等元数据，直到主线程调用pthread_join完成资源回收。这才是文档中"僵尸线程"的真正含义——它是进程内部的"僵尸线程"，仅占用进程内的资源，不会在系统进程表中被单独识别。

你用工具查看进程表只看到主线程，是因为传统进程查看工具（如默认的ps）仅显示进程，线程作为进程的组成部分不会单独列出。若要查看进程内的所有线程，需要使用ps -L或pstree -p这类专门的线程查看工具。

二、如何通过pthread_join获取线程退出码？退出码存在哪？ #

1. 获取方式 #

你的代码已经正确实现了获取退出码的逻辑：

• 线程函数通过return返回的指针（比如你的return result;），会被pthread_join的第二个参数&thread_result捕获。
• 调用pthread_join(tid, &thread_result)后，thread_result会指向线程返回的指针，将其转换为对应类型即可取出退出值（如你的*((int *)thread_result)）。

除了return，线程也可以调用pthread_exit(void *retval)指定退出码，效果与return完全一致。

2. 退出码的存储位置 #

线程终止后，它的退出状态（即你返回的指针result）会被存储在**进程内部的线程控制块（TCB，Thread Control Block）**中。这块内存属于进程地址空间，由pthread库负责管理。

当你调用pthread_join时，pthread库会将该退出状态拷贝到你传入的thread_result指针指向的内存区域，随后释放TCB中的相关资源——这就是回收"僵尸线程"的完整过程。

三、结合你的代码分析 #

你的代码中，线程返回了一块malloc分配的int*内存，值为42。主线程执行sleep(1000)期间，线程已经执行完毕，但由于未调用pthread_join，线程的TCB资源仍被保留（即处于"僵尸线程"状态），只是系统进程表无法识别。当主线程调用pthread_join后，成功获取到线程返回的指针，进而取出42这个值。

注意：线程中malloc分配的内存，主线程获取后需要手动调用free释放，否则会造成内存泄漏——你的代码中缺少这一步，建议添加free(thread_result);。

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