¿Es un programa que nunca termina un programa válido de C++?

language-lawyer undefined-behavior

Question

¿Se requiere que un programa finalice? En otras palabras, ¿es un programa que se ejecuta para siempre técnicamente Comportamiento indefinido? Tenga en cuenta que esto no se trata de bucles vacíos. Hablar sobre programas que hacen "cosas" (es decir, comportamiento observable) para siempre.

Por ejemplo, algo como esto:

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
}
}
}

Esta es más una pregunta académica, ya que empíricamente todos los compiladores sanos generarán el código esperado para el tipo de programa anterior (suponiendo, por supuesto, que no haya otra fuente de UB). Y sí, por supuesto, hay muchos programas que nunca terminan (os, embebidos, servidores). Sin embargo, el estándar es peculiar a veces, de ahí la pregunta.

Tangencial: muchas definiciones (¿algunas?) De "algoritmo" requieren que un algoritmo deba terminar , es decir, una serie de operaciones que nunca termina no se considera un algoritmo.

Tangencial. El problema de detención indica que no puede existir un algoritmo para determinar si un programa arbitrario termina para una entrada. Sin embargo, para este programa en particular, dado que no hay una rama que conduzca a salir de main, el compilador puede determinar fácilmente que el programa nunca terminará. Sin embargo, esto es irrelevante ya que la pregunta es abogado de idiomas.

Answer 1

No hay nada en el estándar de C ++ que requiera que el programa, o cualquier subproceso dado, finalice. Lo más parecido a eso es [intro.progress]p1 , que dice

La implementación puede suponer que cualquier hilo eventualmente hará uno de los siguientes:

• Terminar,
• hacer una llamada a una función de E / S de la biblioteca,
• realizar un acceso a través de un valor de gl volátil, o
• realizar una operación de sincronización o una operación atómica.

[ Nota: Esto está destinado a permitir transformaciones del compilador, como la eliminación de bucles vacíos, incluso cuando no se pueda probar la terminación. - nota final ]

Mientras haya algún comportamiento observable, eventualmente, o mientras pase todo su tiempo bloqueado en una operación de E / S u otra llamada de biblioteca de bloqueo, esto no aplica, y el programa es válido (suponiendo que cumpla con todos los requisitos otros criterios de validez)

Answer 2

Sí. De [intro.progress]

La implementación puede suponer que cualquier hilo eventualmente hará uno de los siguientes:

• Terminar,
• hacer una llamada a una función de E / S de la biblioteca,
• realizar un acceso a través de un valor de gl volátil, o
• realizar una operación de sincronización o una operación atómica.

[ Nota: Esto está destinado a permitir transformaciones del compilador, como la eliminación de bucles vacíos, incluso cuando no se pueda probar la terminación. - nota final ]