Obsah
- Definice - Co znamená podtyp?
- Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
- Techopedia vysvětluje podtypování
Definice - Co znamená podtyp?
Subtypování je pojem v teorii programovacího jazyka, kde subtyp, který je datovým typem, souvisí s supertypem založeným na pojmu zastupitelnosti, kde programové prvky, jako jsou funkce a podprogramy, které jsou zapsány pro supertyp, budou i nadále fungovat, pokud budou dané místo toho podtyp. Podtypy jsou základním konceptem objektově orientovaného programování a jsou nahraditelné supertypy a někdy mají dokonce přísnější specifikace než supertyp.
Úvod do Microsoft Azure a Microsoft Cloud | V této příručce se dozvíte, o čem cloud computing je a jak vám může Microsoft Azure pomoci migrovat a řídit podnikání z cloudu.
Techopedia vysvětluje podtypování
Subtypování je metoda substituce a opakovaného použití kódu používaná v objektově orientovaných programovacích jazycích, aby se zabránilo zbytečnému kopírování do značné míry podobného kódu a podporovala čitelnost kódu a zabránilo se chybám. Podtyp je v zásadě náhradou za supertyp, který může splňovat všechny specifikace latterů a pak některé. Takže pokud B je podtyp A, pak B lze vždy použít k nahrazení A a jakákoli vlastnost, která je zaručena A, musí být také zaručena B.
Podtyp může posílit a dokonce přidat vlastnosti, které nejsou na supertypu, což znamená, že umožňuje prodloužení supertypu. Takže namísto vytvoření nového supertypu pokaždé, když je potřeba něco nového a pak zkopírování vlastností a podmínek z jiného supertypu, mohl by se jednoduše vytvořit subtyp, který rozšiřuje supertyp o další vlastnosti nebo funkce, aniž by se supertyp změnil. Pak bude v tomto případě vše, co je prokazatelné supertypu, prokazatelné i pro podtyp a další. Pokud by se s podtypem zacházelo čistě stejným způsobem jako se supertypem pomocí a dotazování pouze na metody a pole supertypu, výsledky by byly v souladu s objekty supertypu.