Substituibilitate

Această intrare pe tema programării este doar o schiță . Contribuiți la îmbunătățirea acestuia în conformitate cu convențiile Wikipedia .

Substituibilitatea este un principiu al informaticii care afirmă că, dacă S este un subtip de T , atunci obiectele declarate a fi de tip T într-un program pot fi înlocuite cu obiecte de tip S (numite în formă echivalentă, obiectele de tip S pot fi „înlocuitori” pentru obiecte de tip T ), fără a modifica niciuna dintre funcțiile cerute de program (corectitudinea rezultatelor produse, sarcinile îndeplinite etc.)

Acest principiu este adesea utilizat în programarea orientată pe obiecte .

Elemente conexe

• Tipul de date
• Subtip (computer)