Лиск замены, предпосылка и абстрактные методы

Question

Лиск принцип замещения (LSP) говорят:

Предпосылки не могут быть усиленны в подтипе.

В C#, я мог нарушить весь принцип следующим образом:

public class A 
{ 
     public virtual void DoStuff(string text) 
     { 
      Contract.Requires(!string.IsNullOrEmpty(text)); 
     } 
} 

public class B : A 
{ 
     public override void DoStuff(string text) 
     { 
      Contract.Requires(!string.IsNullOrEmpty(text) && text.Length > 10); 
     } 
} 

Но что произойдет, если A.DoStuff бы abstract метод:

public class A 
{ 
     public abstract void DoStuff(string text); 
} 

public class B : A 
{ 
     public override void DoStuff(string text) 
     { 
      Contract.Requires(!string.IsNullOrEmpty(text)); 
     } 
} 

Теперь A.DoStuff является contractless. Или его контракт составляет всего все разрешено.

Answer 1

Да, вы можете легко разбить принцип, не только на C#.

Он только говорит:

Подтип Требование: Пусть фи (х) свойство доказуемо об объектах х типа T. Тогда фита (у) должно быть справедливо и для объектов у типа S где S является подтипом Т.

В вашем примере типа B не отвечает свойство предлагает метод DoStuff, который работает с короткими текстами, несмотря на супертипе А его исполнение. Таким образом, принцип нарушается.

Это касается программиста, который поддерживает принцип. Свойство также может быть «оно делает правильное дело», которое вы легко можете сломать, имея подтип с неправильной реализацией метода.

Answer 2

Я бы сказал, что это не так. Абстрактный метод по определению не имеет никаких предварительных условий, поскольку реализация отсутствует. Было бы так же, как утверждать, что реализация интерфейса прерывает LSP.

Высказывание A.DoSomething() является непревзойденным, является неправдой. A.DoSomehing() не определено, поэтому у него не может быть контракта, кроме его подписи.

Answer 3

В зависимости от: что определяет контракт.

LSP - теоретическая конструкция, она не зависит от конкретного языка или реализации, например, от функции COD «Контракты кода» C#.

Договор может быть определен следующим образом:

• имя метода
имен
• метод параметров
• метод комментария
• возвращаемый тип и типы параметров метода
• «явный» контракты, такие как Contract.Requires

На последних двух будет проверено компилятором. Тем не менее, первые три могут быть частью контракта! Рассмотрим следующий пример:

public interface StuffContainer 
{ 
    void Add(string text); 

    // Removes a string that has previously been added. 
    void Remove(string text); 
} 

Название и документация метода Remove определить четкую предпосылку. Проверка в реализации, которую ранее удалялась строка, которая была удалена, не нарушает LSP. Проверка того, что строка имеет не менее 5 символов, будет нарушать LSP.