このC++ 0x最適化は合法ですか？

Question

は、それがC++ 0xのコンパイラのための法的

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

に

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

を最適化するためですか？機能が同等であることを変数aを変更する必要がありますので、 （または別のPOD用）

Answer 1

は、その自体が好きではありません。それは言った、インライン化や些細な最適化のビットの後、結果は同じになります。

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; 

注結果は、一時的な変数は「wasn理由だけで、あなたがfuncの2番目の定義を使用してインライン化する場合と同じです使用される。これは、2つの関数が一般的に等価でないことを示しています。

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

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