PHP 父类(super class)在不知道它们的情况下调用子类方法？

Question

在尝试调试某些 PHP 类时，我遇到了一些在我看来非常奇怪的行为。

我构建了以下行为的演示:

class BaseClass {
   public function baseMethod () {
      echo (implode (' ', $this -> childMethod ()) . PHP_EOL);
   }
}

class ChildClass extends BaseClass {
   protected function childMethod () {
      return array ('What', 'The', 'Actual', 'Fork!');
   }
}

$a = new ChildClass ();
$a -> baseMethod ();

现在，在我看来，基类根本不应该对子类做出任何假设，除了它通过声明(或继承)抽象方法或实现接口(interface)为子类强制执行的那些假设。然而，上面的代码实际上输出了一个字符串，并没有抛出任何错误!

What The Actual Fork!

这对我来说似乎是错误的行为。除非基类声明abstract protected function childMethod();，否则它应该不能调用它，不是吗？

我一直在互联网上搜索，试图找到可以证明这是预期行为的内容。到目前为止，我设法找到的是 PHP's manual 中的以下内容:

Visibility from other objects

Objects of the same type will have access to each others private and protected members even though they are not the same instances. This is because the implementation specific details are already known when inside those objects

那么我在这里看到的行为是正确的还是 PHP 中的错误？这当然不是我所依赖的行为，因为这对我来说似乎是错误的。

仅供引用，我们在实际代码中发现的问题是子类声明了父类(super class)试图调用的私有(private)方法。父类(super class)没有声明方法抽象(如果它声明了，它至少必须受到保护)。

Answer 1

Now, to my mind, the base class should not be able to make any assumptions about the subclass at all, except for the ones it enforces for the subclass by declaring (or inheriting) abstract methods, or by implementing an interface.

这就是静态类型语言的工作原理。在 PHP(以及许多其他语言)中，您可以自由调用任何值的任何方法(它甚至不需要是一个对象)。如果调用没有意义，则会出现运行时错误。

当然，如果您希望派生类实现该方法，那么声明该方法是个好主意；这只是一个好习惯。此外，许多著名的 PHP IDE 会检测到此类遗漏并标记调用以引起您的注意，因为编译器无法做到这一点。

This seems like broken behaviour to me. Unless the base class declares abstract protected function childMethod();, it should not be able to call it, should it?

它应该，如上所述。如果您发现这种行为不受欢迎，那么 PHP 不是您应该使用的语言。

旁白:在一个密切相关的注释中，您可能还会发现基类可以毫无问题地访问派生类中定义的 protected 成员是违反直觉的。这是 documented .事实上，这正是您的示例中发生的情况，但我特别提到它是因为它是一种不同的反直觉(如果该方法是 public，您的示例也会同样令人费解)。

考虑 PHP 允许的无穷无尽的构造列表，从静态类型的角度来看，这些构造也是“不应该可能的”，其中包括:

// #1
$varName = 'foo';

// How do you know $object has a property named "foo"?
// How do you know that "foo" is a valid property name in the first place?
// How do you know that $object is an object to begin with?
echo $object->$varName;

// #2
$object = new SomeObject;
$methodName = 'someMethod';

// it's practically impossible to reason about this before runtime
call_user_func(array($object, $methodName));