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

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