如何实现扩展接口？

Question

我正在使用一些设计模式，并想使用 SPL 的观察者模式创建一个示例。因为让观察者和主题完全通用是没有意义的，所以我想扩展接口以使它们更具体地用于手头的应用程序。问题是当我运行下面的代码时，我得到了“DataAccess::update() must be compatible with the SplObserver::update()”之类的错误。

我知道我可以通过切换方法签名以匹配接口的签名来使这段代码无错误地执行。我的问题是：为什么不允许签名中定义的类的子类？ 下面，ModelObserver 是一个 SplObserver，而 Model 是一个 SplSubject。我原以为这会奏效。我错过了什么吗？

仅供参考，我知道我可以使用接口中定义的显式方法签名，并在我的代码逻辑中使用 instanceof 关键字来实现相同的目的。我只是希望找到一个更优雅的解决方案。谢谢！

<?php
interface ModelObserver extends SplObserver {
}

class DataAccess implements ModelObserver {

    /*
     * (non-PHPdoc) @see SplObserver::update()
     */
    public function update(Model $subject) {
        // TODO Auto-generated method stub
    }
}

// Just a generic model for the example
class Model implements SplSubject {
    private $_properties = array ();
    private $_observers = array ();

    /*
     * generically handle properties you wouldn't want to do it quite like this
     * for a real world scenario
     */
    public function __get($name) {
        return $this->_properties [$name];
    }
    public function __set($name, $value) {
        $this->_properties [$name] = $value;
    }
    public function __call($method, $args) {
        if (strpos ( $method, 'get' ) === 0) {
            $name = lcfirst ( str_replace ( 'get', '', $method ) );
            return $this->_properties [$name];
        }

        if (strpos ( $method, 'set' ) === 0) {
            $name = lcfirst ( str_replace ( 'set', '', $method ) );
            $this->_properties [$name] = $args [0];
            return $this;
        }
    }
    public function __toString() {
        return print_r ( $this, true );
    }

    /*
     * (non-PHPdoc) @see SplSubject::attach()
     */
    public function attach(ModelObserver $observer) {
        $this->_observers [] = $observer;
        return $this;
    }

    /*
     * (non-PHPdoc) @see SplSubject::detach()
     */
    public function detach(ModelObserver $observer) {
        if (in_array ( $observer, $this->_observers )) {
            $f = function ($value) {
                if ($value != $observer) {
                    return $value;
                }
            };
            $observers = array_map ( $f, $this->_observers );
        }
        return $this;
    }

    /*
     * (non-PHPdoc) @see SplSubject::notify()
     */
    public function notify() {
        foreach ($this->_observers as $observer) {
            $observer->update($this);
        }
    }
}

$da = new DataAccess();

$model = new Model ();
$model->setName ( 'Joshua Kaiser' )->setAge ( 32 )->setOccupation ( 'Software Engineer' )
    ->attach($da);

echo $model;

Answer 1

限制DataAccess::update() 接受您的孩子Model 违反了此接口的约定。

没错，所有Model 对象都属于SplSubject 类，但并非所有SplSubject 都属于Model 类。接口是保证实现类支持接口支持的所有内容的契约。

您的代码，如果它有效，将限制 DataAccess::update() 方法仅限于 Model 子类，而不是更广泛的父类 SplSubjects 。您不能缩小传递给接口定义的方法的参数的范围。

假设您在 Model 类中添加了一个属性 public $foo。如果允许，您可以在DataAccess::update() 方法中使用该属性$foo。有人可能会出现并将SplSubjects 扩展到没有$foo 属性的孩子OddModel。他们不能再将OddModel 传递给您的DataAccess::update() 函数——如果他们可以的话，它会因为$foo 不存在OddModel 属性而中断。

这是接口背后的全部理念，通过实现它们，您同意 100% 支持接口定义的内容。在这种情况下，您的界面会显示：

如果你实现我，你必须接受每个SplSubject 或扩展SplSubject 的类

你正在执行的接口试图破坏合约。