- Quên bộ sưu tập rác (Thay vào đó sử dụng RAII). Lưu ý rằng ngay cả Trình thu gom rác cũng có thể bị rò rỉ (nếu bạn quên "null" một số tham chiếu trong Java / C #) và Trình thu gom rác sẽ không giúp bạn loại bỏ tài nguyên (nếu bạn có một đối tượng thu được xử lý một tệp, tệp sẽ không được giải phóng tự động khi đối tượng sẽ ra khỏi phạm vi nếu bạn không thực hiện thủ công trong Java hoặc sử dụng mẫu "vứt bỏ" trong C #).
- Quên quy tắc "một lần trả lại cho mỗi chức năng" . Đây là một lời khuyên C tốt để tránh rò rỉ, nhưng nó đã lỗi thời trong C ++ vì sử dụng ngoại lệ (thay vào đó sử dụng RAII).
- Và mặc dù "Mô hình bánh sandwich" là một lời khuyên C tốt, nó đã lỗi thời trong C ++ vì sử dụng ngoại lệ (thay vào đó sử dụng RAII).
Bài đăng này dường như được lặp đi lặp lại, nhưng trong C ++, mẫu cơ bản nhất cần biết là RAII .
Tìm hiểu cách sử dụng con trỏ thông minh, cả từ boost, TR1 hoặc thậm chí là thấp (nhưng thường đủ hiệu quả) auto_ptr (nhưng bạn phải biết giới hạn của nó).
RAII là cơ sở của cả an toàn ngoại lệ và xử lý tài nguyên trong C ++ và không có mô hình nào khác (sandwich, v.v.) sẽ cung cấp cho bạn cả hai (và hầu hết thời gian, nó sẽ không cung cấp cho bạn).
Xem bên dưới so sánh mã RAII và mã RAII:
void doSandwich()
{
T * p = new T() ;
// do something with p
delete p ; // leak if the p processing throws or return
}
void doRAIIDynamic()
{
std::auto_ptr<T> p(new T()) ; // you can use other smart pointers, too
// do something with p
// WON'T EVER LEAK, even in case of exceptions, returns, breaks, etc.
}
void doRAIIStatic()
{
T p ;
// do something with p
// WON'T EVER LEAK, even in case of exceptions, returns, breaks, etc.
}
Để tóm tắt (sau nhận xét từ Ogre Psalm33 ), RAII dựa trên ba khái niệm:
- Một khi đối tượng được xây dựng, nó chỉ hoạt động! Không có được tài nguyên trong các nhà xây dựng.
- Phá hủy đối tượng là đủ! Làm tài nguyên miễn phí trong hàm hủy.
- Đó là tất cả về phạm vi! Các đối tượng có phạm vi (xem ví dụ doRAIIStatic ở trên) sẽ được xây dựng theo khai báo của chúng và sẽ bị hủy ngay khi thực thi thoát khỏi phạm vi, bất kể lối ra (trả lại, ngắt, ngoại lệ, v.v.).
Điều này có nghĩa là trong mã C ++ chính xác, hầu hết các đối tượng sẽ không được xây dựng newvà thay vào đó sẽ được khai báo trên ngăn xếp. Và đối với những người được xây dựng bằng cách sử dụng new, tất cả sẽ nằm trong phạm vi nào đó (ví dụ được gắn vào một con trỏ thông minh).
Là một nhà phát triển, điều này thực sự rất mạnh mẽ vì bạn sẽ không cần quan tâm đến việc xử lý tài nguyên thủ công (như được thực hiện trong C hoặc đối với một số đối tượng trong Java, sử dụng nhiều try/ finallycho trường hợp đó) ...
Chỉnh sửa (2012/02/12)
"Các đối tượng trong phạm vi ... sẽ bị phá hủy ... bất kể lối ra" không hoàn toàn đúng. Có nhiều cách để lừa đảo RAII. bất kỳ hương vị chấm dứt () sẽ bỏ qua việc dọn dẹp. exit (EXIT_SUCCESS) là một oxymoron trong vấn đề này.
- wilmustell
wilmustell hoàn toàn đúng về điều đó: Có những cách đặc biệt để lừa đảo RAII, tất cả đều dẫn đến quá trình dừng đột ngột.
Đó là những cách đặc biệt bởi vì mã C ++ không bị vấy bẩn khi chấm dứt, thoát, v.v. hoặc trong trường hợp ngoại lệ, chúng tôi muốn có một ngoại lệ chưa được xử lý để phá vỡ quy trình và làm hỏng hình ảnh bộ nhớ của nó, và không phải sau khi làm sạch.
Nhưng chúng ta vẫn phải biết về những trường hợp đó bởi vì, trong khi chúng hiếm khi xảy ra, chúng vẫn có thể xảy ra.
(ai gọi terminatehoặc sử dụng exitmã C ++ thông thường? ... Tôi nhớ phải xử lý vấn đề đó khi chơi với GLUT : Thư viện này rất hướng C, đi xa đến mức chủ động thiết kế nó để gây khó khăn cho các nhà phát triển C ++ như không quan tâm về ngăn xếp dữ liệu được phân bổ hoặc có các quyết định "thú vị" về việc không bao giờ quay lại từ vòng lặp chính của họ ... Tôi sẽ không bình luận về điều đó) .