Форум Flasher.ru
Ближайшие курсы в Школе RealTime
Список интенсивных курсов: [см.]  
  
Специальные предложения: [см.]  
  
 
Блоги Правила Справка Пользователи Календарь Поиск рулит! Сообщения за день Все разделы прочитаны
 

Вернуться   Форум Flasher.ru > Flash > ActionScript 3.0

Версия для печати  Отправить по электронной почте    « Предыдущая тема | Следующая тема »  
Опции темы Опции просмотра
 
Создать новую тему Ответ
Старый 02.07.2012, 00:12
BuKT вне форума Посмотреть профиль Отправить личное сообщение для BuKT Найти все сообщения от BuKT
  № 1  
Ответить с цитированием
BuKT
 
Аватар для BuKT

блогер
Регистрация: Dec 2010
Сообщений: 237
Записей в блоге: 5
По умолчанию Uncompatible override (protected function get)

Код AS3:
class SomeClass{
	protected function get someVar():SomeVarClass {
		return _someVar;
	}
}
Код AS3:
class SomeOtherClass extends SomeClass{
	override protected function get someVar():SomeOtherVarClass {
		return _someVar as SomeOtherVarClass;
	}
}
Код AS3:
class SomeOtherVarClass extends SomeVarClass{
}
=>
Код AS1/AS2:
/path/to/project/SomeOtherClass.as(2): col: 35 Error: Incompatible override.
Действительно нельзя? Если да - то где можно почитать, почему?
__________________
Дебаггер не предлагать


Последний раз редактировалось iNils; 03.07.2012 в 14:49.
Старый 02.07.2012, 00:21
-De- вне форума Посмотреть профиль Отправить личное сообщение для -De- Найти все сообщения от -De-
  № 2  
Ответить с цитированием
-De-
 
Аватар для -De-

блогер
Регистрация: Oct 2005
Адрес: Днепродзержинск - город Брежнева и других логопедов
Сообщений: 1,421
Записей в блоге: 4
Отправить сообщение для -De- с помощью ICQ Отправить сообщение для -De- с помощью Skype™
При оверрайде сигнатура должна совпадать. У вас переопределённая функция возвращает другой тип.
__________________
Бобры отвечают на вопросы не потому, что знают на них ответы; они отвечают потому, что их спрашивают.

Старый 02.07.2012, 00:26
BuKT вне форума Посмотреть профиль Отправить личное сообщение для BuKT Найти все сообщения от BuKT
  № 3  
Ответить с цитированием
BuKT
 
Аватар для BuKT

блогер
Регистрация: Dec 2010
Сообщений: 237
Записей в блоге: 5
То есть даже тот факт, что один тип наследуется от другого - ему не помогает?
У меня в коде рядом лежит подобный оверрайд, но public get - на него не ругается. Это потому что ещё не успел, или потому что такие вещи должны быть паблик? Действительно не успел, до него просто проверка ещё не дошла.
__________________
Дебаггер не предлагать


Последний раз редактировалось BuKT; 02.07.2012 в 00:31.
Старый 02.07.2012, 00:34
-De- вне форума Посмотреть профиль Отправить личное сообщение для -De- Найти все сообщения от -De-
  № 4  
Ответить с цитированием
-De-
 
Аватар для -De-

блогер
Регистрация: Oct 2005
Адрес: Днепродзержинск - город Брежнева и других логопедов
Сообщений: 1,421
Записей в блоге: 4
Отправить сообщение для -De- с помощью ICQ Отправить сообщение для -De- с помощью Skype™
Не помогает, такой оверрайд невозможен ни в одном из языков, где он есть. Вот представьте, есть переменная, объявленная как SomeClass. Но на самом деле в ней может сидеть SomeOtherClass. Каким образом должно обрабатываться то, что у такой переменной вызов someVar вернёт другой тип?
__________________
Бобры отвечают на вопросы не потому, что знают на них ответы; они отвечают потому, что их спрашивают.


Последний раз редактировалось iNils; 03.07.2012 в 14:50.
Старый 02.07.2012, 00:37
BuKT вне форума Посмотреть профиль Отправить личное сообщение для BuKT Найти все сообщения от BuKT
  № 5  
Ответить с цитированием
BuKT
 
Аватар для BuKT

блогер
Регистрация: Dec 2010
Сообщений: 237
Записей в блоге: 5
Если SomeOtherClass поддерживает соглашение об интерфейсе SomeClass (а он поддерживает по факту) - почему бы и не возвращать другой, менее абстрактный тип? Ну, это если по логике судить.

Нельзя так нельзя. (_someVar as SomeOtherOtherOther).action() в количествах от трёх и более смотрится не красиво, но что уж теперь.
__________________
Дебаггер не предлагать

Старый 02.07.2012, 00:45
-De- вне форума Посмотреть профиль Отправить личное сообщение для -De- Найти все сообщения от -De-
  № 6  
Ответить с цитированием
-De-
 
Аватар для -De-

