C - Confuso da 'controllo può raggiungere la fine della funzione non vuota' quando si utilizza la sintassi se/else

Question

Quando si definisce una funzione in C, ricevo un errore 'controllo può raggiungere la fine della funzione non vuota' nel compilatore quando si scrive la logica if/else in un certo modo (Scenario 1 sotto), ma non ricevo l'errore quando si scrive la logica in un altro modo (Scenario 2 di seguito). Per me, entrambi i modi di scrivere questa funzione sembrano simili, quindi sono in perdita sul motivo per cui la versione 1 non verrà compilata.

Scenario 1

bool search(int value, int values[], int n) 
{ 
    int i; 
    if (n<1) 
     { 
      return false; 
     } 
    for(i=0;i<n;i++) 
    { 
     if (value==values[i]) 
     { 
      return true; 
     } 
     else 
     { 
      return false; 
     } 
    } 

} 

Scenario 2

bool search(int value, int values[], int n) 
{ 
    int i; 
    if (n<1) 
     { 
      return false; 
     } 
    for(i=0;i<n;i++) 
    { 
     if (value==values[i]) 
     { 
      return true; 
     } 
    } 
    return false; 
} 

Will not Scenario 2 restituire sempre false dopo il ciclo for? Oppure la funzione essenzialmente 'Stop' dopo aver restituito un valore per la prima volta, quindi restituendo 'true' una volta che il valore corrisponde ai valori [i]?

Answer 1

Il problema è che il compilatore C non è abbastanza intelligente per capire che non v'è alcun scenario quando la prima funzione sarebbe arrivare alla fine senza restituire un valore:

• Quando il ciclo viene eseguito almeno una volta, non ci è un ritorno condizionale da entrambi i rami dell'istruzione if e
• Quando il ciclo non viene mai eseguito, ci sarà un ritorno dall'istruzione condizionale nella parte superiore della funzione.

C standard non richiede tali controlli, quindi il compilatore emette un avviso.