Funzione con valore di ritorno mancante, il comportamento in fase di esecuzione

Question

Come previsto, il compilatore (VisualStudio 2008) darà un avvertimento

C4715 avvertimento: 'doSomethingWith': non tutti i percorsi di controllo restituiscono un valore

quando si compila il seguente codice:

int doSomethingWith(int value) 
{ 
    int returnValue = 3; 
    bool condition = false; 

    if(condition) 
     // returnValue += value; // DOH 

    return returnValue; 
} 

int main(int argc, char* argv[]) 
{ 
    int foo = 10; 
    int result = doSomethingWith(foo); 
    return 0; 
} 

Ma il programma funziona bene. Il valore restituito della funzione doSomethingWith() è 0.

È solo un comportamento non definito oppure esiste una determinata regola su come il valore del risultato viene creato/calcolato in fase di esecuzione. Cosa succede con i tipi di dati non POD come valore di ritorno?

Answer 1

È un comportamento indefinito, come specificato nella sezione standard ISO C++ 6.6.3:

scorre l'estremità di una funzione è equivalente a un rendimento senza valore; questo comporta un comportamento non definito in una funzione di ritorno valore.

Answer 2

Non restituire un valore da una funzione di ritorno valore porta a un comportamento non definito.

Answer 3

Per i processori x86, la convenzione di chiamata standard inserisce il valore di ritorno nel registro EAX. In pratica significa che per la maggior parte dei compilatori se raggiungiamo la fine della funzione senza restituire, verrà restituito il risultato dell'ultima operazione matematica. Tuttavia, non puoi fare affidamento su di esso e non è portatile.

http://en.wikipedia.org/wiki/X86_calling_conventions#cdecl

Answer 4

Aggiornamento @piotr risposta.

Dal C++17 Standard sezione 9.6.3

scorre l'estremità di un costruttore, un distruttore, o una funzione con un cv tipo di ritorno void equivale a un rendimento senza operando. In caso contrario, il flusso fuori dalla fine di una funzione diversa da main (6.6.1) produce un comportamento non definito.