Tại sao di chuyển trở lại vào cuối chức năng kém hiệu quả?

Question

EDIT: Sau khi loại bỏ UB (vị trí tốt, tôi bỏ qua nó), thời gian là nhiều hơn hoặc ít giống hệt nhau. Sẽ gắn cờ một người kiểm duyệt để xóa nó.

Hai chức năng giống hệt nhau ngoại trừ một thực tế rằng foo có sự trở lại bên trong if, trên cả hai chi nhánh, trong khi goo có một đơn return ở cuối:

int foo() 
{ 
    static int x = 0; 
    if (x) 
    { 
     x > 2 ? x = 0 : ++x; 
     return x-1; 
    } 
    else 
    { 
     x++; 
     return x-1; 
    } 
} 
int goo() 
{ 
    static int x = 0; 
    if (x) 
    { 
     x > 2 ? x = 0 : ++x; 
    } 
    else 
    { 
     x++; 
    } 
    return x-1; 
} 

Những con số đang có chỉ để tối ưu hóa không khởi động quá mạnh và cuộc gọi hàm không được tối ưu hóa. Biên soạn với đầy đủ tối ưu hóa trên MSVS 2010.

Gọi chức năng 4000000000 lần, lấy mẫu 10 lần, foo là luôn nhanh hơn:

• foo - 8830 ms trung bình
• goo - 8703 ms trung bình

Sự khác biệt là nhỏ, nhưng nó ở đó. Tại sao? Ngoài ra, tại sao trình biên dịch không tối ưu hóa chúng với cùng một thứ?

Answer 1

Hãy nhìn vào đầu ra của bộ kết hợp, có thể có một bước nhảy đến cuối hàm trong nhánh đầu tiên của goo().

Answer 2

Tôi giả định rằng đó là vì có lợi nhuận trong mỗi if, thời điểm hoạt động được thực hiện, foo sẽ trả về biến được tính toán.

goo, thậm chí nghĩ rằng nó làm điều tương tự, ngoại trừ hai trả về, vẫn sẽ phải kiểm tra các tuyên bố else.Đó sử dụng một số thời gian (cực kỳ nhỏ) nhưng như bạn có thể thấy, nó là mesurable.

Answer 3

Trong trường hợp dấu ngoặc nhọn foo của "if" và "else" sẽ không được thực thi. Sau khi quay trở lại

tuyên bố điều khiển sẽ có được cú đúp kết thúc của hàm trực tiếp.

Thats lý do tại sao nó sẽ mất ít thời gian hơn cho foo.