std :: auto_ptr, delete [] và rò rỉ

Question

Tại sao mã này không không gây rò rỉ bộ nhớ?

int iterCount = 1000; 
int sizeBig = 100000; 
for (int i = 0; i < iterCount; i++) 
{ 
    std::auto_ptr<char> buffer(new char[sizeBig]); 
} 

WinXP sp2, biên dịch: BCB.05.03

Answer 1

Bởi vì bạn (un) may mắn. auto_ptr gọi delete, không phải delete []. Đây là hành vi không xác định.

Hãy thử làm một cái gì đó như thế này và xem liệu bạn có được may mắn như:

struct Foo 
{ 
    char *bar; 
    Foo(void) : bar(new char[100]) { } 
    ~Foo(void) { delete [] bar; } 
} 

int iterCount = 1000; 
int sizeBig = 100000; 
for (int i = 0; i < iterCount; i++) 
{ 
    std::auto_ptr<Foo> buffer(new Foo[sizeBig]); 
} 

Ý tưởng ở đây là destructor của bạn cho Foo sẽ không được gọi.

---

Lý do là một cái gì đó như thế này: Khi bạn nói delete[] p, việc thực hiện delete[] là giả sử để đi đến từng phần tử trong mảng, gọi destructor của nó, sau đó giải phóng bộ nhớ được trỏ đến bởi p. Tương tự, delete p giả sử gọi hàm hủy trên p, sau đó giải phóng bộ nhớ.

char không có trình phá hủy, do đó, nó sẽ xóa bộ nhớ được trỏ tới bởi p. Trong mã của tôi ở trên, nó là không sẽ hủy mỗi phần tử trong mảng (vì nó không gọi delete[]), do đó, một số Foo sẽ để biến thanh địa phương của chúng chưa được xóa.

Answer 2

Auto_ptr sẽ chỉ hoạt động trong khoảng thời gian lặp vòng lặp và sẽ giải phóng đối tượng được kết nối với nó khi hoàn thành lặp lại.

Trình biên dịch có thể thấy rằng trong trường hợp này mới [] có thể phân bổ không gian trong cùng một cách như mới - mà không cần lưu trữ các số nguyên tố bất cứ nơi nào vì không có nhu cầu gọi tầm thường char destructors - và đó là lý do tại sao sau khi xóa được gọi bởi destructor của auto_ptr thay vì xóa [] nó gây ra không có vấn đề kể từ khi khối bộ nhớ đã thực sự được phân bổ trong mới cách 's và phân bổ có thể được kết hợp với xóa.

Đây là ví dụ về một điều không nên làm. Tùy thuộc vào trình biên dịch để quyết định có thay thế mới [] bằng mới hay không. Sử dụng xóa thay vì xóa [] và ngược lại là hành vi không xác định.

Xem Why would you write something like this? (intentionally not using delete [] on an array) để thảo luận về xóa vs xóa [].