36、Python 编程：测试、性能优化与扩展

Python 编程：测试、性能优化与扩展

1. 停机检查的逻辑困境

在编程中，我们可能会设想有一个能检查程序是否会停机的工具。假设存在一个名为 halts 的 Python 模块作为停机检查器，我们编写了一个名为 trouble.py 的程序：

import halts, sys
name = sys.argv[1]
if halts.check(name, name):
    while True: pass

这个程序的作用是，使用 halts 模块检查作为命令行第一个参数传入的程序，当该程序以自身作为输入时是否会停机。例如，运行 trouble.py myprog.py 会判断 myprog.py 以自身为输入时是否会停机。如果判断结果是会停机， trouble.py 就会进入无限循环；否则，它会正常结束。

现在考虑 halts.py trouble.py trouble.py 这种情况，即检查 trouble.py 以自身为输入时是否会停机。这里会出现逻辑矛盾：如果 halts.py 判断 trouble.py 会停机，根据 trouble.py 的逻辑，它实际上不会停机；如果判断不会停机，它又会正常结束，即会停机。这表明通用的停机检查是无法实现的。