Contenido
- Definición - ¿Qué significa Subtipo?
- Una introducción a Microsoft Azure y la nube de Microsoft | A lo largo de esta guía, aprenderá de qué se trata la computación en la nube y cómo Microsoft Azure puede ayudarlo a migrar y administrar su negocio desde la nube.
- Techopedia explica Subtipo
Definición - ¿Qué significa Subtipo?
El subtipo es una noción en la teoría del lenguaje de programación en la que un subtipo, que es un tipo de datos, está relacionado con un supertipo basado en la noción de sustituibilidad, donde los elementos del programa como funciones y subrutinas que están escritas para el supertipo seguirán funcionando si se les da el subtipo en su lugar. Los subtipos son un concepto esencial en la programación orientada a objetos y son sustituibles por los supertipos y, a veces, incluso tienen especificaciones más estrictas que el supertipo.
Una introducción a Microsoft Azure y la nube de Microsoft | A lo largo de esta guía, aprenderá de qué se trata la computación en la nube y cómo Microsoft Azure puede ayudarlo a migrar y administrar su negocio desde la nube.
Techopedia explica Subtipo
El subtipo es un método de sustitución y reutilización de código que se utiliza en lenguajes de programación orientados a objetos para evitar la copia innecesaria de un código muy similar y promover la legibilidad del código y evitar errores. Un subtipo es básicamente un sustituto de un supertipo que puede cumplir con todas las especificaciones de los últimos, y algo más. Entonces, si B es un subtipo de A, entonces B siempre se puede usar para sustituir a A y cualquier propiedad que esté garantizada por A también debe estar garantizada por B.
El subtipo puede fortalecer e incluso agregar propiedades que no están en el supertipo, lo que significa que permite que el supertipo se extienda. Entonces, en lugar de crear un nuevo supertipo cada vez que se requiere algo nuevo y luego copiar propiedades y condiciones de otro supertipo, simplemente se podría crear un subtipo que extienda el supertipo con propiedades o características adicionales sin cambiar el supertipo. Entonces, en este caso, todo lo que sea demostrable para el supertipo también será demostrable para el subtipo y más. Si un subtipo se trata de la misma manera que el supertipo usando y consultando solo métodos y campos de supertipo, entonces los resultados serían consistentes con los objetos del supertipo.