đánh giá điều kiện vòng lặp

Question

Chỉ là một câu hỏi nhanh.

Tôi có một vòng lặp mà trông như thế này:

for (int i = 0; i < dim * dim; i++) 

là điều kiện trong một vòng lặp for tái đánh giá trên mỗi vòng lặp?

Nếu vậy, nó sẽ hiệu quả hơn để làm một cái gì đó như thế này ?:

int dimSquare = dim * dim; 
for (int i = 0; i < dimSquare; i++) 

Cảm ơn

-Faken

Answer 1

Nói chung, nếu bạn thay đổi giá trị "mờ" bên trong vòng lặp của bạn, nó sẽ được đánh giá lại mỗi lần. Nhưng kể từ đó không phải là trường hợp trong ví dụ của bạn, một trình biên dịch phong nha sẽ tối ưu hóa mã của bạn và bạn sẽ không thấy bất kỳ sự khác biệt về hiệu suất.

Answer 2

trình biên dịch sẽ precompute giá trị của Dim * Dim trước Loop bắt đầu

Answer 3

Có, ngữ nghĩa nó sẽ được đánh giá trên mỗi vòng lặp. Trong một số trường hợp, trình biên dịch có thể có thể tự động loại bỏ điều kiện khỏi vòng lặp - nhưng không phải lúc nào cũng vậy. Đặc biệt:

void foo(const struct rect *r) { 
    for (int i = 0; i < r->width * r->height; i++) { 
    quux(); 
    } 
} 

Trình biên dịch sẽ không thể để di chuyển nhân ra trong trường hợp này, như đối với tất cả nó biết quux() đổi r.

Nói chung, thường chỉ các biến cục bộ mới đủ điều kiện để nâng biểu thức ra khỏi vòng lặp (giả sử bạn không bao giờ lấy địa chỉ của chúng!). Mặc dù trong một số điều kiện cấu trúc các thành viên có thể đủ điều kiện, có rất nhiều thứ có thể khiến trình biên dịch giả định mọi thứ trong bộ nhớ đã thay đổi - chỉ viết về bất kỳ con trỏ nào hoặc gọi hầu như bất kỳ hàm nào. Vì vậy, nếu bạn đang sử dụng bất kỳ người không phải là người dân địa phương ở đó, tốt nhất là giả sử tối ưu hóa sẽ không xảy ra.

Điều đó nói rằng, nói chung, tôi muốn chỉ khuyên bạn nên chủ động di chuyển có khả năng mã đắt tiền ra khỏi tình trạng này nếu nó hoặc là:

• Không tổn thương khả năng đọc để làm như vậy
• Rõ ràng sẽ mất một rất thời gian dài (ví dụ: truy cập mạng)
• Hoặc hiển thị dưới dạng điểm phát sóng trên hồ sơ.