C++ - Nếu một đối tượng được khai báo trong một vòng lặp, thì hàm hủy của nó có được gọi là ở cuối vòng lặp không?

Question

Trong C++, trình phá hủy của đối tượng được gọi vào lúc đóng "}" cho khối nó được tạo ra, phải không? Vì vậy, điều này có nghĩa rằng nếu tôi có:

while(some_condition) 
{ 
    SomeClass some_object; 
    some_object.someFunction(); 
    some_variable = some_object.some_member; 
} 

Sau đó destructor cho đối tượng được tạo ra trong một lần lặp của vòng lặp sẽ được gọi ở phần cuối của vòng lặp trước khi đối tượng khác được tạo ra, có đúng không?

Cảm ơn.

Answer 1

Có.

Nhưng bạn có thể tự mình thử nghiệm. Đây là một tính năng ngôn ngữ mà trình biên dịch có thể không nhận được sai.

#include <iostream> 

struct S { 
    S() { std::cout << "S::S()\n"; } 
    ~S() { std::cout << "S::~S()\n"; } 
}; 

int main() { 
    int i = 10; 
    while(i--) { 
    S s; 
    } 
} 

Answer 2

Hành vi quan sát được gọi là mỗi lần lặp lại.

Quy tắc thông thường về tối ưu hóa vẫn được áp dụng. Nếu trình biên dịch là thông minh và các đối tượng đơn giản sau đó trình biên dịch có thể làm bất cứ điều gì nó thích mà vẫn tạo ra những hành vi đúng, ví dụ .:

#include <iostream> 

struct foo { 
    int i; 
    foo() : i (-1) {} 
    ~foo() { i = 1; } 
}; 

int main() { 
    int i = 10; 
    while (--i) { 
    foo f; 
    std::cout << f.i; 
    } 
} 

Biên dịch để:

.Ltmp5: 
     .cfi_def_cfa_register %rbp 
     movl $_ZSt4cout, %edi 
     movl $-1, %esi 
     callq _ZNSolsEi 
     movl $_ZSt4cout, %edi 
     movl $-1, %esi 
     callq _ZNSolsEi 
     movl $_ZSt4cout, %edi 
     movl $-1, %esi 
     callq _ZNSolsEi 
     movl $_ZSt4cout, %edi 
     movl $-1, %esi 
     callq _ZNSolsEi 
     movl $_ZSt4cout, %edi 
     movl $-1, %esi 
     callq _ZNSolsEi 
     movl $_ZSt4cout, %edi 
     movl $-1, %esi 
     callq _ZNSolsEi 
     movl $_ZSt4cout, %edi 
     movl $-1, %esi 
     callq _ZNSolsEi 
     movl $_ZSt4cout, %edi 
     movl $-1, %esi 
     callq _ZNSolsEi 
     movl $_ZSt4cout, %edi 
     movl $-1, %esi 
     callq _ZNSolsEi 
     xorl %eax, %eax 
     popq %rbp 
     ret 

Tức là unrolled và không có dấu hiệu của destructor đó trong đó (mặc dù hành vi quan sát vẫn như cũ).