多态性和接口

Question

如果我有两个类 x 和 y，它们都扩展类 w。 x 实现接口 z。如果我有方法 doSomething(w object) 和 doSomething(x object)，如果我调用 doSomething(x) 会发生什么？

编辑： 我在java上实现这个，更具体地说是在android上。 我问这个是因为一些实现特定接口的类在调用 doSomething() 时大多会做同样的事情。但我想特别指出一些特殊情况。

Answer 1

这取决于您使用的语言。

例如，在 C# 中，它将使用 doSomething(x object) 而不是 doSomething(w object)。

但是，如果您将其转换为 w 那么它将使用 doSomething(w object) ，如下所示：

doSomething((w) someObjectOfX);

或

doSomething(someObjectOfX as w);

Answer 2

假设您

w object1 = new x();
x object2 = new x();

传递 object1 将执行 doSomething(w object) 并传递 object2 doSomething(x object)。

PS：当然取决于语言（谈到了C#）

PPS：添加了参数名称以使其更清晰

Answer 3

在 C# 中，编译器将根据变量声明的类型而不是存储在其中的实际类型来选择正确的方法。

请注意，下面的代码将 W 声明为一个类，并构造它的一个实例。如果将 W 设为接口，并删除其声明和构造，则 x 和 y 的行为将与以下程序相同在这种情况下，W 的接口或类并不重要。

让我向您展示其中的区别：

using System;

namespace SO2851194
{
    class W { }
    class X : W { }
    class Y : W { }

    class Program
    {
        static void Main()
        {
            W w = new W();
            X x = new X();
            Y y = new Y();

            doSomething(w);
            doSomething(x);
            doSomething(y);
        }

        static void doSomething(W w)
        {
            Console.Out.WriteLine("w");
        }

        static void doSomething(X x)
        {
            Console.Out.WriteLine("x");
        }
    }
}

这里我声明了三个类型为 W、X 和 Y 的变量，并调用 doSomething< /code> 逐一传递三个变量。该程序的输出是：

w
x
w

正如预期的那样，编译器将选择具有最适合参数类型的方法，并且对于 x 变量，它有一个可以采用以下对象的方法：输入X。

但是，由于类继承，我们可以更改变量的声明，但保留构造的对象类型，因此更改代码如下：

W w = new W();
W x = new X();   // Notice, changed variable type to W
W y = new Y();   // but keep constructing X and Y

现在输出：

w
w
w

因此 x 变量包含一个事实X 类型的对象没有考虑在内，编译器从变量类型中选择方法，而不是其内容。

在 C# 4.0 中，您现在拥有 dynamic 类型，因此再次将代码更改为：

dynamic w = new W();
dynamic x = new X();
dynamic y = new Y();

再次输出：

w
x
w

因为现在编译器将选择任何方法推迟到运行时，并且在运行时，它会看到变量名为x实际上包含一个X类型的对象，然后选择具有最适合参数类型的方法。

Answer 4

你不能有两个不同的方法具有相同的签名。它的代码不明确，编译器不会编译，解释器会抛出错误。