Suponha que queremos modelar diferentes tipos de comida; pizzas e tortas. Tanto pizzas quanto tortas têm um tipo de cobertura, mas suas coberturas são diferentes.
Implementamos uma classe abstrata Baked, e duas classes concretas Pizzae Pie. Também implementamos uma classe abstrata Topping, e duas classes concretas PizzaToppinge PieTopping.
Por definição, qualquer implementação concreta de Bakeddeve ter um Topping, então Bakeddeve ter um atributo do tipo Topping. Além disso, esse atributo de cobertura específico deve ser do tipo PizzaToppingem Pizza, e PieToppingem Pie.
Se entendi corretamente a resposta anterior , o LSP é violado nessa situação, porque se deixarmos de lado o fato de que Bakedé abstrato, seria possível instanciar um Bakedcontendo a PieTopping, mas isso não é possível se substituirmos Bakedpor Pizza.
Minha pergunta é: existe uma maneira de implementar esse modelo sem violar o LSP?