Ngày 27 — Inheritance, virtual destructor, override và final

1. Vấn đề nó giải quyết

Inheritance mô hình hóa quan hệ is-a, virtual dispatch chọn hành vi lớp con, virtual destructor cho phép xóa qua base pointer an toàn, còn override/final kiểm tra ý định. Nó làm ràng buộc quan trọng hiện rõ thay vì bắt người đọc đoán. Bài chỉ giữ phần cốt lõi C++11 vừa đủ cho một ngày tập trung.

2. Kiến thức cần có

Kiến thức Ngày 26, cùng biến, hàm và cách đọc output đã học trước đó.

3. Ý tưởng cốt lõi

Mental model: Inheritance mô hình hóa quan hệ is-a, virtual dispatch chọn hành vi lớp con, virtual destructor cho phép xóa qua base pointer an toàn, còn override/final kiểm tra ý định. Hãy xác định giá trị hoặc trạng thái liên quan, ai sở hữu nó và quy tắc tác động lúc compile hay lúc chạy.

4. Cú pháp tối thiểu

struct Derived final : Base { const char* name() const override; };

5. Cách nó hoạt động

Ví dụ tạo dữ liệu nhỏ, cố định và không cần nhập bàn phím.
C++11 hoặc contract thư viện chuẩn áp dụng quy tắc hôm nay.
Chương trình in kết quả quan trọng để đối chiếu với mã nguồn.

6. Lỗi thường gặp

Xóa đối tượng derived qua base pointer không có virtual destructor gây undefined behavior.

7. Khi nào nên dùng

Nên dùng khi hành vi runtime thật sự thay đổi theo subtype và phép thay thế có ý nghĩa.
Tránh dùng khi nó che ownership, lifetime, kiểu, thứ tự hoặc chi phí.

8. Ví dụ đơn giản

Base pointer gọi override của derived rồi xóa đối tượng, cho thấy hai destructor chạy đúng thứ tự. File .cpp dùng dữ liệu cố định và không thêm abstraction ngoài chủ đề.

Mã mẫu hoàn chỉnh

Tệp mã nguồn

cpp11/27_inheritance_virtual_destructor_override_final/main.cpp

C++

#include <iostream>

class Base {
public:
    virtual ~Base() {
        std::cout << "Base destroyed\n";
    }

    virtual const char* name() const {
        return "Base";
    }
};

class Derived final : public Base {
public:
    ~Derived() override {
        std::cout << "Derived destroyed\n";
    }

    const char* name() const override {
        return "Derived";
    }
};

int main() {
    Base* object = new Derived;
    std::cout << object->name() << '\n';
    delete object; // safe because Base has a virtual destructor
}

9. Điều cần nhớ

Tính năng nằm trong phạm vi C++11 của lộ trình này.
Hiểu hệ quả về lifetime, ownership, kiểu và thứ tự trước khi dùng.
Compile với cảnh báo và ưu tiên cách viết nhỏ nhất làm quy tắc hiện rõ.

10. Câu hỏi tự kiểm tra

Dễ — Vì sao lớp cơ sở cần virtual destructor khi xóa đối tượng lớp con qua con trỏ cơ sở? override trên hàm và final trên lớp bảo vệ ý định gì?
Trung bình — Đọc ví dụ nhỏ ở trên. Chương trình sẽ in giá trị hoặc trạng thái nào, và quy tắc nào tạo ra kết quả đó?
Khó — Tìm và giải thích lỗi tinh tế trong tình huống sau: Xóa đối tượng derived qua base pointer không có virtual destructor gây undefined behavior. Cách sửa nhỏ nhất nhưng an toàn trong C++11 là gì?

Luyện thẻ của bài này

1. Vấn đề nó giải quyết

3. Ý tưởng cốt lõi

#include <iostream> class Base { public: virtual ~Base() { std::cout << "Base destroyed\n"; } virtual const char* name() const { return "Base"; } }; class Derived final : public Base { public: ~Derived() override { std::cout << "Derived destroyed\n"; } const char* name() const override { return "Derived"; } }; int main() { Base* object = new Derived; std::cout << object->name() << '\n'; delete object; // safe because Base has a virtual destructor }

10. Câu hỏi tự kiểm tra

Dễ — Vì sao lớp cơ sở cần virtual destructor khi xóa đối tượng lớp con qua con trỏ cơ sở? override trên hàm và final trên lớp bảo vệ ý định gì?
Trung bình — Đọc ví dụ nhỏ ở trên. Chương trình sẽ in giá trị hoặc trạng thái nào, và quy tắc nào tạo ra kết quả đó?
Khó — Tìm và giải thích lỗi tinh tế trong tình huống sau: Xóa đối tượng derived qua base pointer không có virtual destructor gây undefined behavior. Cách sửa nhỏ nhất nhưng an toàn trong C++11 là gì?