diretto inizializzare un oggetto all'interno di una condizione

Question

È possibile definire e copia-inizializzare una variabile all'interno della condizione di un if dichiarazione:

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

Questo funziona anche con tipi definiti dall'utente, dato che sovraccaricano operator bool:

if(Foo f = 42)  { ... } 
if(Foo f = Foo(43)) { ... } 

Perché non posso usare-inizializzazione diretta, come la seguente?

if(Foo f(51)) { ... } 

GCC emette error: expected primary-expression before 'f'.

Live on Coliru

C'è un motivo diverso "perché la grammatica dice così"? E come posso aggirarlo?

sto lavorando con VC++ 03, dove Foo:

• è un oggetto Raii sensibile, per la quale io non sono occupato per definire un costruttore di copia
• è una presa modello argomenti da parte dell'utente
• ha una due-parametri costruttore

... quindi preferisco evitare di copiare o ripetere il suo tipo.

Nota: sebbene il mio problema reale sia con C++ 03, sono (accademicamente) interessato alle risposte in C++ 11.

Answer 1

In C++ 03, si potrebbe usare solo la sintassi copia-inizializzazione:

selezione-dichiarazione:
        if (condizione)dichiarazione
        [...]

condizione:
        espressione
        tipo specificatore-seq declarator= assegnazione espressione

Poiché C++ 11, lista- inizializzazione aggiunta:

condizione:
        espressione
        attributo-specificatore-seq _optdecl-specificatore-seq declarator=inizializzatore clausola
        attributo-specificatore-seq _optdecl-specificatore-seq dichiaratore rinforzato-init-list

La sintassi di inizializzazione diretta, cioè Foo f(…), presumibilmente è stato evitato per lo stesso motivo per cui è stato disabilitato per gli inizializzatori di dati non statici: le ambiguità, in particolare la "analisi più irritante".

Answer 2

perché lo standard C++ 03 consente solo l'assegnazione di inizializzazione all'interno di condizioni:

condition: 
    expression 
    type-specifier-seq declarator = assignment-expression 

Answer 3

dato il vostro restrizioni, io credo in C++ 03 l'unica opzione è quella di dichiarare la variabile al di fuori della dichiarazione if, aggiungendo bretelle per scoping:

{ 
    Foo f(51, 52); 
    if (f) { 
     //... 
    } 
} 

in C++ 11 si potrebbero sfruttare sintassi inizializzazione Braced:

if (Foo f{51, 52}) { 
    //... 
}