Kế thừa & Đa hình

Tư duy trừu tượng hoá — trụ cột quan trọng nhất của OOP

Abstraction là gì, 4 trụ cột OOP và vai trò trừu tượng hoá. Quy trình 5 bước xác định abstraction từ bài toán, 3 level of abstraction, và bộ công cụ Java (interface, abstract class, sealed, record) để hiện thực chúng.

Nhận diện abstraction sai — over-engineering trap và cách sửa

4 trap over-engineering kinh điển: interface 1 implementation, abstraction không use case, premature abstraction, abstraction giả tạo. Rule of 3, YAGNI, case study payment system minh hoạ abstraction đúng và Open/Closed Principle.

`extends` và `super` — kế thừa cơ bản

Cú pháp extends, constructor chain với super(...), mỗi class có đúng 1 cha, Object là gốc, và vì sao constructor cha luôn chạy trước.

Override và dynamic dispatch — đa hình ở runtime

Override method vs overload, @Override annotation, dynamic dispatch dựa vào kiểu thực của object, covariant return type, và rule 'tightening' cấm thu hẹp visibility.

Abstract class — template buộc subclass hoàn thiện

Khi nào dùng abstract class, abstract method, template method pattern, so sánh với interface, và vì sao abstract class giữ được state nhưng không thể instantiate.

Interface — hợp đồng capability với default method

Interface là gì, đa kế thừa interface, default method Java 8+, private method Java 9+, functional interface, và so sánh chi tiết với abstract class.

Sealed class — kiểm soát tập subtype với pattern matching exhaustive

Sealed class/interface Java 17+, từ khóa permits, sub-type phải là final/sealed/non-sealed, kết hợp record + sealed + switch pattern matching cho ADT đầy đủ trong Java.

Composition over inheritance — khi nào KHÔNG kế thừa

Nguyên tắc Effective Java Item 18: ưu tiên composition hơn inheritance. Vấn đề của inheritance, cách composition sửa, pattern delegation, và khi nào thực sự cần extends.

Mini-challenge: Sở thú — sealed + record + pattern matching

Bài thực hành khép lại module Kế thừa & Đa hình — mô hình sở thú với sealed interface Animal, record cho mỗi loài, switch pattern matching để tính khẩu phần ăn. Áp dụng ADT đầy đủ của Java 21.