Đa hình là gì, mục đích của nó là gì và nó được sử dụng như thế nào?

Đa hình (Polymorphism) là một trong bốn tính chất cơ bản của Lập trình hướng đối tượng (OOP), bên cạnh Tính đóng gói (Encapsulation), Tính kế thừa (Inheritance) và Tính trừu tượng (Abstraction). Trong tiếng Hy Lạp, thuật ngữ “polymorphism” mang ý nghĩa là “có nhiều dạng”. Trong lập trình, thuật ngữ này dùng để ám chỉ đến việc một biến, một hàm hoặc một phương thức có thể tồn tại ở nhiều dạng khác nhau. Nói cách khác, nhiều hàm hoặc phương thức có thể cùng một tên nhưng chức năng thực sự của chúng lại khác nhau[2].

Mục đích của Đa hình trong OOP là tạo điều kiện cho việc sử dụng lại mã nguồn, giúp cho việc phát triển phần mềm trở nên linh hoạt và hiệu quả hơn. Lập trình viên có thể tận dụng Đa hình vào những trường hợp sau: khi các lớp con cần dùng phương thức của lớp cha để bổ sung cho một phương thức khác, hoặc khi một lớp cần có nhiều phương thức cùng tên nhưng khác tham số (parameter)[2].

Đa hình được sử dụng thông qua hai cách chính là Đa hình thời gian chạy (Runtime Polymorphism) và Đa hình thời gian biên dịch (Compile Time Polymorphism). Đa hình thời gian chạy cho phép một phương thức thực thi những hành vi khác nhau tùy thuộc vào đối tượng mà nó thuộc về. Ví dụ, một phương thức có thể được định nghĩa trong lớp cha nhưng được triển khai lại (override) trong lớp con. Đa hình thời gian biên dịch, ...