Python subprocess与KeyboardInterrupt：是否会产生无引用子进程？

核心问题 #

运行以下代码时：

from subprocess import Popen

with Popen(['cat']) as p:
    pass

是否存在这样的情况：子进程已在操作系统层面启动，但用户按下CTRL+C触发KeyboardInterrupt，导致as p的变量绑定从未执行，Python中没有可操作该进程的引用，无法通过代码终止它，子进程只能一直运行到自身结束？

源码逻辑分析 #

查看Python源码可知，Popen的子进程启动逻辑在其__init__方法中完成，在POSIX系统下最终会调用os.posix_spawn创建子进程。如果os.posix_spawn执行成功（子进程已启动），但在返回值赋值给变量前触发KeyboardInterrupt，会出现什么情况？

场景模拟 #

用以下代码模拟该极端时序：

class FakeProcess():
    def __init__(self):
        # 模拟操作系统级进程已创建
        # 紧接着触发KeyboardInterrupt
        raise KeyboardInterrupt()

    def __enter__(self):
        return self

    def __exit__(self, _, __, ___):
        # 永远不会执行到此处
        print("Got to exit")

p = None
try:
    with FakeProcess() as p:
        pass
finally:
    print('p:', p)

执行这段代码会输出p: None，且不会打印Got to exit，说明上下文管理器的清理逻辑完全没触发。

结论与解释 #

这种场景确实存在，会导致子进程成为孤儿进程，具体原因如下：

• 一旦os.posix_spawn调用成功，操作系统已经创建了子进程，与Python进程的后续执行无关。
• 若在Popen实例初始化完成后、as子句的变量绑定前触发KeyboardInterrupt，此时Popen实例未被赋值给变量p，上下文管理器的__enter__方法不会执行，对应的__exit__清理逻辑（Popen的__exit__会处理进程的等待或终止）也无法触发。
• Python中没有持有该子进程的引用，无法通过代码主动终止它，子进程会继续运行直到自身完成任务；如果父进程退出，子进程会被系统的init进程接管并最终回收。

规避建议 #

这种极端时序问题触发概率极低，但如果需要避免，可以调整代码逻辑：

• 先显式创建Popen实例并绑定变量，再手动管理上下文或中断处理：

from subprocess import Popen
import signal

p = None
try:
    p = Popen(['cat'])
    with p:
        pass
except KeyboardInterrupt:
    if p is not None:
        p.terminate()
        p.wait()

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