PHP 7接口，返回类型提示和自我

更新：PHP 7.4现在确实支持协方差和逆方差，这解决了此问题中提出的主要问题。

我在PHP 7中使用返回类型提示遇到了一些问题。我的理解是，提示: self意味着您打算让实现类返回自身。因此，我: self在接口中使用它来表明这一点，但是当我尝试实际实现接口时，出现兼容性错误。

以下是我遇到的问题的简单演示：

interface iFoo
{
    public function bar (string $baz) : self;
}

class Foo implements iFoo
{

    public function bar (string $baz) : self
    {
        echo $baz . PHP_EOL;
        return $this;
    }
}

(new Foo ()) -> bar ("Fred") 
    -> bar ("Wilma") 
    -> bar ("Barney") 
    -> bar ("Betty");

预期输出为：

弗雷德·威尔玛·巴尼·贝蒂

我真正得到的是：

PHP致命错误：Foo :: bar（int $ baz）的声明：Foo必须与iFoo :: bar（int $ baz）：第7行的test.php中的iFoo兼容

事情是Foo是iFoo的实现，据我所知，该实现应该与给定的接口完全兼容。我大概可以通过更改接口或实现类（或两者）以按名称而不是使用来返回提示接口来解决此问题self，但我的理解是从语义上讲self意味着“返回您刚刚在其上调用方法的类的实例” ”。因此，从理论上讲，将其更改为接口意味着我可以返回任何实现接口的东西的实例，而当我的意图是要调用的实例是要返回的对象时。

这是PHP的疏忽，还是故意的设计决策？如果是前者，有没有机会看到它在PHP 7.1中修复？如果不是，那么正确的返回方式暗示您的接口希望您返回刚刚调用该方法进行链接的实例？

self不引用实例，而是引用当前类。接口无法指定必须返回相同的实例-self以您尝试的方式使用只会强制返回的实例属于同一类。

就是说，PHP的返回类型声明必须是不变的，而您尝试的是协变的。

您对的使用self等同于：

interface iFoo
{
    public function bar (string $baz) : iFoo;
}

class Foo implements iFoo
{

    public function bar (string $baz) : Foo  {...}
}

这是不允许的。

在返回类型声明RFC有这样一段话：

继承过程中声明的返回类型的执行是不变的；这意味着当子类型覆盖父方法时，子的返回类型必须与父方法完全匹配，并且不能省略。如果父级未声明返回类型，则允许子级声明一个返回类型。

...

该RFC最初提出了协变返回类型，但由于一些问题，已更改为不变。将来可能会添加协变返回类型。

暂时至少可以做的是：

interface iFoo
{
    public function bar (string $baz) : iFoo;
}

class Foo implements iFoo
{

    public function bar (string $baz) : iFoo  {...}
}

这也可以是一个解决方案，您不必在接口中仅在PHPDoc中明确定义返回类型，然后可以在实现中定义特定的返回类型：

interface iFoo
{
    public function bar (string $baz);
}

class Foo implements iFoo
{
    public function bar (string $baz) : Foo  {...}
}

如果要从接口强制执行该方法，则该方法将返回对象，但是对象的类型将不是接口的类型，而是类本身，则可以这样编写：

interface iFoo {
    public function bar (string $baz) : object;
}

class Foo implements iFoo {
    public function bar (string $baz) : self  {...}
}

从PHP 7.4开始就可以使用。

PHP 8将添加“静态返回类型”，这将解决您的问题。

查看此RFC：https : //wiki.php.net/rfc/static_return_type

这看起来对我来说是预期的行为。

只要你改变Foo::bar的方法来回报iFoo，而不是self与它来完成。

说明：

self接口中使用的“表示类型的对象” iFoo。
self在实现中使用的含义是“类型的对象” Foo。

因此，接口和实现中的返回类型显然不同。

评论之一提到Java以及您是否会遇到此问题。答案是肯定的，如果Java允许您编写类似的代码，您将遇到同样的问题，而事实并非如此。由于Java要求您使用类型的名称而不是PHP的self快捷方式，因此您永远不会真正看到它。（有关Java类似问题的讨论，请参见此处。）