OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Понедельник, 18 Октябрь, 2021 00:11

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




Начать новую тему Ответить на тему  [ Сообщений: 5 ] 
Автор Сообщение
СообщениеДобавлено: Пятница, 13 Август, 2021 14:53 

Зарегистрирован: Понедельник, 11 Сентябрь, 2017 13:23
Сообщения: 1364
Добрый день! Интересует, работают ли в итоге шаблонные модули, а также хочется узнать, как ими пользоваться.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 13 Август, 2021 19:56 

Зарегистрирован: Пятница, 11 Январь, 2019 19:26
Сообщения: 251
Откуда: Russia
Работают, если без фанатизма, но есть проблемы, когда "шаблон на шаблоне и шаблоном погоняет". Как пользоваться - онисано в спецификации языка. Ну плюс сделали нетипизированные параметры.
Типы параметров: модуль (IMPORT), тип (TYPE), константа (CONST). Процедуры считаются константами.

MODULE A( IMPORT M, TYPE T, CONST C );
VAR x*: M.List;
VAR y*: ARRAY C OF T;

END A.

MODULE B;
IMPORT C, A(C, SIGNED32, 3 );

BEGIN
VAR a := A.y[0];
A.x.Add(5);
END B;


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 13 Август, 2021 20:48 

Зарегистрирован: Понедельник, 11 Сентябрь, 2017 13:23
Сообщения: 1364
Спасибо, примерно понял, хотя про нетипизированные параметры - не очень понял.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 14 Август, 2021 05:34 

Зарегистрирован: Пятница, 11 Январь, 2019 19:26
Сообщения: 251
Откуда: Russia
Нетипизированные параметры, это когда вместо
MODULE A( IMPORT M, TYPE T, CONST C ), пишем
MODULE A( M, T, C ), и тип параметров M, T, C вычисляется при специализации. то есть, например, в один параметр M можно передать и модуль и запись и объект - главное чтобы их интерфейс не противоречил ожиданиям шаблона


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 14 Август, 2021 15:56 

Зарегистрирован: Понедельник, 11 Сентябрь, 2017 13:23
Сообщения: 1364
А, понял. Неплохо, хотя если бы был тип "всё", то и не надо было бы этого вовсе. И как впечатления от использования? Я тут задумался, что шаблоны в каком-нибудь C# довольно сложные. И вроде выкинуть сложность нельзя, например, ко(нтра)вариантность возникает естественно. Но вдруг есть какой-то особый "путь оберона", который позволяет сделать попроще, но в то же время так, что большинство применений будут покрываться.


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

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


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

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


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

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