OOP в PHP

В общем, как это ни грустно....
но

PHP:

1. <?php
2. abstract class A {}
3.  
4. class B extends A {
5.     public $id;
6. }
7.  
8.  
9. abstract class C {
10.     abstract public function say(A $msg);
11. }
12.  
13. class D extends C {
14.     public function say(B $msg) {
15.         var_dump($msg);
16.     }
17. }
18.  
19. $b = new B;
20. $b->id = 'sample';
21.  
22. $d = new D;
23. $d->say($b);

Такое работать не будет. Несмотря на то, что B необтрузивно реализует все интерфейсы A.

Так что для, желающих наследования с typehinting о последнем придется позаботиться самостоятельно
Например вот так

PHP:

1. <?php
2. class D extends C {
3.     public function say(A $msg) {
4.         if (! ($msg instanceof B)) {
5.             throw new Exception('Instance of B required');
6.         } else {
7.             var_dump($msg);
8.         }
9.     }
10. }

А так хотелось без лишних телодвижений отделить структуру модели от методов работы с ней

 

Сложный вопрос и мне лень на него искать ответ.

Для функциональности достаточно наследования. А хотелось именно typehinting

 

Брр. Они абсолютно одинаковые с точки зрения интерфейса и выполняемой функции (добавить/изменить/удалить)
И абсолютно плевать, как они там внутри это все делают, если входные и выходные параметры соответствуют интерфейсам, а функция соответствует заявленной.

Разница даже не в типе принимаемых данных. А в их структуре.
Условно говоря мне нужен на вход массив ровно с четырьмя/пятью/двадцатью элементами и конкретными именованными ключами. И я хочу это проконтролировать.
Выяснилось, что кроме явного проброса Exception, этого не сделать никак.

Внутренняя обработка абсолютно идентична у всех классов потомков. Мы берем этот массив и маппим по внутренним правилам на структуру БД.

Была бы готовая структура БД - проблем бы не было Но увы, приходится плясать от того что она обязательно изменится несколько десятков раз.

В конечном счете решится это дело кодогенерацией, как обычно, но мне банально лень

 

Удивительного нет вообще. Есть лишь сожаление, что не получится уменьшить себе работы
А ведет оно себя вполне логично. Потомок должен свободно заменять предка.
А вот уже два соседних потомка - не обязательно могут заменить друг друга. Поэтому переопределение интерфейса и не работает во избежание ошибок.

Что касается A и B разные типы - это не совсем так.

PHP:

1. <?php
2. abstract class A {}
3.  
4. class B extends A {
5.     public $id;
6. }
7.  
8. class R extends A {
9.  
10. }
11. $b = new B;
12. $r = new R;
13. var_dump($b instanceof A); //true
14. var_dump($r instanceof A); //true
15. var_dump($r instanceof B); //false

 

Потому что B наследует и реализует все отличительные особенности A. Поэтому при проверке
принадлежит ли B к типу A - ответ будет утвердительным.
R и B примером ниже это уже разные типы.

Но суть не в этой фигне.

Вопрос, который побудил меня это проверить я описал ниже. Я просто хотел переложить часть работы на синтаксический анализатор языка. Выяснилось, что неявно перегрузить метод нельзя!
Т.е. только magic методы или способ приведенный мной.

Хм. Есть мысля. А что если сделать два интерфейса с разным определением одного и того же метода.
И попробовать создать класс на их базе...
Сейчас проверю.

 

Все. Низя.

PHP:

1. <?php
2. interface AE {
3.     public function say(E $msg);
4. }
5. interface AB {
6.     public function say(B $msg);
7. }
8.  
9. class XA implements AE, AB {
10.     public function say(E $msg) {
11.         var_dump($msg);
12.     }
13.  
14.     public function say(B $msg) {
15.         var_dump($msg);
16.     }
17. }
18.  

Ну значит так тому и быть.

 

Перегрузка нужна не только для значений по-умолчанию.

В принципе все оно реализуется и на PHP через __call()
Вот только автокомплита не будет - а это большой минус.

 

Понимать понимают. Но крайне криво.
Т.е. таким образом можно дать знать что метод есть. И не более того.

А какие у него параметры, что он возвращает - ничерта не показывается.

 

Твое кунг-фу круче моего?
Не вопрос.

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

 

Не извиню. Вы изволили сказать что это возможно.

А ездить я предпочитаю на кодогенераторах, потому что, несмотря на все удобство __get/__set/__call в определенных моментах, они чрезвычайно медленны.

Может и лучше, но ты потом модернизировать эту лапшу пробовал?

В моем случае задача решилась через проброс исключения. И несколько некорректный phpDoc (хотя и A и B это банальные DTO без методов вовсе)

PHP:

1. <?php
2. /**
3.  * @param B $data
4.  */
5. function update(A $data) {
6.     if (! ($data instanceof B)) {
7.         throw new Exception('Instance of B required');
8.     }
9. }

Более правильным же решением будет генерация пустого DTO с соответствующим phpDoc. Но пока переписывать лень.