PHP7 中的窄返回类型

Question

是否可以在 PHP7.1 类型提示中以某种方式缩小返回类型？

以下代码会导致致命错误Declaration of A::foo(): Obj must be compatible with IA::foo(): IObj，即使通过缩小返回类型也不会破坏继承类型原则：Obj 实现了 IObj，因此在返回 Obj 实例时将始终满足父类返回类型约束。

interface IObj {}
class Obj implements IObj {}
interface IA {
    function foo(): IObj;
}

class A implements IA {
    function foo(): Obj {
        return new Obj();
    }
}

是我做错了什么，还是 PHP 的缺点？

Answer 1

就 PHP 而言，不能保证 Obj implements IObj。因为您可以随时将 Obj 的声明移动到其他文件中，并且由于文件是在运行时加载而不是在某个编译步骤中加载的，所以完全不知道 Obj 的哪个实现将在运行时加载以及是否会加载implements IObj.

所以，不，您不能在实现中更改返回类型，因为那时所有类型安全都会消失。只有预先编译确定Obj 的确切含义的代码，才能保证类型安全。