多态性和接口-澄清吗？

Question

（学问）

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

• 临时多态性

指可以应用于不同类型参数的多态函数，但其​​行为取决于所应用参数的类型而有所不同

换句话说：重载：

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

• 参数多态性

允许以通用方式编写函数或数据类型，以便它可以相同地处理值而无需依赖其类型

换句话说：泛型

范例：

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

• 亚型多态性

允许将函数编写为采用某种类型T的对象，但如果传递了属于类型T的子对象S的对象，则该函数也可以正常工作

（最常见的用法）

范例：

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");
    }
}

太好了。

现在，我想向您展示interface的定义：

接口 -接口定义可由类和结构实现的 协定
。接口可以包含方法，属性，事件和索引器。接口不提供其定义的成员的实现，而只是指定必须由实现该接口的类或结构提供的成员。

大。

题：

看下面的伪代码：

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

• 这是多态行为（ 在每个不同的对象上调用walk（） ）吗？

恕我直言，事实并非如此。为什么呢？因为它不对应于上述任何Wiki类别。

我相信这是纯粹的编码原则，即我可以通过不同的眼镜查看对象-不像上面提到的3个范例那样创建/更改功能

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

Answer 1

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

在您的示例中，实际的多态行为与接口本身无关，而与共享的方法有关。walk方法适合于子类型多态性示例。接口本身只是按照合同规定，必须让子对象走路。

更新：

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

接口本身只是一个合同（您已在问题中添加了合同）。多态性来自合同中的方法。“多态类型是一种类型，其操作也可以应用于某些其他类型的值”（来自维基百科）。接口（合同）是包含服务或使用方法（条款）的协议。因此，每个合同都持有属于多态行为的条款。

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

IWalk 
{
    void walk();
}

ITalk
{
    String talk();
}

IAnimal
{

}

我对Java感到生疏，因此如果语法上不正确，请考虑使用此伪代码。

在这种情况下，IAnimal只是不包含多态行为的合同。IWalk和ITalk促进多态性。