PHP - Контекст создания объекта - Странное поведение - Это ошибка PHP?

Почему это работает?

Потому что изнутри ParentClass вы предоставили доступ к абстрактному методу из BaseClass. Именно этот абстрактный метод вызывается из ChildClass, несмотря на то, что его реализация определена сама по себе.

Все упирается в различие между конкретным и абстрактным методом.

Вы можете думать так: абстрактный метод - это единственный метод с несколькими реализациями. С другой стороны, каждый конкретный метод - уникальный метод. Если его имя совпадает с именем его родителя, оно переопределяет имя родителя (не реализует его).

Таким образом, при объявлении abstract всегда вызывается метод базового класса.

Подумайте об объявленном методе abstract: Почему сигнатуры разных реализаций не могут различаться? Почему дочерние классы не могут объявить метод с меньшей видимостью?

В любом случае, вы только что нашли очень интересную функцию. Или, если мое понимание выше неверно, и ваше ожидаемое поведение является действительно ожидаемым поведением, значит, вы обнаружили ошибку.

Примечание: следующее было протестировано с PHP 5.3.8. Другие версии могут вести себя иначе.

Поскольку для PHP нет формальной спецификации, нет способа ответить на этот вопрос с точки зрения того, что должно произойти. Самое близкое, что мы можем получить, - это утверждение о protected из руководства по PHP:

Members declared protected can be accessed only within the class itself and by inherited and parent classes.

Хотя член может быть переопределен в ChildClass (сохраняя спецификатор «protected»), он был первоначально объявлен в BaseClass, поэтому он остается видимым в потомках BaseClass.

В противовес этой интерпретации сравните поведение охраняемого объекта:

<?php
abstract class BaseClass {
    protected $_foo = 'foo';
    abstract protected function __construct();
}

class MommasBoy extends BaseClass {
    protected $_foo = 'foobar';
    protected function __construct(){
        echo __METHOD__, "\n";
    }
}

class LatchkeyKid extends BaseClass {
    public function __construct() {
        echo 'In ', __CLASS__, ":\n";
        $kid = new MommasBoy();
        echo $kid->_foo, "\n";
    }
}

$obj = new LatchkeyKid();

Выход:

In LatchkeyKid:
MommasBoy::__construct

Fatal error: Cannot access protected property MommasBoy::$_foo in - on line 18

Изменение абстрактного __construct на конкретную функцию с пустой реализацией дает желаемое поведение.

abstract class BaseClass {
   protected function __construct() {}
}

Однако немагические методы видны в родственниках, независимо от того, являются ли они абстрактными (большинство магических методов должны быть общедоступными).

<?php
abstract class BaseClass {
    abstract protected function abstract_protected();
    protected function concrete() {}
}

class MommasBoy extends BaseClass {
    /* accessible in relatives */
    protected function abstract_protected() {
        return __METHOD__;
    }
    protected function concrete() {
        return __METHOD__;
    }
}

class LatchkeyKid extends BaseClass {
    function abstract_protected() {}
    public function __construct() {
        echo 'In ', __CLASS__, ":\n";
        $kid = new MommasBoy();
        echo $kid->abstract_protected(), "\n", $kid->concrete(), "\n";
    }
}

$obj = new LatchkeyKid();

Выход:

In LatchkeyKid: 
MommasBoy::abstract_protected
MommasBoy::concrete

Если вы проигнорируете предупреждения и объявите магические методы (кроме __construct, __destruct и __clone) как protected, они окажутся доступными в родственниках, как и в случае с немагическими методами.

Защищенные __clone и __destruct недоступны в родственниках, независимо от того, являются ли они абстрактными. Это заставляет меня думать, что поведение abstract __construct является ошибкой.

<?php
abstract class BaseClass {
    abstract protected function __clone();
}

class MommasBoy extends BaseClass {
    protected function __clone() {
        echo __METHOD__, "\n";
    }
}

class LatchkeyKid extends BaseClass {
    public function __construct() {
        echo 'In ', __CLASS__, ": \n";
        $kid = new MommasBoy();
        $kid = clone $kid;
    }
    public function __clone() {}
}

$obj = new LatchkeyKid();

Выход:

In LatchkeyKid:

