多态性和接口

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)。

P.S: 当然取决于语言（谈到 C#）

P.P.S：添加参数名称以使其更清晰

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，一一传递这三个变量。这个程序的输出是：

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

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