cosa c'è di sbagliato nel dichiarare una variabile all'interno delle sue condizioni?

Question

Forse mi sto arrugginendo (di recente ho scritto in Python).

Perché questo non viene compilato?

if ((int i=f()) == 0) 

senza il () intorno al int i=f() ottengo un altro, molto più ragionevole errore di i non è essere booleano. Ma è per questo che volevo le parentesi in primo luogo!

La mia ipotesi sarebbe che l'utilizzo delle parentesi lo trasformi in un'espressione e che le istruzioni di dichiarazione non siano consentite in un'espressione. È così? E se sì, è una delle stranezze della sintassi del C++?

A proposito, mi è stato effettivamente cercando di fare questo:

if ((Mymap::iterator it = m.find(name)) != m.end()) 
    return it->second; 

Answer 1

È possibile dichiarare una variabile nel if dichiarazione in C++, ma è limitato per essere utilizzato con l'inizializzazione diretta e ha bisogno per convertire in un valore booleano:

if (int i = f()) { ... } 

C++ non ha nulla che potrebbe essere descritto come "espressione di dichiarazione", cioè [sotto] espressioni che dichiarano una variabile.

In realtà, ho appena guardato la clausola standard ed entrambe le forme di inizializzazione sono supportati in base al 6,4 [stmt.select] paragrafo 1:

... 
condition: 
    expression 
    attribute-specifier-seqopt decl-specifier-seq declarator = initializer-clause 
    attribute-specifier-seqopt decl-specifier-seq declarator braced-init-list 
... 

Cioè, è anche possibile scrivere :

if (int i{f()}) { ... } 

Ovviamente, questo funziona solo in C++ 2011 perché C++ 2003 non ha l'inizializzazione del controvento.

Answer 2

C'è un problema con ambito.

Si consideri il seguente codice:

if ((int a = foo1()) || (int b = foo2())) 
{ 
    bar(b); 
} 

Is b dichiarata all'interno del blocco? Cosa succede se foo1() restituisce true?

Answer 3

È possibile dichiarare una variabile in un'istruzione if (o in for o while), ma solo nel blocco parentesi esterna e deve essere in grado di essere convertita in bool.

vostra congettura è fondamentalmente ragione, non è consentito perché

(int i = 42;) 

non è una dichiarazione valida con l'inizializzazione.

Hai bisogno di una linea aggiuntiva,

Mymap::iterator it; 
if ((it = m.find(name)) != m.end()) 
    return it->second; 

ma allora è meglio scrivere

Mymap::iterator it = m.find(name); 
if (it != m.end()) 
    return it->second; 

si può mettere la linea return dopo il if, se si vuole veramente questa linea di nuovo, almeno per me questo non danneggia la leggibilità, ma altri potrebbero vederlo diverso.

Se davvero, vuole veramente dichiarare un iteratore e utilizzare il come bool in una condizione if, si potrebbe fare

if (struct { int it; operator bool() { return it != m.end; } } s = { m.find(name) }) 
    return s.it->second; 

ma vorrei prendere in considerazione questo dannoso ;-)

Answer 4

è vero che non si può scrivere

if ((int i=f()) == 0) 

ma si può perfettamente scrivere

if (int i=f()) 

modo da poter utilizzare l'operatore && per eseguire entrambe le operazioni in una dichiarazione come

if (int i=1 && (i=f()) == 0) 

i deve essere inizializzato con un valore diverso da 0, e dovrebbe essere la prima condizione se il compilatore applica sinistra valutazione di destra.

Ma sfortunatamente, ciò non è applicabile nel caso di iteratori come richiede il secondo esempio.