未调用线程join方法会产生哪些后果？为何会引发问题？

当你启动一个子线程但不调用join()时，父线程（比如主线程）不会等待子线程完成，会继续执行后续代码甚至直接退出。这种异步执行本身不一定是问题，但在很多场景下会引发难以排查的bug，核心原因是线程生命周期不同步以及共享资源的访问时序失控。具体问题可以分为以下几类：

1. 父线程提前退出导致的不可预期行为 #

• 如果父线程是程序的主线程，它退出时的行为取决于编程语言和线程类型：
  • 在Python中，主线程退出后，所有非守护线程会被强制终止（Python 3.10+有细节变化，但大部分场景仍是如此），子线程的未完成任务会被直接打断，可能导致文件未关闭、数据未写入等问题。
  • 在Java中，非守护线程会阻止JVM进程退出，哪怕主线程已经结束。如果子线程是个无限循环任务，进程会一直卡在运行状态，无法正常终止。
• 示例（Python）：

  import threading
  import time
  
  def write_file():
      with open("temp.txt", "w") as f:
          time.sleep(2)  # 模拟文件写入前的准备工作
          f.write("completed")
  
  thread = threading.Thread(target=write_file)
  thread.start()
  # thread.join()  # 注释掉join，主线程直接退出
  print("Main thread exited")
  

  这个例子中，主线程退出后子线程被强制终止，temp.txt里不会写入任何内容——因为写入操作还没执行就被打断了。

2. 共享资源的一致性问题 #

如果子线程负责修改共享变量、数据库记录或文件内容，父线程没等子线程完成就访问这些资源，会拿到中间状态的数据，导致业务逻辑错误。

• 示例：

  import threading
  
  total = 0
  
  def calculate_total():
      global total
      for i in range(100000):
          total += 1
  
  thread = threading.Thread(target=calculate_total)
  thread.start()
  # thread.join()
  print(f"Total value: {total}")  # 几乎不会打印100000，而是一个随机的中间值
  

  这里主线程没等子线程完成累加就打印total，得到的是未完成计算的结果，完全不符合预期。

3. 资源泄漏与异常无法捕获 #

• 子线程如果打开了网络连接、文件句柄或申请了内存，未调用join()的情况下，父线程无法确保子线程正常释放这些资源，容易造成资源泄漏。
• 大部分编程语言中，子线程抛出的异常如果没有被内部捕获，且父线程未通过join()等待，这些异常会直接被忽略（或仅在控制台打印），无法被父线程捕获和处理，导致问题被隐藏，难以调试。

4. 业务流程时序混乱 #

在需要按顺序执行的场景中（比如子线程生成报表，父线程后续用报表数据发送邮件），不调用join()会导致父线程执行后续步骤时所需的数据还没准备好，直接引发业务逻辑失败。

简单来说，join()的核心作用是让线程之间的执行时序可控，如果不需要等待子线程完成（比如子线程是后台监控任务），不调用join()没问题，但如果涉及依赖子线程的结果或资源，不调用join()几乎一定会引发问题。

内容的提问来源于stack exchange，提问作者Don'tFront