Đa hình (khoa học máy tính)
Trong ngôn ngữ lập trình và lý thuyết kiểu, đa hình (tiếng Anh: polymorphism, từ tiếng Hy Lạp πολύς, polys, "nhiều" và μορφή, morphē, "hình dạng") là việc cung cấp một giao diện cho các thực thể thuộc nhiều kiểu khác nhau.[1] Một kiểu đa hình là kiểu mà những toán tử của nó có thể được áp dụng cho các giá trị của kiểu khác, hoặc các kiểu.[2] Có nhiều loại đa hình cơ bản, gồm: đa hình tùy biến (ad hoc polymorphism), đa hình tham số (parametric polymorphism) và đa hình dẫn xuất (subtyping, hay còn gọi là subtype polymorphism, inclusion polymorphism).
Lịch sử sửa
Các loại đa hình sửa
Đa hình tùy biến sửa
Đa hình tham số sửa
Dẫn xuất sửa
Polytypism sửa
Hiện thực sửa
Xem thêm sửa
- Duck typing for polymorphism without (static) types
- Polymorphic code (Computer virus terminology)
- System F for a phép tính lambda with parametric polymorphism.
- Type class
- Lý thuyết kiểu
- Virtual inheritance
Tham khảo sửa
- ^
Bjarne Stroustrup (ngày 19 tháng 2 năm 2007). “Bjarne Stroustrup's C++ Glossary”.
polymorphism – providing a single interface to entities of different types.
- ^ Cardelli, Luca; Wegner, Peter (tháng 12 năm 1985). “On understanding types, data abstraction, and polymorphism” (PDF). ACM Computing Surveys. New York, NY, USA: ACM. 17 (4): 471–523. doi:10.1145/6041.6042. ISSN 0360-0300.: "Polymorphic types are types whose operations are applicable to values of more than one type."