È legale l'ottimizzazione C++ 0x?

Question

E 'legale per un compilatore C++ 0x per ottimizzare

int func(int&& a){ 
    a = 3; 
    return a; 
} 

a

int func(int&& a){ 
    return 3; 
} 

? (o per un'altra POD)

Answer 1

non così per sé, perché la funzione deve modificare la variabile a equivalente. Detto questo, dopo inlining e un po 'di ottimizzazione banale il risultato sarà lo stesso:

int x = func(5); 

// pseudo-inlined: 
int __temp = 5; // the temporary created by binding 5 to int&& 
__temp = 3; // a = 3; 
int x = __temp; // return a; 

// constant propagation: 
int __temp = 5; 
__temp = 3; 
int x = 3; 

// dead-code elimination: 
int x = 3; 

Nota il risultato è lo stesso come se si è utilizzato la seconda definizione di func e inline, solo perché la variabile temporanea wasn' usato Ciò dimostra che le due funzioni non sono equivalenti in generale:

int modifyme = 100; 
int x = func(std::move(modifyme)); 

// modifyme must be 3, second function definition wouldn't do that