Đ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ử

Các loại đa hình

Đa hình tùy biến

Đa hình tham số

Dẫn xuất

Polytypism

Hiện thực

Xem thêm

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

^ 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."

Liên kết ngoài

C++ examples of polymorphism
Objects and Polymorphism (Visual Prolog) Lưu trữ 2009-08-01 tại Wayback Machine

[1] 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.

[Luca-2] 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."

[1]

[2]

x t s Các kiểu dữ liệu
Không xác định	Bit Byte Trit Tryte Word Mảng bit
Số	Độ chính xác tùy ý hay bignum Phức Thập phân Dấu phẩy tĩnh Dấu phẩy động Độ chính xác thấp Minifloat Bán chính xác bfloat16 Độ chính xác đơn Độ chính xác kép Độ chính xác bậc bốn Độ chính xác bậc tám Độ chính xác mở rộng Long double Nguyên có dấu và không dấu Khoảng Hữu tỉ
Con trỏ	Địa chỉ vật lý ảo Tham chiếu
Văn bản	Ký tự Chuỗi kết thúc rỗng
Phức hợp	Kiểu dữ liệu đại số tổng quát Mảng Mảng kết hợp Lớp Phụ thuộc Equality Quy nạp Giao Danh sách Đối tượng siêu đối tượng Kiểu tùy chọn Tích Bản ghi hay Struct Refinement Tập hợp Hợp tagged
Khác	Boole Kiểu đáy Collection Kiểu liệt kê Ngoại lệ Kiểu hàm Kiểu dữ liệu mờ Kiểu dữ liệu đệ quy Đèn báo Stream Kiểu đỉnh Lớp kiểu Kiểu đơn vị Void
Chủ đề liên quan	Kiểu dữ liệu trừu tượng Cấu trúc dữ liệu Tổng quát Kind siêu lớp Kiểu đối tượng Đa hình tham số Kiểu dữ liệu cơ bản Giao thức giao diện Đa hình dẫn xuất Hàm tạo kiểu Chuyển đổi kiểu Hệ thống kiểu Lý thuyết hình thái Biến