扩展接口与 Java 中的 Actionscript 覆盖方法？

Question

我对 Java 的类和接口语义比对 Actionscript 语义更熟悉，但是我有一些代码在 Java 中工作但在 Actionscript 中不工作的示例。这种差异是一个严重的问题，因为我试图从 Java DTO 编写代码生成我的 Actionscript 值对象，除非语义相同，否则我遇到了很大的麻烦。

这是在 Java 中工作但在 Actionscript 中编译失败的代码：

接口A：

public interface Ia {
    function makeCopy():Ia;
}

接口 B：

public interface Ib extends Ia {
}

B 类（不会编译）：

public class B implements Ib {
    public function makeCopy():Ib {
        return null;
    }
}

我不明白为什么当接口 B 明显扩展接口 A 时，B 类会引发关于“makeCopy”签名不兼容的编译错误......因此没有违反类型或不兼容。如果这只是 Actionscript 的限制，有人可以提出重新编码的方法吗？

注意：我已经尝试将接口 B 更改为此，它在接口 B 中引发错误（在 Java 中工作）：

public interface Ib extends Ia {
    function makeCopy():Ib;
}

Answer 1

界面上的“makeCopy()”返回一个Ia。而在实现中它返回一个 Ib。除非 Ib 是 Ia，否则它将失败。

Answer 2

从 ActionScript 的上下文来看，makeCopy() 的返回类型具有不兼容的签名。

接口 Ia 定义 makeCopy 返回 Ia。

接口 Ib 扩展将从 makeCopy 返回 Ia 基础。将 makecopy():Ib 添加到接口 Ib 是对 Ia 中定义的不兼容覆盖。

在 B 类中，不兼容的签名要求 makeCopy 返回 Ia。

也许您想要完成的更像是一个抽象类，您应该在其中扩展 A 和 B 类。

Answer 3

在 AS3 中，方法签名在实现和继承中都必须相同，因此如果您最初将 makeCopy 的返回类型定义为 Ia，这就是它必须保留在所有后代接口及其实现中的方式。

但是，您可以做的是通过用Ia 签名的函数返回实现Ib 的对象的实例，因为它仍然是Ia 的有效实现：

public class B implements Ib {

    public function makeCopy():Ia {
        return this;
    }

    public function B() {
        trace(makeCopy() is Ia);  //true
        trace(makeCopy() is Ib);  //true
        trace(makeCopy() is B);   //true
    }
}