Как указать тип возвращаемого значения абстрактного метода, если он должен возвращать объект класса унаследованного от другой абастракции?

Question

[Александр Маджугин]

Есть метод абстрактного класса Context:

/**
         * возвращает состояние
         *  
         */
        abstract public function getState (string $Name): ????

Можно ли как-то указать что он должен возвращать объект класса который должен быть наследником абстрактного класса Context\State?

Comments

[Антон Антон]

Вроде для этого придумали интерфейсы

[Ivan Ustûžanin]

а чем указание Context\State не устраивает?
и да, по идее это должен быть интерфейс, а не класс, хоть и абстрактный

[Александр Маджугин]

Ivan Ustûžanin, наверное потому что реальный метод может возвращать например класс App\Context\Language или App\Context\City которые должны быть просто наследниками Context\State.

Чем поможет интерфейс? Почему это должен быть интерфейс и чем он лучше абстрактного класса, в данном случае?

[Александр Маджугин]

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

[Ivan Ustûžanin]

Александр Маджугин, ну так и пусть возвращает, конкретизировать возвращаемое значение в наследниках можно, а т.к. это будет интерфейс/абстрактный класс, то вернуть его напрямую не выйдет

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

[Дмитрий]

Self static this

[Adamos]

Александр Маджугин,

В моем понимании интерфейс это тот же абстрактный класс, но в котором нет ни одного метода заранее реализованного. Других отличий не вижу и как он тут поможет не понимаю

Разница принципиальна.
Абстрактный класс говорит: все наследники являются чем-то, что можно обобщить. Наследники AbstractDataClass - дата-классы. Даже если у них вообще нет ни одного общего метода.
Интерфейс говорит: все реализующие имеют указанные методы. Например, Iterable - имеет какую-то коллекцию, которую можно перебрать по одному элементу. Чем является конкретный реализующий - вообще неважно.

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

[Ипатьев]

Мне вот прямо интересно, что в голове у этого Дмитрия. По каким таким хитрым загогулинам ходят его мысли. Ведь не с потолка же он их берёт, ему собственные ответы должны казаться логичными. Вот мне и интересно эту логику понять.

[Дмитрий]

Ипатьев, ну у товарища в примере метод и в типе вопросы, как я понял, автор хочет указать тип, но не знает как.

[Ипатьев]

Ivan Ustûžanin, может, напишете эту очевидную мысль в качестве ответа? А то единственный ответ, который там сейчас, какой-то совсем бессмысленный

[Ivan Ustûžanin]

Ипатьев, написал

[Александр Маджугин]

Adamos, логично. Тогда и с точки зрения идеологии там место именно абстрактному классу

Answer 1

[Ivan Ustûžanin]

так и указывать Context\State

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

Answer 2

[Дмитрий]

https://www.php.net/manual/ru/language.oop5.late-s...