Este artigo apresenta uma interface IList<T>
contendo os métodos Add(T item)
e Count()
. O contrato dessa interface espera que quando um item for adicionado, o método Count()
reflita a nova quantidade de itens na lista. Isso pode inclusive ser definido na documentação da interface (uma pós-condição do contrato).
Porém, a interface por si só, na maioria das linguagens, não garante que esse contrato seja cumprido.
Ele se propõe a resolver isso criando uma subclasse CollectionContract<T>
que implementa a lógica de cumprimento do contrato:
public abstract class CollectionContract<T> : IList<T> {
public void Add(T item){
AddCore(item);
this.count++;
}
public int Count {
get { return this.count; }
}
protected abstract void AddCore(T item);
private int count;
...
}
Um dos comentários argumenta que essa abordagem pode introduzir um overhead inaceitável em tempo de execução mesmo quando esse overhead é limitado a builds de debug:
In computer science and software engineering, the terms and conditions on a contract are typically referred to as pre- and post-conditions. While abstract classes could be used to validate that these conditions are satisfied through the use of the template-method pattern, this approach can introduce unacceptable run-time overhead even when limited to debug builds.
Ele também fala que, em linguagens sem herança múltipla, como C# (e Java), essa abordagem impacta profundamente o design das classes. Mais ainda, a lógica de cumprimento do contrato está fazendo suposições que tornam a subclasse rígida e inflexível (como assumir que o contador deve ser guardado em um campo privado, e que esse campo deve ser do tipo inteiro).
Finalmente, propõe que o cumprimento do contrato seja garantido por meio de testes unitários realizados sobre as classes que implementam a interface (apesar que isso não é uma solução ideal, pois é externa ao contrato e à linguagem).
Minhas perguntas são:
A que tipo de situação o comentarista se refere quando fala em overhead em tempo de execução?
Essas situações em que o overhead ocorre são via de regra difíceis ou fáceis de prever? (para fins de ajudar a decidir quando é viável adotar a solução do artigo)
Aliás, me responda diretamente: é sempre incorreto tentar garantir um contrato à maneira do artigo?
Mesmo nas linguagens que permitem herança múltipla?
(Para quem se interessar pelo contexto do assunto, eu cheguei a esse artigo sobre interfaces partindo deste aqui e passando por este outro. E este aqui também é interessante).