是否需要终止程序？换句话说，是一个在技术上永远无法运行的程序吗？请注意，这与空循环无关。谈论永远做“东西”（即可观察到的行为）的程序。

例如像这样的东西：

int main()
{
    while (true)
    {
        try
        {
            get_input(); // calls IO
            process();
            put_output(); // calls IO,has observable behavior

            // never break,exit,terminate,etc
        } catch(...)
        {
            // ignore all exceptions
            // don't (re)throw
            // never go out of loop
        }
    }
}

这更多是一个学术问题，因为根据经验，所有理智的编译器都会为上述程序生成预期的代码（当然，假设没有其他UB来源）。是的，当然，有很多程序永远都不会终止（操作系统，嵌入式服务器）。但是，有时标准是古怪的，因此是个问题。

切线：许多（一些？）“算法”的定义要求算法必须终止，即，一系列永不终止的运算不被视为算法。

切线。暂停问题指出，无法存在一种算法来确定任意程序是否针对输入完成。但是，对于该特定程序，由于没有导致退出main的分支，因此编译器可以轻松确定该程序永远不会结束。但是，这无关紧要，因为问题是语言律师。