Выбор метода перегрузки Java

Я пытаюсь понять, как Java выбирает, какой метод выполняется:

//Example 1 prints Square:add(Figure)
Figure fs = new Square();
fs.add(fs);

//Example 2 prints Square:add(Figure)
Rectangle rs = new Square();
rs.add(fs);

//Example 3 prints Rectangle:add(Rectangle). Expected Square:add(Square)
rs.add(new Square());

//Example 4 prints Rectangle:add(Rectangle). Expected Square:add(Figure)
Square ss = new Square();
ss.add(rs);

class Figure
{
    public void add(Figure f){ System.out.println("Figure:add(Figure)"); }
}

class Rectangle extends Figure
{
    @Override
    public void add(Figure f){ System.out.println("Rectangle:add(Figure)"); }
    public void add(Rectangle r){ System.out.println("Rectangle:add(Rectangle)"); }
}

class Square extends Rectangle
{
    @Override
    public void add(Figure f){ System.out.println("Square:add(Figure)"); }
    public void add(Square s){ System.out.println("Square:add(Square)"); }
}

То, что я узнал здесь,

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

Исходя из этого, результат первых двух вызовов соответствует ожиданиям. Однако я не понимаю результат из примеров 3 и 4.

Как представляется, в спецификации java language, но я этого не понимаю.

Ответ 1

Однако я не понимаю результат из примеров 3 и 4.

Хорошо, давайте посмотрим на них индивидуально.

Пример 3

//Example 3 prints Rectangle:add(Rectangle). Expected Square:add(Square)
rs.add(new Square());

Важными частями являются типы времени компиляции выражений rs и new Square().

rs объявляется только как Rectangle, поэтому компилятор будет искать методы, объявленные Rectangle и его суперклассами:

public void add(Figure f)
public void add(Rectangle r)

Тип выражения new Square() равен Square, поэтому оба метода применимы, но второй более конкретный.

Итак, компилятор вызовет add(Rectangle) для объекта, к которому относится rs. Это для стороны компиляции.

Во время выполнения значение rs относится к экземпляру Square - но Square не переопределяет add(Rectangle), поэтому выбранный метод - это реализация в Rectangle:

public void add(Rectangle r){ System.out.println("Rectangle:add(Rectangle)"); }

Пример 4

//Example 4 prints Rectangle:add(Rectangle). Expected Square:add(Figure)
Square ss = new Square();
ss.add(rs);

Опять же, рассмотрим задействованные типы времени компиляции... ss имеет тип Square, а rs имеет тип Rectangle (типы времени компиляции, помните).

Способы, объявленные Square и его суперклассами:

public void add(Figure f)
public void add(Rectangle r)
public void add(Square s)

Поскольку тип rs для компиляции - это только Rectangle (не Square), применяются первые два метода, а третий - нет. Поэтому опять же, add(Rectangle) выбирается во время компиляции (поскольку это более специфично, чем add(Figure)).

Опять же, тип времени выполнения ss равен Square, который не переопределяет add(Rectangle), поэтому используется реализация в Rectangle.

Дайте мне знать, если что-то здесь запутано - если вы можете быть конкретным в отношении какой части, это было бы здорово.

Ответ 2

rs.add(new Square());

Объявленный тип rs - Rectangle. Таким образом, он рассматривает метод в Rectangle и все суперклассы, принимающие квадрат или тип, совместимые с квадратом как аргумент. Наиболее конкретным является add(Rectangle), поскольку Square является прямоугольником, а так как Rectangle более конкретный, чем рисунок.

Square ss = new Square();
ss.add(rs);

Выбирает метод add(Rectangle) в квадрате и всех суперклассах. Rectangle.add(Rectangle) выбирается, так как Square.add(Square) не применяется (прямоугольник не является квадратом), а Square.add(Figure) менее конкретным.