Un programma che non termina mai un programma C ++ valido?

È necessario terminare un programma? In altre parole, è un programma che funziona per sempre tecnicamente un comportamento indefinito? Nota che non si tratta di loop vuoti. Parlando di programmi che fanno "cose" (cioè comportamenti osservabili) per sempre.

Ad esempio qualcosa del genere:

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

Questa è più una domanda accademica, dal momento che empiricamente tutti i compilatori sani genereranno il codice previsto per il tipo di programma di cui sopra (supponendo ovviamente che non vi siano altre fonti di UB). E sì, ovviamente ci sono molti programmi che non si chiudono mai (os, embed, server). Tuttavia lo standard è a volte bizzarro, quindi la domanda.

Tangenziale: molte (alcune?) Definizioni di "algoritmo" richiedono che un algoritmo debba terminare , ovvero una serie di operazioni che non si interrompe mai non è considerata un algoritmo.

Tangenziale. Il problema di arresto afferma che non può esistere un algoritmo per determinare se un programma arbitrario termina per un input. Tuttavia, per questo particolare programma poiché non esiste alcun ramo che porta a uscire da main, il compilatore può facilmente determinare che il programma non finirà mai. Ciò è tuttavia irrilevante in quanto la domanda è un avvocato di lingua.

Non esiste nulla nello standard C ++ che richieda la chiusura del programma o di un determinato thread. La cosa più vicina a ciò è [intro.progress] p1 , che dice

L'implementazione può presumere che qualsiasi thread alla fine eseguirà una delle seguenti operazioni:

• terminare,
• effettuare una chiamata a una funzione I / O della libreria,
• eseguire un accesso attraverso un valore volatile, oppure
• eseguire un'operazione di sincronizzazione o un'operazione atomica.

[  Nota: questo ha lo scopo di consentire trasformazioni del compilatore come la rimozione di loop vuoti, anche quando non è possibile provare la terminazione. -  nota finale  ]

Finché c'è qualche comportamento osservabile, eventualmente, o fino a quando trascorre tutto il suo tempo bloccato su un'operazione di I / O o un'altra chiamata di libreria di blocco, questo non si applica e il programma è valido (supponendo che soddisfi tutti i altri criteri di validità).

Sì. A partire dal[intro.progress]

L'implementazione può presumere che qualsiasi thread alla fine eseguirà una delle seguenti operazioni:

• terminare,
• effettuare una chiamata a una funzione I / O della libreria,
• eseguire un accesso attraverso un valore volatile, oppure
• eseguire un'operazione di sincronizzazione o un'operazione atomica.

[ Nota: questo ha lo scopo di consentire trasformazioni del compilatore come la rimozione di loop vuoti, anche quando non è possibile provare la terminazione. - nota finale ]