Fatal error: Call to protected MommasBoy::__clone() from context 'LatchkeyKid' in - on line 16

Доступ к __clone осуществляется в zend_vm_def .h (в частности, _ 17_ обработчик кода операции). Это в дополнение к проверкам доступа к методам, что может быть причиной различного поведения. Однако я не вижу специальной обработки для доступа к __destruct, так что очевидно, что это еще не все.

Стас Малышев (привет, Стас!), Один из разработчиков PHP, взглянул на __construct, __clone и __destruct и сказал следующее:

В общем, функция, определенная в базовом классе, должна быть доступна всем [потомкам] этого класса. Обоснование этого состоит в том, что если вы определяете функцию (даже абстрактную) в своем базовом классе, вы говорите, что она будет доступна для любого экземпляра (включая расширенные) этого класса. Таким образом, любой потомок этого класса может его использовать.

[...] Я проверил, почему ctor ведет себя по-другому, и это потому, что родительский ctor считается прототипом для дочернего ctor (с принудительной подписью и т. Д.), Только если он объявлен абстрактным или получен из интерфейса. Итак, объявив ctor абстрактным или сделав его частью интерфейса, вы сделаете его частью контракта и, таким образом, доступным для всей иерархии. Если вы этого не сделаете, ctors полностью не связаны друг с другом (это отличается для всех других нестатических методов), и, таким образом, родительский ctor ничего не говорит о дочернем ctor, поэтому видимость родительского ctor не переносится. Так что для ctor это не ошибка. [Примечание: это похоже на ответ Дж. Бруни.]

Я все еще думаю, что это, скорее всего, ошибка __clone и __destruct.

[...]

Я отправил ошибку № 61782, чтобы отследить проблему с __clone и __destruct.

РЕДАКТИРОВАТЬ: конструкторы действуют по-разному ... Ожидается, что он будет работать даже без абстрактных классов, но я обнаружил этот тест, который проверяет тот же случай, и похоже, что это техническое ограничение - вещи, описанные ниже, сейчас не работают с конструкторами.

Ошибок нет. Вы должны понимать, что атрибуты доступа работают с контекстом объектов. Когда вы расширяете класс, ваш класс сможет видеть методы в контексте BaseClass. ChildClass и ParentClass находятся в контексте BaseClass, поэтому они могут видеть все методы BaseClass. Зачем тебе это? Для полиморфизма:

  class BaseClass {
     protected function a(){}
  }

  class ChildClass extends BaseClass {
    protected function a(){
      echo 'It works';
     }
  }

  class ParentClass extends BaseClass {
    public function b(BaseClass $a) {
      $a->a();
    }
    public function a() {

    }
  }

Независимо от того, какой дочерний элемент вы передаете в метод ParentClass :: b (), вы сможете получить доступ к методам BaseClass (включая защищенные, потому что ParentClass является дочерним элементом BaseClass, а дети могут видеть защищенные методы своих родителей). Такое же поведение применяется к конструкторам и абстрактным классам.

Интересно, нет ли чего-то глючного с абстрактной реализацией под капотом, или есть тонкая проблема, которую мы упускаем. Изменение BaseClass с абстрактного на конкретный приводит к фатальной ошибке, которая вам нужна (классы переименованы для моего здравомыслия)

РЕДАКТИРОВАТЬ: Я согласен с тем, что @deceze говорит в своих комментариях, что это крайний случай абстрактной реализации и, возможно, ошибка. Это, по крайней мере, обходной путь, который обеспечивает ожидаемое поведение с какой-то уродливой техникой (притворный абстрактный базовый класс).

class BaseClass
{
    protected function __construct()
    {
        die('Psuedo Abstract function; override in sub-class!');
    }
}

class ChildClassComposed extends BaseClass
{
    protected function __construct()
    {
        echo 'It works';
    }
}


// Child of BaseClass, Composes ChildClassComposed
class ChildClassComposer extends BaseClass
{
    public function __construct()
    {
        new ChildClassComposed();
    }
}

Неустранимая ошибка PHP: вызов protected ChildClassComposed :: __ construct () из контекста 'ChildClassComposer' в /Users/quickshiftin/junk-php/change-private-of-another-class.php в строке 46