rò rỉ C++ trong trường hợp ngoại lệ ngay cả khi sử dụng con trỏ thông minh

Question

Tôi mới sử dụng con trỏ thông minh trên thế giới. Tôi đã đọc xong và tất cả đều nói rằng con trỏ thông minh sẽ tránh rò rỉ bộ nhớ ngay cả khi chương trình sẽ thoát sau khi gặp phải một ngoại lệ.

Tôi đã viết xuống một chương trình đơn giản để dùng thử, nhưng Valgrind cho tôi biết chương trình của tôi đang bị rò rỉ bộ nhớ (ba allocs và chỉ một phần mềm miễn phí).

Đây là mã nguồn:

#include <iostream> 
#include <memory> 

using namespace std; 

int main() 
{ 
    auto_ptr<int> ptr_int(new int(5)); 

    throw std::bad_alloc(); 

    cout << *ptr_int; 
} 

Và báo cáo Valgrind này:

==27862== Memcheck, a memory error detector 
==27862== Copyright (C) 2002-2010, and GNU GPL'd, by Julian Seward et al. 
==27862== Using Valgrind-3.6.0.SVN-Debian and LibVEX; rerun with -h for copyright info 
==27862== Command: ./smart_pointers 
==27862== Parent PID: 5388 
==27862== 
==27862== 
==27862== HEAP SUMMARY: 
==27862==  in use at exit: 104 bytes in 2 blocks 
==27862== total heap usage: 3 allocs, 1 frees, 120 bytes allocated 
==27862== 
==27862== 4 bytes in 1 blocks are still reachable in loss record 1 of 2 
==27862== at 0x4026351: operator new(unsigned int) (vg_replace_malloc.c:255) 
==27862== by 0x804878A: main (smart_pointers.cpp:8) 
==27862== 
==27862== 100 bytes in 1 blocks are possibly lost in loss record 2 of 2 
==27862== at 0x4025BD3: malloc (vg_replace_malloc.c:236) 
==27862== by 0x40E861A: __cxa_allocate_exception (in /usr/lib/libstdc++.so.6.0.14) 
==27862== by 0x80487AE: main (smart_pointers.cpp:10) 
==27862== 
==27862== LEAK SUMMARY: 
==27862== definitely lost: 0 bytes in 0 blocks 
==27862== indirectly lost: 0 bytes in 0 blocks 
==27862==  possibly lost: 100 bytes in 1 blocks 
==27862== still reachable: 4 bytes in 1 blocks 
==27862==   suppressed: 0 bytes in 0 blocks 
==27862== 
==27862== For counts of detected and suppressed errors, rerun with: -v 
==27862== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 19 from 8) 

Không sử dụng con trỏ thông minh đảm bảo các nguồn lực được phân bổ sẽ bị phá hủy ngay cả khi một ngoại lệ xuất hiện?

Answer 1

Khi std::terminate() được gọi là (như trường hợp cho một ngoại lệ còn tự do), dọn dẹp bình thường không chạy (ít nhất là trong ngăn xếp khung của main()), và như bộ nhớ như vậy bạn đã phân bổ trong stack rò rỉ khung hình, mặc dù nó được cho là được quản lý bởi một con trỏ thông minh. Khi bạn đang bắt các std::bad_alloc trong main(), và trở lại bình thường, con trỏ thông minh sẽ làm nhiệm vụ của nó.

Answer 2

Nếu ngoại lệ không được xử lý, khi đó nó được triển khai thực hiện để xác định xem ngăn xếp sẽ bị bỏ trống trước khi gọi std::terminate.

Nếu bạn xử lý ngoại lệ, con trỏ thông minh sẽ hoạt động như mong đợi.

tham khảo:

C++ 11 15.5.1 Các std::terminate() chức năng

1 Trong một số tình huống xử lý ngoại lệ phải được bỏ hoang cho các kỹ thuật xử lý lỗi kém phần tinh tế. Những tình huống này là:

........

- khi cơ chế xử lý ngoại lệ không thể tìm thấy một handler cho một ngoại lệ ném, hoặc

........

2 Trong trường hợp này, std::terminate() được gọi. Trong trường hợp không tìm thấy trình xử lý phù hợp, nó được thực hiện xác định có hay không ngăn xếp được mở trước std::terminate() được gọi là.

Answer 3

Nếu ngoại lệ không bị bắt, khi đó thư giãn được thực hiện cụ thể. Do đó trong trường hợp của bạn, nó không giải phóng bộ nhớ.

Ngoài ra, auto_ptr không còn được đề xuất nữa.

Sử dụng std :: unique_ptr:

unique_ptr<int> ptr_int(new int(5));