OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 12:54

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
 Заголовок сообщения: Super calls
СообщениеДобавлено: Четверг, 14 Май, 2020 09:30 
Аватара пользователя

Зарегистрирован: Суббота, 16 Февраль, 2008 02:47
Сообщения: 660
Коллеги, вчитавшись в текст компилятора, а затем и в Сообщение о языке, я с удивлением обнаружил, что Super calls допустимы в отношении любой процедуры базового типа, а не только переопределяемой.

TYPE B = EXTENSIBLE RECORD END;
E = RECORD (B);

PROCEDURE (b: B) P, NEW, EXTENSIBLE; ...
PROCEDURE (b: B) Q, NEW, EXTENSIBLE; ...

PROCEDURE (e: E) P; BEGIN ... e.Q^ ... END P;
PROCEDURE (e: E) Q; BEGIN ... e.P^ ... END Q;
PROCEDURE (e: E) R, NEW; BEGIN ... e.P^; e.Q^ ... END R;

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

В связи с этим вопросы: 1) кто-нибудь этим пользуется? или пользовался?
2) какой вообще use case предполагается, для чего предназначена эта возможность в языке?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Super calls
СообщениеДобавлено: Четверг, 14 Май, 2020 10:20 
Администратор

Зарегистрирован: Вторник, 15 Ноябрь, 2005 01:14
Сообщения: 4695
Откуда: Россия, Орёл
Супервызовы вообще были помечены, как выводимые из языка. И это правильно.
(А вот процедурные переменные, которые тоже так были помечены, выводить из языка не следует)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Super calls
СообщениеДобавлено: Четверг, 14 Май, 2020 14:29 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Борис Рюмшин писал(а):
Супервызовы вообще были помечены, как выводимые из языка. И это правильно.
(А вот процедурные переменные, которые тоже так были помечены, выводить из языка не следует)


И EXTENISBLE-процедуры с возможностью полного переопределения выводить не следует.

А супервызовы, видимо, да.
Или используй версионные и EMPTY-методы, или обёртки, если надо модифицировать базовое поведение.

А переопределение - только полностью.

С другой стороны, не вижу сильной проблемы и оставить.
Насильно блокировать архитектурные решения - уже дело гиблое. Допустить архитектурную ошибку по невнимательности/в силу того, что "люди ошибаются" и т.п. (как с ошибками типов, памяти и др.) - невозможно. А запрещать осознанные действия смысла тоже нет.

Всего, к тому же, не предусмотришь "из кабинета" заранее в плане архитектуры.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 7


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

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB