So che potrebbe essere una domanda stupida da porre, ma non ho avuto una risposta chiara in merito, quindi ho pensato di inserirlo qui.
Il c ++ supporta la sottotipizzazione nel senso che soddisfa pienamente il principio di Liskov? Capisco come il polimorfismo parametrico, il polimorfismo di inclusione (sottoclassi e sovrascrittura) funzionino in c ++ ma non sono del tutto sicuro o capisco se la sottotipizzazione esiste nel contesto di C ++. Potresti spiegare per favore?
Does c++ support the subtyping in the sense that it fulfills Liskov's principle fully?
C ++ è pienamente in grado di supportare il Principio di sostituzione di Liskov se il programmatore lo usa in quel modo. Proprio come molti altri linguaggi, non ti impedirà di fare qualcosa che viola il principio.
E sì, sia il polimorfismo "convenzionale" ottenuto per ereditarietà che il polimorfismo parametrico / statico fornito da modelli shenanigans funzionano per quanto riguarda questa domanda.
Leggi altre domande sui tag design c++ design-patterns polymorphism