O Princípio de Substituição de Liskov também se aplica a classes que implementam uma interface?

O LSP afirma que as classes devem ser substituíveis por suas classes base, o que significa que as classes derivada e base devem ser semanticamente equivalentes.

Mas o LSP também se aplica a classes que implementam uma interface? Em outras palavras, se um método de interface implementado por uma classe é semanticamente diferente do que o usuário espera que seja, isso seria considerado uma violação do LSP?

design-patterns design-principles liskov-substitution user1483278
fonte

Sim. Exatamente as mesmas razões e resultados que violam o LSP se for uma interface, uma classe abstrata, uma classe completa, não importa. O LSP trata de definir e atender às expectativas para permitir que os consumidores tratem seus tipos de maneira geral.

Jimmy Hoffa

De um modo geral (conheço as diferenças, mas estou generalizando aqui), as interfaces são um tanto análogas às classes abstratas puras (termo C ++) e, portanto, Liskov deve aplicar-se às interfaces e às classes que as implementam.

Jesse C. Slicer

Nota: a formulação do LSP com que estou familiarizado fala de subtipos, em vez de classes derivada e base. Por uma boa razão, presumo, porque nenhuma das razões é específica da herança e se aplica igualmente a qualquer outro tipo de subtipo.

Respostas:

se um método de interface implementado por uma classe for semanticamente diferente do que o usuário espera que seja, isso seria considerado uma violação do LSP?

Se a implementação for semanticamente diferente do comportamento documentado através dos invariantes da interface e de pré e pós-condições de seus métodos, a resposta será "sim", isso seria uma violação do LSP. O princípio estabelece as regras para a abstração e suas implementações, sem exigir que o lado da abstração esteja presente na forma de uma classe.

No entanto, se falarmos sobre o que os usuários esperam , a resposta seria "não necessariamente": os usuários têm direito a ter expectativas erradas.

dasblinkenlight
fonte

"Se a implementação for semanticamente diferente do comportamento documentado através dos invariantes da interface", você poderia elaborar o que você quer dizer com "invariantes da interface"?

user1483278

@ user1483278 Aqui está um artigo sobre invariantes de tipo . O artigo os chama de "invariantes de classe", mas a descrição também se aplica a interfaces. Invariantes são condições estabelecidas na construção e mantidas durante toda a vida útil de uma instância. Por exemplo, se uma interface possui uma propriedade Nameque não pode ser configurada null, então obj.Name != nullé considerado invariante dessa interface.

dasblinkenlight

Normalmente, quando os invariantes são discutidos, é possível escrever um pedaço de código para verificar se o invariante é mantido ao longo de toda a vida útil do objeto. No entanto, geralmente é mais simples descrever verbalmente o invariante no inglês comum.

Rwong 23/10/12