NộI Dung
- Định nghĩa - Subtyping có nghĩa là gì?
- Giới thiệu về Microsoft Azure và Microsoft Cloud | Trong suốt hướng dẫn này, bạn sẽ tìm hiểu về điện toán đám mây là gì và Microsoft Azure có thể giúp bạn di chuyển và điều hành doanh nghiệp của bạn từ đám mây như thế nào.
- Techopedia giải thích Subtyping
Định nghĩa - Subtyping có nghĩa là gì?
Subtyping là một khái niệm trong lý thuyết ngôn ngữ lập trình trong đó một kiểu con, là kiểu dữ liệu, có liên quan đến một siêu kiểu dựa trên khái niệm về khả năng thay thế, trong đó các yếu tố chương trình như hàm và chương trình con được viết cho siêu kiểu sẽ vẫn hoạt động nếu được cung cấp thay vào đó Các kiểu con là một khái niệm thiết yếu trong lập trình hướng đối tượng và có thể thay thế cho các siêu kiểu và đôi khi thậm chí có các thông số kỹ thuật nghiêm ngặt hơn so với siêu kiểu.
Giới thiệu về Microsoft Azure và Microsoft Cloud | Trong suốt hướng dẫn này, bạn sẽ tìm hiểu về điện toán đám mây là gì và Microsoft Azure có thể giúp bạn di chuyển và điều hành doanh nghiệp của bạn từ đám mây như thế nào.
Techopedia giải thích Subtyping
Subtyping là một phương pháp để thay thế và tái sử dụng mã được sử dụng trong các ngôn ngữ lập trình hướng đối tượng để ngăn chặn việc sao chép không cần thiết của phần lớn mã tương tự và thúc đẩy khả năng đọc mã và ngăn ngừa lỗi. Một kiểu con về cơ bản là một sự thay thế cho một siêu kiểu có thể đáp ứng tất cả các thông số kỹ thuật của latters, và sau đó là một số. Vì vậy, nếu B là một kiểu con của A, thì B luôn có thể được sử dụng để thay thế cho A và bất kỳ tài sản nào được đảm bảo bởi A cũng phải được bảo đảm bởi B.
Loại phụ được phép tăng cường và thậm chí thêm các thuộc tính không có trên siêu kiểu, điều đó có nghĩa là nó cho phép siêu kiểu được mở rộng. Vì vậy, thay vì tạo một siêu kiểu mới mỗi khi cần một thứ gì đó mới và sau đó sao chép các thuộc tính và điều kiện từ một siêu kiểu khác, một kiểu con có thể được tạo ra một cách đơn giản để mở rộng siêu kiểu với các thuộc tính hoặc tính năng bổ sung mà không thay đổi siêu kiểu. Sau đó, trong trường hợp này, tất cả mọi thứ có thể chứng minh được với siêu kiểu cũng sẽ được chứng minh cho kiểu phụ và hơn thế nữa. Nếu một kiểu con được xử lý hoàn toàn giống như siêu kiểu bằng cách sử dụng và truy vấn chỉ các phương thức và trường siêu kiểu, thì kết quả sẽ phù hợp với các đối tượng của siêu kiểu.