Đây có phải là tối ưu hóa C++ 0x hợp pháp không?

Question

Có pháp lý cho một trình biên dịch C++ 0x để tối ưu hóa

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

để

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

? (hoặc cho một POD khác)

Answer 1

Không giống như vậy mỗi se, vì hàm phải sửa đổi biến a tương đương. Điều đó nói rằng, sau khi nội tuyến và một chút tối ưu hóa tầm thường kết quả sẽ là như nhau:

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; 

Lưu ý kết quả là giống như nếu bạn sử dụng định nghĩa thứ hai của func và sắp xếp theo hàng chỉ vì các biến tạm thời wasn' t được sử dụng. Điều này cho thấy hai chức năng không tương đương nói chung:

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

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