блогер
Регистрация: Oct 2005
Адрес: Днепродзержинск - город Брежнева и других логопедов
Сообщений: 1,421
Записей в блоге: 4
Отправить сообщение для -De- с помощью ICQ Отправить сообщение для -De- с помощью Skype™
"поддерживает соглашение об интерфейсе" (это если понимать как implements / extends), значит, что все соответсвующие функции имеют соответствующие сигнатуры. Так что не поддерживает, о чем и говорит компилятор.
Функция возвращает только один тип.
Если вы везде пишете (_someVar as SomeOtherOtherOther).action(), то вам не нужен оверрайд, можно другой геттер сделать. Или после вызова someVar сразу присвоить его переменной типа SomeOtherClass (прикастовав только раз, возможно).
__________________
Бобры отвечают на вопросы не потому, что знают на них ответы; они отвечают потому, что их спрашивают.


Последний раз редактировалось -De-; 02.07.2012 в 00:54.
Старый 02.07.2012, 00:53
BuKT вне форума Посмотреть профиль Отправить личное сообщение для BuKT Найти все сообщения от BuKT
  № 7  
Ответить с цитированием
BuKT
 
Аватар для BuKT

блогер
Регистрация: Dec 2010
Сообщений: 237
Записей в блоге: 5
Цитата:
"поддерживает соглашение об интерфейсе" (нет такого понятия, вообще-то, есть implements inteface и extends), значит, что все соответсвующие функции имеют соответствующие сигнатуры. Так что не поддерживает, о чем и говорит компилятор.
Я вот этого и не пойму. Весь интерфейс базового класса расширенным - поддерживается. Чем тогда сигнатура расширенного интерфейса хуже базового?
__________________
Дебаггер не предлагать

Старый 02.07.2012, 00:57
-De- вне форума Посмотреть профиль Отправить личное сообщение для -De- Найти все сообщения от -De-
  № 8  
Ответить с цитированием
-De-
 
Аватар для -De-

блогер
Регистрация: Oct 2005
Адрес: Днепродзержинск - город Брежнева и других логопедов
Сообщений: 1,421
Записей в блоге: 4
Отправить сообщение для -De- с помощью ICQ Отправить сообщение для -De- с помощью Skype™
Не поддерживается, не весь расширен, геттер этот ваш возвращает не то, что надо. Чтоб поддерживался, надо чтоб возвращал то же, что и базовый класс.
Как компилятору знать, когда SomeClassVar.someVar - это SomeOtherClass, а когда SomeClass (если SomeClassVar - имеет тип SomeClass)?
__________________
Бобры отвечают на вопросы не потому, что знают на них ответы; они отвечают потому, что их спрашивают.


Последний раз редактировалось -De-; 02.07.2012 в 01:01.
Старый 02.07.2012, 01:01
BuKT вне форума Посмотреть профиль Отправить личное сообщение для BuKT Найти все сообщения от BuKT
  № 9  
Ответить с цитированием
BuKT
 
Аватар для BuKT

блогер
Регистрация: Dec 2010
Сообщений: 237
Записей в блоге: 5
Вы немного запутались. Геттеры у меня в SomeClass и в SomeOtherClass. Возвращаются переменные типа SomeVarClass и SomeOtherVarClass соответственно. Причём SomeOtherClass extends SomeClass, а SomeOtherVarClass extends SomeVarClass.

Компилятору понять, насколько точного типа переменную _someVar возвращать можно из того, геттер какого класса зовётся - базового или более конкретного.
__________________
Дебаггер не предлагать

Старый 02.07.2012, 01:55
-De- вне форума Посмотреть профиль Отправить личное сообщение для -De- Найти все сообщения от -De-
  № 10  
Ответить с цитированием
-De-
 
Аватар для -De-

блогер
Регистрация: Oct 2005
Адрес: Днепродзержинск - город Брежнева и других логопедов
Сообщений: 1,421
Записей в блоге: 4
Отправить сообщение для -De- с помощью ICQ Отправить сообщение для -De- с помощью Skype™
Да там без разницы. Я, похоже, пытаюсь обьяснить, что такое оверрайд, а вам, возможно, нужна перегрузка (которой нет в ас3, вместо этого надо делать другой геттер). Так вот оверрайд нужен только если у вас каким-то образом есть переменная типа SomeClass, в которой может находиться не только сам SomeClass, но и его наследники. У этой переменной дёргается переопределённый метод и в зависимости от того, что там на самом деле сидит вызывается метод нужного класса. Что там сидит (и какой метод вызывать) определяется в рантайме. А какие типы возвращает этот метод - при компиляции, чтоб ругнуться на несоответствие типов пораньше. И вот при компиляции компилятор не может определить, какой класс сидит в той переменной. Если хотите, чтоб типы тоже определялись в рантайме - используйте * как тип.
Если же у вас везде, где нужно, чтоб геттер возвращал SomeOtherVarClass дёргается метод у переменной типа SomeOtherClass, то оверрайд вам не нужен, сделайте другой геттер, который будет возвращать SomeOtherVarClass .
__________________
Бобры отвечают на вопросы не потому, что знают на них ответы; они отвечают потому, что их спрашивают.

Создать новую тему Ответ Часовой пояс GMT +4, время: 22:52.
Быстрый переход
  « Предыдущая тема | Следующая тема »  
Опции темы
Опции просмотра

Ваши права в разделе
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.


 


Часовой пояс GMT +4, время: 22:52.


Copyright © 1999-2008 Flasher.ru. All rights reserved.
Работает на vBulletin®. Copyright ©2000 - 2024, Jelsoft Enterprises Ltd. Перевод: zCarot
Администрация сайта не несёт ответственности за любую предоставленную посетителями информацию. Подробнее см. Правила.