|
|
« Предыдущая тема | Следующая тема » |
Опции темы | Опции просмотра |
|
|
|||||
Uncompatible override (protected function get)
class SomeOtherClass extends SomeClass{ override protected function get someVar():SomeOtherVarClass { return _someVar as SomeOtherVarClass; } } Действительно нельзя? Если да - то где можно почитать, почему?
__________________
Дебаггер не предлагать Последний раз редактировалось iNils; 03.07.2012 в 14:49. |
|
|||||
блогер
Регистрация: Oct 2005
Адрес: Днепродзержинск - город Брежнева и других логопедов
Сообщений: 1,421
Записей в блоге: 4
|
При оверрайде сигнатура должна совпадать. У вас переопределённая функция возвращает другой тип.
__________________
Бобры отвечают на вопросы не потому, что знают на них ответы; они отвечают потому, что их спрашивают. |
|
|||||
То есть даже тот факт, что один тип наследуется от другого - ему не помогает?
__________________
Дебаггер не предлагать Последний раз редактировалось BuKT; 02.07.2012 в 00:31. |
|
|||||
блогер
Регистрация: Oct 2005
Адрес: Днепродзержинск - город Брежнева и других логопедов
Сообщений: 1,421
Записей в блоге: 4
|
Не помогает, такой оверрайд невозможен ни в одном из языков, где он есть. Вот представьте, есть переменная, объявленная как SomeClass. Но на самом деле в ней может сидеть SomeOtherClass. Каким образом должно обрабатываться то, что у такой переменной вызов someVar вернёт другой тип?
__________________
Бобры отвечают на вопросы не потому, что знают на них ответы; они отвечают потому, что их спрашивают. Последний раз редактировалось iNils; 03.07.2012 в 14:50. |
|
|||||
Если SomeOtherClass поддерживает соглашение об интерфейсе SomeClass (а он поддерживает по факту) - почему бы и не возвращать другой, менее абстрактный тип? Ну, это если по логике судить.
Нельзя так нельзя. (_someVar as SomeOtherOtherOther).action() в количествах от трёх и более смотрится не красиво, но что уж теперь.
__________________
Дебаггер не предлагать |
|
|||||
блогер
Регистрация: Oct 2005
Адрес: Днепродзержинск - город Брежнева и других логопедов
Сообщений: 1,421
Записей в блоге: 4
|
"поддерживает соглашение об интерфейсе" (это если понимать как implements / extends), значит, что все соответсвующие функции имеют соответствующие сигнатуры. Так что не поддерживает, о чем и говорит компилятор.
Функция возвращает только один тип. Если вы везде пишете (_someVar as SomeOtherOtherOther).action(), то вам не нужен оверрайд, можно другой геттер сделать. Или после вызова someVar сразу присвоить его переменной типа SomeOtherClass (прикастовав только раз, возможно).
__________________
Бобры отвечают на вопросы не потому, что знают на них ответы; они отвечают потому, что их спрашивают. Последний раз редактировалось -De-; 02.07.2012 в 00:54. |
|
|||||
Цитата:
__________________
Дебаггер не предлагать |
|
|||||
блогер
Регистрация: Oct 2005
Адрес: Днепродзержинск - город Брежнева и других логопедов
Сообщений: 1,421
Записей в блоге: 4
|
Не поддерживается, не весь расширен, геттер этот ваш возвращает не то, что надо. Чтоб поддерживался, надо чтоб возвращал то же, что и базовый класс.
Как компилятору знать, когда SomeClassVar.someVar - это SomeOtherClass, а когда SomeClass (если SomeClassVar - имеет тип SomeClass)?
__________________
Бобры отвечают на вопросы не потому, что знают на них ответы; они отвечают потому, что их спрашивают. Последний раз редактировалось -De-; 02.07.2012 в 01:01. |
|
|||||
Вы немного запутались. Геттеры у меня в SomeClass и в SomeOtherClass. Возвращаются переменные типа SomeVarClass и SomeOtherVarClass соответственно. Причём SomeOtherClass extends SomeClass, а SomeOtherVarClass extends SomeVarClass.
Компилятору понять, насколько точного типа переменную _someVar возвращать можно из того, геттер какого класса зовётся - базового или более конкретного.
__________________
Дебаггер не предлагать |
|
|||||
блогер
Регистрация: Oct 2005
Адрес: Днепродзержинск - город Брежнева и других логопедов
Сообщений: 1,421
Записей в блоге: 4
|
Да там без разницы. Я, похоже, пытаюсь обьяснить, что такое оверрайд, а вам, возможно, нужна перегрузка (которой нет в ас3, вместо этого надо делать другой геттер). Так вот оверрайд нужен только если у вас каким-то образом есть переменная типа SomeClass, в которой может находиться не только сам SomeClass, но и его наследники. У этой переменной дёргается переопределённый метод и в зависимости от того, что там на самом деле сидит вызывается метод нужного класса. Что там сидит (и какой метод вызывать) определяется в рантайме. А какие типы возвращает этот метод - при компиляции, чтоб ругнуться на несоответствие типов пораньше. И вот при компиляции компилятор не может определить, какой класс сидит в той переменной. Если хотите, чтоб типы тоже определялись в рантайме - используйте * как тип.
Если же у вас везде, где нужно, чтоб геттер возвращал SomeOtherVarClass дёргается метод у переменной типа SomeOtherClass, то оверрайд вам не нужен, сделайте другой геттер, который будет возвращать SomeOtherVarClass .
__________________
Бобры отвечают на вопросы не потому, что знают на них ответы; они отвечают потому, что их спрашивают. |
Часовой пояс GMT +4, время: 15:23. |
|
« Предыдущая тема | Следующая тема » |
Опции темы | |
Опции просмотра | |
|
|