参数类型可以专门用于PHP

发布时间：2020-12-13 21:39:40 所属栏目：PHP教程来源：网络整理

导读：假设我们有以下两个类： 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()的

假设我们有以下两个类：

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真的会被打破吗？或者我只是忽略了这一点？

解决方法

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

顺便说一句,PHP也不支持contravariance这些类型提示(一种通常支持其他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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!