Bạn có thể đảm bảo thứ tự hủy khi đối tượng được khai báo trên ngăn xếp không?

Question

tôi có mã điều khiển một mutex khóa/mở khóa dựa trên phạm vi:

void PerformLogin() 
{ 
    ScopeLock <Lock> LoginLock(&m_LoginLock); 

    doLoginCommand(); 

    ScopeLock <SharedMemoryBase> MemoryLock(&m_SharedMemory); 

    doStoreLogin(); 

    ... 
} 

Tôi có thể đảm bảo rằng MemoryLock sẽ được destructed trước LoginLock?

Answer 1

Vâng, đúng vậy. Trong bất kỳ phạm vi đối tượng địa phương cụ thể nào bị phá hủy theo thứ tự ngược lại, chúng được xây dựng.

Answer 2

Có, các trình phá hủy được gọi theo thứ tự ngược lại của xây dựng.

Answer 3

Thêm vào câu trả lời của Neil.

Hãy xem xét điều ngược lại có đúng hay không, đó là bạn không thể dự đoán thứ tự hủy cho các biến được khai báo ngăn xếp. Điều đó sẽ làm cho nó gần như không thể sử dụng các loại giá trị phụ thuộc vào ngăn xếp. Hãy xem xét

void Foo() { 
    Type1 t1; 
    Type2 t2(&t1); 
    ... 
} 

Nếu C++ không đảm bảo trật tự hủy, mã chuyển tiếp thẳng như thế này sẽ vô cùng không an toàn vì nó có thể bị phá hủy trước khi t2 bị hủy. Do đó bạn không thể đảm bảo destructor của t2 chạy với giá trị t1 hợp lệ.

Answer 4

Câu hỏi đã được trả lời đã có, nhưng tôi muốn thêm rằng tôi thường có thói quen viết một cái gì đó như thế này:

void PerformLogin() 
{ 
    ScopeLock <Lock> LoginLock(&m_LoginLock); 
    doLoginCommand(); 

    { 
     ScopeLock <SharedMemoryBase> MemoryLock(&m_SharedMemory); 
     doStoreLogin(); 
     ... 
    } 
} 

Theo tôi, điều này làm cho mục đích rõ ràng hơn (*). Điều đó có thể có liên quan nếu mã của bạn thực sự là dựa trên theo thứ tự cụ thể. Tôi thấy rằng điều này khiến ít khả năng ai đó vô tình thay đổi thứ tự và gây ra lỗi khó tìm. (Vâng, đó là tất nhiên là không vấn đề, vì tất cả chúng ta đều có các thử nghiệm tại chỗ, phải không?)

Tôi luôn viết các dấu ngoặc thừa thừa trong một cái gì đó giống như   và tôi thấy vấn đề này khá giống.

(*): Tất nhiên, bạn cũng có thể sử dụng nhận xét.

Answer 5

Có, trình phá hủy là sự đảo ngược của các nhà xây dựng. Bởi vì destructors được sử dụng để xóa các đối tượng không còn cần thiết và constructor được sử dụng để tạo các đối tượng.