リスコフ代理原則 - 私はここに違反していますか？

Question

私はまだLSPを理解しようとしています。私がこれまで理解してきたことから、サブクラス/サブタイプはBaseclass/Mainタイプを置き換えることができ、プログラムはそのまま動作するはずです。

私は、次の...

abstract class Warehouse<T> { 
     private StockLoader<T> loader; 
     private List<T> stock; 

     protected setStockLoader(StockLoader loader) { 
      this.loader = loader; 
     } 

     protected List<T> getStock() { 
      return stock; 
     } 

     public void load() { 
     stock = loader.load(); 
     } 

     abstract showStock(); 
    } 

class WheatWH extends Warehouse<Wheat> { 
    @Override 
    public void showStock() { 
     // Print stocck with getStock() returns Wheat; 
    } 
} 

class RiceWH extends Warehouse<Rice> { 
    @Override 
    public void showStock() { 
     // Print stocck with getStock() returns Rice; 
    } 
} 


    interface List<T> StockLoader<T>() { 
     public List<T> load();  
    } 

    class PlainStockLoader implements StockLoader<Wheat>{ 
     public List<Wheat> load() { 
      //Code 
     } 
    } 

    class Rice { 
     ..... 
    } 

    class Wheat { 
     .... 
    } 

それはLSPに違反していがありますか？そうでない場合は、上記のプログラムでLSPに違反するものは何ですか？ さらに、これは他の原則に違反していますか？他の方法でこれを改善できますか？

Answer 1

あなたが持っているものは完璧に上手です。

Warehouse<Wheat> wheat = new WheatWH(); 
Warehouse<Rice> rice = new RiceWH(); 

そしてかかわらず、彼らはそのサブクラスのwheatとriceにWarehouseクラスからメソッドを呼び出すことができる：ここでの目標は、あなたのような何かができるというような実装を持っているだろう。あなたが今までに持っていたコードはこれを完全に行っているので、あなたは間違いなく正しい道にいると言います。