PHP 类型提示无法与接口和抽象类相处？

Question

我认为在代码示例中看到问题比首先编写问题要容易得多。这是我的 php 代码：

<?php

interface AnInterface
{
        public function method();
}    

class AClass implements AnInterface
{
        public function method()
        {
                echo __METHOD__;
        }
}    

abstract class AnAbstractClass
{
        abstract public function method( AnInterface $Object );
}

class ConcreteClass extends AnAbstractClass
{
        public function method( AClass $Object )
        {
                $Object->method();
        }
}

$Object1 = new ConcreteClass();
$Object2 = new AClass();

$Object1->method( $Object2 );

上面的代码导致以下错误：

致命错误：ConcreteClass::method() 的声明必须与 AnAbstractClass::method() 的声明兼容

问题是 php 似乎无法将 AnAbstractClass::method 和 ConcreteClass::method 的签名识别为兼容。我做错了什么吗？谢谢！

Answer 1

php 似乎无法将 AnAbstractClass::method 和 ConcreteClass::method 的签名识别为兼容。

PHP 是正确的，它们不兼容。通过仅允许将 AClass（或其子级）的实例传递给 ConcreteClass::method，您就违反了 AnAbstractClass 提供的约定：它的任何子类都必须接受 AnInterface 作为其 method() 的参数。

如果您的示例有效，并且我有另一个类 BClass 实现 AnInterface，我们会遇到一种情况，根据 AnAbstractClass，method () 应该接受 BClass 的实例，而根据 ConcreteClass ，它不应该接受。

更改 ConcreteClass::method 的签名以匹配 AnAbstractClass::method 的签名。

Answer 2

下面是一个示例，说明为什么不允许这样做：

<?php
class BClass implements AnInterface { }

function moo(AnAbstractClass $abstract)
{
    $b = new BClass();
    $abstract->method($b);
}

这将是一个有效的代码，但如果您将 ConcreteClass 传递给 moo，它会失败，因为它的方法 ConcreteClass::method< /code> 不允许 BClass。

虽然很复杂，但是如果你看个例子就更容易理解了。

Answer 3

不会计算。昨天我们进行了同样的讨论：
参数类型可以专门用于 PHP

所有派生的类必须以相同的方式实现方法签名。

理想情况下，这是在运行时检查的事情。但在 PHP 中，解析器会这样做。 （作为补偿，PHP 在解析时不会检查私有/受保护的属性访问，而是让其在运行时爆炸。）

如果您想强制执行更严格的类型，我建议：

 assert( is_a($Object, "AClass") );