多态性和接口 - 澄清？

（迂腐的问题）

根据维基百科多态性有 3 种类型：

• 特设多态性

指的是可以应用于参数的多态函数 不同的类型，但根据类型的不同，其行为也不同 它们所适用的论点

换句话说：重载：

function Add( x, y : Integer ) : Integer;
...
function Add( s, t : String ) : String;

• 参数多态性

允许通用地编写函数或数据类型，以便它 可以相同地处理值，而不依赖于它们的类型

换句话说：泛型

例子 ：

class List<T> {
    class Node<T> { ...

• 亚型多态性

允许编写一个函数来获取某种类型 T 的对象， 但如果传递一个属于 S 类型的对象也能正常工作 这是T的一个亚型

（最常见的用法）

例子 ：

abstract class Animal {
    abstract String talk();
}

class Cat extends Animal {
    String talk() {
        return "Meow!";
    }
}
...

另一个例子 ：

class Animal
{
    public virtual void eat()
    {
        Console.Write("Animal eating");
    }
}
class Dog : Animal
{
    public override void eat()
    {
        Console.Write("Dog eating");
    }
}

Great .

现在我想向您展示接口的定义：

接口- 一个接口定义了一个contract可以通过以下方式实现 类和结构。接口可以包含方法、属性、 事件和索引器。接口不提供以下实现 它定义的成员——它仅仅指定必须是的成员 由实现接口的类或结构提供。

Great.

问题：

看这个伪代码：

Dog implements IWalk {...}
Cat implements IWalk {...}
Array[IWalk] = [new Dog(),new Cat()]
foreach item in array :  item.walk();

• 这是多态行为吗（对每个不同的对象调用 walk())?

恕我直言，事实并非如此。为什么 ？因为它不对应于上面提到的任何 wiki 类别。

我相信这是纯粹的编码原则，我通过不同的眼镜来看待一个对象——而不是像上面提到的 3 个范例那样创建/改变功能

我对吗 ？这是否是多态行为？

我认为你走在正确的道路上。接口本身不是多态的。他们将多态性形式化。它们允许您以声明方式而不是实现方式定义多态行为。我喜欢将 Interfaces 视为俱乐部中的保镖。他们只是确保每个人都遵循多态规则。

在您的示例中，实际的多态行为与接口本身无关，而是与共享的方法相关。 walk 方法适合子类型多态性示例。界面本身只是按照契约要求子对象必须行走。

UPDATE:

基于评论：只是为了弄清楚 - 通过它实现的不同接口查看对象 - 也是多态行为吗？

界面本身只是一个合同（您在问题中钉住了它）。多态性来自于合约上的方法。 “多态类型是一种其操作也可以应用于其他某种或多种类型的值的类型”（来自维基百科）。接口（契约）是保存服务或使用方法（条款）的协议。因此，每个合约都包含多态行为的条款。

Dog implements IWalk, ITalk, IAnimal
{
    //concrete implementation
}

IWalk 
{
    void walk();
}

ITalk
{
    String talk();
}

IAnimal
{

}

我对java很生疏，所以如果它的语法不正确，请考虑这个伪代码。

在这种情况下，IAnimal 只是一个不包含多态行为的合约。 IWalk 和ITalk 提倡多态性。