Как в данном случае работает наследование?

Question

[Muranx]

Зравствуйте!

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

class A{
	public function method(){
		return $this->prop; 
	}
};

class B extends A{
	private $prop = 10;
};

$b = new B();

$b->method(); /* Fatal error:  Uncaught Error: Cannot access private property B::$prop */

1. вызываем метод класса B::method()

2. у данного класса нету собственного метода method(), поэтому выполняем поиск (и на ходим) метод у родительского класса A

3. в методе класса A ключевое слово $this указывает на класс B ( object(B)#1(1){["prop": "B": private]=>int(10)})

4. но при этом возникает ошибка

Fatal error:  Uncaught Error: Cannot access private property B::$prop

Офк данный пример работает , если бы свойство $prop объекта класса B было либо protected либо public. Непонятен момент , почему вроде как в методе A::method(), $this указывает на объект класса B, но при этом приватное свойство не может вернуть? Наверное всё дело в том ,где вызывается метод и где он был определён, но могу ошибаться...

Comments

[DollyPapper]

А в чем собственно ваш вопрос, можете конкретизировать, что непонятно то? Ответ тут один - так работает язык. Вы не можете обращаться к приватным полям класса. При позднем связывании которое тут происходит во время выполнения интерпретатор ищет метод method в B, не находит, идет в A. В качестве this у него обьект B, но сам метод в A, и при попытке обращения он наблюдает приватную область видимости для поля. На этом всё заканчивается и код падает. Отловить такое в компайл тайме (если бы оно вообще у пыха было) - нельзя, так что такая писанина на совести программиста.

Answer 1

[Антон Неверов]

То, что написано в целом - это самый настоящий говнокод. Класс A не является самостоятельным и при попытке сделать его экземпляр и вызвать A->method() программист получит ошибку в любом случае. Так делать нельзя, независимо от логического обоснования того, что здесь происходит.

А явление, которое вы наблюдаете называется умными словами позднее статическое связывание (3 пример). Почитать кучу текста всё-таки придётся, этот нюанс в двух словах не объяснить, что вы хотели?

Comments

[Muranx]

Антон Неверов, этот как вы выразились "говнокод" был утрирован из примера книги Мэтта Зандстры "PHP: объекты, шаблоны и методики программирования".

abstract class Expression{
	private static $keyCount = 0;
	private $key;
	abstract public function interpret(InterpreterContext $context);
	public function getKey(){
		if(!isset($this->key)){
			self::$keyCount++;
			$this->key = self::$keyCount;
		};
		return $this->key;
	}	
};
class InterpreterContext{
	private $expressionsStore = [];
	public function replace(Expression $exp, $value){
		$this->expressionsStore[$exp->getKey()] = $value;
	}
	public function lookup(Expression $exp){
		return $this->expressionsStore[$exp->getKey()];
	}
};
class LiteralExpression extends Expression{
	private $value;
	public function __construct($value){
		$this->value = $value;
	}
	public function interpret(InterpreterContext $context){
		$context->replace($this, $this->value);
	}
};

собственно то, почему я и задался вопросом про вызов методов родителя, для создания свойств в потомках... Получается в коде приведённом выше экземпляр класса Expression передаётся методу lookup объекта типа InterpreteContext, в методе lookup в том числе вызывается и метод getKey() , который не принадлежит объекту LiteralExpression в виду чего вызывается метод родителя, благодаря которому в классе ребёнке создаётся свойство! Если я правильно понял этот пример , то представленный мною "говнокод" (по вашей терминологии) как раз и задаётся вопросом, почему так делает автор книги.

[Антон Неверов]

Muranx, я в упор здесь не вижу того, за что я ругал ваш код.
Во-первых, класс родительский здесь абстрактный, что исключает создание новых экземпляров.
Во-вторых, в классах здесь не используются свойства, которые будут только заданы в потомках.
В-третьих, Expression имеет абстрактный метод interpret, который необходимо реализовать самостоятельно, что в целом решает все проблемы.

Вы когда что-то обрезаете, делайте это с умом, чтобы не терять общий концепт и смысл повествования.

Answer 2

[Сергей delphinpro]

Да всё очень просто.
Приватное свойство доступно только в том классе, в котором оно объявлено. Оно не наследуется.
Вас смущает тот факт, что $this указывает на второй класс, но по факту вызывается метод класса А, и у него не будет доступа к приватным свойствам других классов.

Comments

[DollyPapper]

Небольшая поправочка на ветер. Свойства и так не наследуются, они именно что резолвятся в рантайме проходя по дереву наследования, пока не найдется такое свойство.