参数类型可以专门用于PHP

Question

假设我们有以下两个类:

abstract class Foo {
    public abstract function run(TypeA $object);
}

class Bar extends Foo {
    public function run(TypeB $object) {
        // Some code here
    }
}

TypeB类扩展了TypeA类.

尝试使用它会产生以下错误消息:

Bar :: run()的声明必须与Foo :: run()的声明兼容

当涉及到参数类型时,PHP真的会被打破吗？或者我只是忽略了这一点？

Answer 1

您描述的行为称为协方差,在PHP中根本不支持.我不知道内部,但我可能怀疑PHP的核心在应用所谓的"类型提示"检查时根本不评估继承树.

顺便说一句,PHP也不支持那些类型提示的逆转(这是其他OOP语言通常支持的一个特性) - 最有可能的原因是上面提到的.所以这也不起作用:

abstract class Foo {
    public abstract function run(TypeB $object);
}

class Bar extends Foo {
    public function run(TypeA $object) {
        // Some code here
    }
}

最后一些信息:http://www.php.net/~derick/meeting-notes.html#implement-inheritance-rules-for-type-hints