声明方法签名允许子类类型提示的抽象类或接口

Question

TLDR：带有子对象参数的 add 方法与调用父类的实现不匹配。有没有解决的办法？

除非有更好的方法，否则我的计划是为 Collections 创建一个接口，如下所示：

interface Collection {
   public function add( ValueObjects $obj ) : bool;
}

abstract class ValueObjects {}

class User extends ValueObjects {
}

然后我在用户值对象的具体集合上实现 Collection 接口。

class UserCollection implements Collection {
  public function add( User $user ) : bool 
  {
     return true;
  }
}

这显然会引发Declaration should be compatible with Collection 的错误。有没有办法实现相同的结果以允许签名中的子对象？我尝试了抽象类，但没有结果。

如果我不必扩展抽象的 ValueObjects 类，那就更好了。

感谢您在 SO 社区分享您的知识。

PS...评论this question，装饰器和组合模式。我要么错过了它，要么我的问题有点不同。

Answer 1

简短的回答是“否”，因为 PHP 中缺少泛型类。

要解决这个问题，您应该在实现类中继续使用抽象类型（此处为ValueObjects），然后自行检查实际类型。

class UserCollection implements Collection {
  public function add( ValueObjects $obj ) : bool 
  {
     if (!($obj instanceof User)) {
          throw new RuntimeException('...');
     }

     /** @var User $obj */
     // The above comment make your IDE know the $obj is a `User` instance

     // your actual logic
     return true;
  }
}

一个小提示，您不需要在 PHP 中将 $obj 对象从 ValueObjects 转换为 User。上面代码中的 phpDoc 内联 @var 注释行仅告诉 IDE $obj 是 User 实例并支持 User 方法的自动完成。没有它，PHP 脚本仍然运行。

Answer 2

我会在这些方面提出一些建议。请注意我是如何扩展客观收集的核心概念，同时表现得像一个自我验证的主题。然后我将这些不同的结构组合成一个可知的、具体的组合。

interface Transportable {};
interface User {};
interface Collected
{
    public function isValid($item): bool;

    // Contract, add is deterministic, require no return
    public function add(Transportable $item): void;
}

trait SanityChecked
{
    public function isValid($item): bool
    {
        return true;
    }
}

abstract class Collector implements Collected
{
    use SanityChecked;

    private $items = [];

    public function add(Transportable $item): void
    {
        if ($this->isValid($item) && $this->items[] = $item) {
            return;
        }

        throw new Exception('This is the not the droid we were looking for.');
    }
}

class Users extends Collector
{
    public function isValid($test): bool
    {
        return $test instanceof User;
    }
}

可以模拟为：

$users = new Users();

$users->add(new class() implements Transportable, User {});

echo 'Added first!'.PHP_EOL;

$users->add(new class() implements User {}); // Sorry, error.

echo 'Added second!'.PHP_EOL;

https://3v4l.org/O2qfJ

另一种看待它的方式是进一步扩展特征的行为：

trait ValidatesAsUser
{
    public function isValid(Transportable $user): bool
    {
        return $user instanceof User;
    }
}

class PortalUsers extends Collector
{
    use ValidatesAsUser;
}

class ContentEditors extends PortalUsers {}

class Authors extends ContentEditors {}

class AuthorsWithPublishedStoriesByRating extends Authors {}

我认为关于预测的最后一部分特别有趣。