Là hàm hủy của một đối tượng cục bộ bên trong một vòng lặp được đảm bảo được gọi trước lần lặp tiếp theo?

Khi tôi có một vòng lặp và bên trong vòng lặp này tạo ra một biến ngăn xếp mới (không phân bổ nó trên heap và biến giữ nó được khai báo bên trong thân vòng lặp), là hàm hủy của đối tượng này được đảm bảo được gọi trước khi lần lặp tiếp theo bắt đầu, hoặc có thể vòng lặp unrolling bởi trình biên dịch thay đổi một cái gì đó về điều đó?

Từ n4800:

§6.3.3 Phạm vi khối :

Một tên được khai báo trong một khối (8.3) là cục bộ của khối đó; nó có phạm vi khối. Phạm vi tiềm năng của nó bắt đầu tại điểm khai báo (6.3.2) và kết thúc ở cuối khối. Một biến được khai báo ở phạm vi khối là một biến cục bộ.

§10.3.6 Công cụ phá hủy :

Một hàm hủy được gọi ngầm [...] khi khối trong đó một đối tượng được tạo ra (8.7)

§4.1.1 Tóm tắt máy :

Điều khoản này đôi khi được gọi là quy tắc của as as if if, bởi vì việc triển khai được tự do bỏ qua mọi yêu cầu của tài liệu này miễn là kết quả đó như thể yêu cầu đã được tuân thủ, theo như có thể được xác định từ hành vi có thể quan sát được của chương trình .

[Nhấn mạnh của tôi]

Vì vậy, vâng. Biến của bạn đi ra khỏi phạm vi ở cuối vòng lặp (là một khối) và do đó hàm hủy của nó được gọi xa như bất kỳ ai quan sát hành vi của chương trình có thể biết .

Đúng. Dễ hình dung hơn khi bạn xem xét các "khối" trong đó bạn khai báo một biến, tức là giữa cặp niềng răng nào. Vòng lặp là một khối trong chính nó và khi nó đạt đến khung đóng, trước lần lặp tiếp theo, tất cả các hàm hủy của các biến lưu trữ tự động được khai báo trong vòng lặp được gọi.

có thể lặp unrolling bởi trình biên dịch thay đổi một cái gì đó về điều đó?

Theo nguyên tắc thông thường, đừng nghĩ về những gì trình biên dịch sẽ tối ưu hóa, bởi vì nó vẫn cần đảm bảo hoạt động của chương trình của bạn, bất kể nó làm gì để tối ưu hóa nó. Trong trường hợp đó, việc hủy đăng ký vòng lặp sẽ không thay đổi bất cứ điều gì đối với hiệu ứng đó nếu nó xảy ra.

Hàm hủy được gọi cho mỗi lần lặp. Vì vậy, trong một số trường hợp, việc khai báo một biến bên ngoài vòng lặp thay vì trong vòng lặp sẽ nhanh hơn . Giả sử trường hợp sau:

std::string temp;
for(int i = 0; i < 10; ++i){
    temp = arr[i];
    doSomething(temp);
}

Hàm hủy không được gọi khi sử dụng vòng lặp được thực thi. Nó chỉ ghi đè temp.

Nhưng nếu bạn sử dụng std::string temp = arr[i]hàm tạo và hàm hủy được gọi cho mỗi lần lặp. Tôi nghĩ rằng điều này thêm một chút thời gian chạy trong trường hợp bạn có một vòng lặp được thực hiện rất thường xuyên.

Hàm hủy được gọi trước lần lặp tiếp theo

Tất nhiên, dtor được gọi ở cuối vòng lặp và không kiểm soát vòng lặp không nên sửa đổi hành vi này, vì bất kỳ tối ưu hóa nào khác (tối ưu hóa không nên sửa đổi hành vi chương trình), ngoại trừ một số loại RVO và tương tự có thể loại bỏ một số sáng tạo đối tượng giả về ngữ nghĩa .