Mọi lớp học có hủy diệt ảo không?

Question

Java và C# hỗ trợ khái niệm về các lớp không thể được sử dụng làm lớp cơ sở với các từ khóa final và sealed. Trong C + + tuy nhiên không có cách nào tốt để ngăn chặn một lớp học được bắt nguồn từ đó rời khỏi tác giả của lớp với một tiến thoái lưỡng nan, nên mỗi lớp có một destructor ảo hay không?

---

Edit: Kể từ C++ 11 này không còn đúng, bạn có thể xác định rằng một lớp là final.

---

Một mặt cho một đối tượng một destructor ảo có nghĩa là nó sẽ có một vtable và do đó tiêu thụ 4 (hoặc 8 trên máy 64 bit) byte thêm mỗi đối tượng cho vptr. Mặt khác, nếu một người nào đó sau đó xuất phát từ lớp này và xóa một lớp dẫn xuất thông qua một con trỏ đến lớp cơ sở, chương trình sẽ không được xác định (do sự vắng mặt của một destructor ảo), và thẳng thắn tối ưu hóa cho một con trỏ trên mỗi đối tượng là vô lý.

Trên gripping hand có trình phá hủy ảo (được cho là) ​​quảng cáo loại này có nghĩa là được sử dụng đa hình.

Một số người nghĩ rằng bạn cần một lý do rõ ràng để không sử dụng một destructor ảo (như là văn bản phụ của this question) và những người khác nói rằng bạn nên sử dụng chúng chỉ khi bạn có lý do để tin rằng lớp học của bạn có nguồn gốc từ, bạn nghĩ gì?

Answer 1

Câu hỏi thực sự là, bạn có muốn thực thi các quy tắc về cách sử dụng lớp học của mình không? Tại sao? Nếu một lớp không có một destructor ảo, bất cứ ai sử dụng lớp biết rằng nó không có ý định được bắt nguồn từ, và những hạn chế áp dụng nếu bạn thử nó anyway. Điều đó không đủ tốt sao?

Hoặc bạn có cần trình biên dịch để ném một lỗi cứng nếu có ai đó dares để làm điều gì đó bạn không lường trước được không?

Cung cấp cho lớp một destructor ảo nếu bạn có ý định cho mọi người bắt nguồn từ nó. Nếu không, và giả sử rằng bất kỳ ai sử dụng mã của bạn đều đủ thông minh để sử dụng mã của bạn một cách chính xác.

Answer 2

Tôi sẽ "không" đối với câu hỏi chung. Không phải mỗi lớp học cần một. Nếu bạn có thể biết rằng lớp học sẽ không bao giờ được kế thừa, thì không cần phải chịu chi phí nhỏ. Nhưng nếu có cơ hội, hãy ở bên an toàn và đặt một cái ở đó.

Answer 3

Không! Các destructor ảo chỉ được sử dụng khi một đối tượng của một lớp dẫn xuất bị xóa thông qua một con trỏ lớp cơ sở. Nếu lớp của bạn không có ý định phục vụ như là cơ sở trong kịch bản này, không làm cho destructor ảo - bạn sẽ gửi một thông báo sai.

Answer 4

Mỗi lớp trừu tượng hoặc là nên có một,

• bảo vệ destructor, hoặc,
• destructor ảo.

Nếu bạn có công cụ hủy không công khai, điều đó không tốt vì nó cho phép người dùng xóa thông qua con trỏ đó một đối tượng có nguồn gốc. Vì chúng ta đều biết, đó là hành vi không xác định.

Đối với một lớp học không có ý định xóa thông qua một con trỏ đến nó, không có lý do gì để có một destructor ảo. Nó sẽ không chỉ lãng phí tài nguyên, nhưng quan trọng hơn nó sẽ cung cấp cho người dùng một gợi ý sai. Chỉ cần suy nghĩ về ý nghĩa crappy nó sẽ thực hiện để cung cấp cho std::iterator một destructor ảo.

Answer 5

Tôi sẽ thêm rằng đã có lần tôi đã gãi đầu trong một thời gian trên các destructors không nhận được gọi khi tôi quên một ảo trong cha mẹ hoặc lớp trẻ em. Tôi đoán bây giờ tôi đã biết điều đó.:)

Ai đó có thể tranh luận rằng có những lần lớp cha làm điều gì đó trong destructor của nó mà một đứa trẻ không nên làm ... nhưng đó có thể là một chỉ báo của một cái gì đó sai với cấu trúc thừa kế của bạn anyway.

Answer 6

Kiểm tra this article from Herb Sutter:

Hướng dẫn # 4: Một destructor lớp cơ sở nên là công khai và ảo, hoặc bảo vệ và nonvirtual.

Answer 7

Lớp cơ sở trở thành lớp trừu tượng, khi nó chứa ít nhất một hàm ảo thuần túy. Nếu Base không có destructor ảo và Derived (bắt nguồn từ Base), thì bạn có thể phá hủy an toàn đối tượng Derived thông qua một con trỏ đối tượng Derived nhưng không thông qua con trỏ đối tượng Base.

Answer 8

include<iostream> using namespace std; 

class base { 
    public: base() { 
     cout << "In base class constructor" << endl; 
    } 

    virtual ~base() { 
     cout << "in base class destuctor" << endl; 
    } 
}; 

class derived : public base { 
    public: derived() { 
     cout << "in derived class constructor" << endl; 
    } 

    ~derived() { 
     cout << "in derived class destructor" << endl; 
    } 
}; 

int main() { 
    base *b; // pointer to the base 
    class b = new derived; // creating the derived class object using new 
    keyword; 
    delete b; 
    return 0; 
}