Java: слабое предварительное условие и сильное постусловие, как это сделать?

Общий способ узнать супер и подклассы, вам в основном нужно ответить на этот вопрос:

Является ли каждый X Y?

В вашем случае вам нужно сказать эти две вещи:

• Является ли каждый Rectangle Square? Нет
• Является ли каждый Square Rectangle? Да

Таким образом, Square является Rectangle. Тогда условие для того, чтобы стать Square:

• Если это прямоугольник; и
• высота равна ширине.

На самом деле все наоборот. Квадрат является подклассом прямоугольника. Почему? Каждый Квадрат является Прямоугольником, но не каждый Прямоугольник является Квадратом.

Вы можете расширить это отношение наследования дальше: каждый объект GeometricShape является объектом, каждый многоугольник является объектом GeometricShape, каждый четырехугольник является многоугольником, каждый прямоугольник является четырехугольником и т. д. Чем дальше вы спускаетесь по иерархии наследования, тем больше ограничений добавляется, что делает подклассы более специальные, чем родительские классы.

Что такое ограничение прямоугольника? Каждый угол имеет прямоугольный угол (90 °), каково ограничение квадрата? Это прямоугольник (90°), все ребра которого имеют одинаковую длину.

Вы должны понимать, что каждый квадрат является прямоугольником, но каждый прямоугольник не является квадратом.

Условие, которое вам нужно для прямоугольника, состоит в том, что он имеет 4 размера не меньше и не больше и любые три угла равны 90 градусов.

В коде они должны быть 2 разными классами. Я не определил класс многоугольника, но вы поняли его концепцию.

Eg :

public class Quadrilateral extends Polygon {
    ...
}

Следующий :

public class Rectangle extends Quadrilateral {
    private double length;
    private double breadth;

   public Rectangle (double len, double brd ) {...}

}

Затем квадрат:

public class Square extends Rectangle {
    private double side;
    public Square (double sideLength) {
         super(sideLength, sideLength);
    }
}

Подтип

Подкласс или дочерний класс всегда является специализированным типом базового класса или суперкласса.

Java использует ключевое слово extends, потому что подкласс фактически расширяет суперкласс, часто добавляя функциональность.

Квадрат — это особый, то есть более конкретный тип прямоугольника. Это прямоугольник, но с дополнительным свойством, что высота равна ширине.

Принцип замены Лисков

Однако принцип подстановки — я предполагаю, что вы имеете в виду принцип подстановки Лискова — гласит, что везде, где вы ожидаете определенный класс (в нашем случае Rectangle), вы должны иметь возможность использовать подтип этого класса (в нашем случае Square), не нарушая функциональности или логики. Если нет, дизайн нарушает принцип подстановки Лисков.

Я могу привести пример, но он уже написан в этом ответе. Обратите внимание, что в этом ответе используются упомянутые вами классы.

Итак, резюмируя, звучит логично, что квадрат — это специализированный тип прямоугольника, но, согласно принципу подстановки Лискова, это плохая абстракция.

Так что да, объявление Square подклассом Rectangle не соответствует принципу подстановки Лискова.

Обратите внимание, что они также написали об этом на страницу в Википедии. Это очень распространенная проблема.

• Прямоугольник является подклассом Квадрата. Причина в том, что прямоугольник является более слабой формой квадрата: у него более слабые предпосылки.
• Условия квадрата: четыре стороны, все примыкающие под углом 90 градусов, все стороны равны.
• Прямоугольник имеет только первые два предварительных условия. Будут ли эти два вести себя одинаково для клиентского кода? Да.
• Квадрат: getArea() {обратная сторона*сторона}
• Rectangle:
  • getArea() {return l * w} << same interface Square constructor:
• Квадрат (внутренняя сторона) Конструктор прямоугольника 1:
• Прямоугольник (внутренняя сторона) {l = сторона; w = сторона;} ‹‹ тот же интерфейс, что и у квадрата
• Rectangle constructor 2:
  • Rectangle(int l, int w){this.l = s; this.w = w} << new addition
• Почему прямоугольнику разрешено иметь дополнительный конструктор? Потому что он расширяет квадрат и, следовательно, может добавлять функциональность, но не может ограничивать функциональность суперкласса.