Требуется ли программа для завершения? Другими словами, это программа, которая работает навсегда технически неопределенным поведением? Обратите внимание, что это не о пустых циклах. Говоря о программах, которые «напичканы» (то есть наблюдаемым поведением) навсегда.
Например, что-то вроде этого:
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). И да, конечно, есть много программ, которые никогда не завершаются (os, embeded, серверы). Однако стандарт иногда бывает странным, поэтому возникает вопрос.
Тангенциальный: многие (некоторые?) Определения «алгоритма» требуют, чтобы алгоритм должен завершать , то есть последовательность операцийто, что никогда не заканчивается, не считается алгоритмом.
Тангенциальный. Проблема остановки говорит о том, что не может существовать алгоритм, чтобы определить, завершается ли произвольная программа для ввода. Однако для этой конкретной программы, поскольку нет ветки, которая приводит к выходу из main, компилятор может легко определить, что программа никогда не закончится. Это, однако, не имеет значения, поскольку речь идет о языке юрист.