Liskov替代原理VS接口隔离原理

Question

我在理解这两个原则时有些困难。这是一个有点长的阅读问题，所以要有耐心。

假设我们有一个类

abstract class Shape {
    abstract void onDraw();
}

和接口

interface SideCountable {
  int getSidesCount();
}

然后我们创建了两个子类

class Quad extends Shape {

   @Override
   public void onDraw() {
   //some draw logic here
   }
}

class Triangle extends Shape {

   @Override
   public void onDraw() {
   //some draw logic here
   }
}

现在我们将使ShapeimplementsSideCountable

abstract class Shape implements SideCountable{
    abstract void onDraw();
}

并在儿童课程中做出改变

class Quad extends Shape {

   @Override
   public int getSidesCount() {
       return 4;
   }

   @Override
   public void onDraw() {
   //some draw logic here
   }
}

class Triangle extends Shape {

   public int getSidesCount() {
       return 3;
   }

   public void onDraw() {
   //some draw logic here
   }
}

并为该结构创建测试函数（如下LSP）：

public void printSidesCount(List<Shape> shapes) {
    for(int i=0; i < shapes.size(); i++) {
        System.out.println(shapes.get(i).getSidesCount());
    }
}

在这里我想停下来，因为实际上在下一步我被绊倒了。如果我们要创建第三个类圆？

class Circle extends Shape {

   public int getSidesCount() {
       return ???;
   }

   @Override
   public void onDraw() {
   //some draw logic here
   }
}

圆没有边，所以为这个孩子实现SideCountable听起来很可笑。好的，我们可以只将实现移到四边形和三角形，但在这种情况下LSP将不再工作。有人能描述一下我该怎么做？

• 将SideCountable留在Shape类中，并为Circle返回0并打破接口隔离原则？
• 将SideCountable移动到Quad和三角形并打破LSP原则？

Answer 1

首先，您的方法printsidescont只需要知道列表包含SideCountable对象。所以给它的参数类型列表

public void printSidesCount(List<SideCountable> sideCountables) {
    for(int i=0; i < (); i++) {
        System.out.println(sideCountables.get(i).getSidesCount());
    }
}

或者甚至List

public void printSidesCount(List<? extends SideCountable> sideCountables) {
    for(int i=0; i < sideCountables.size(); i++) {
        System.out.println(sideCountables.get(i).getSidesCount());
    }
}

如果不是所有形状都有可计数的边数，那么类Shape不应该实现接口SideCountable。相反，除了扩展类Shape之外，还要使类Quad和Triangle实现接口SideCountable：

class Quad extends Shape implements SideCountable {
    // ...
}

class Triangle extends Shape implements SideCountable {
    // ...
}

并使类圆形扩展形状，但不实现侧可数：

class Circle extends Shape { // Not SideCountable
    // ...
}

当您这样做时，类型系统将帮助您：

• 你可以通过一个List