Java重载方法选择

Question

我试图弄清楚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语言规范中指定的，但我不理解。

Answer 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（not
Square），因此前两种方法适用，而第三种方法则不适用。因此，再次add(Rectangle)在编译时进行选择（因为它比更加具体add(Figure)）。

同样，的执行时间类型ss为Square，不会覆盖add(Rectangle)，因此使用中的实现Rectangle。

让我知道这里是否有任何混淆-如果您可以具体说明哪个部分，那就太好了。