OberonCore

Здравствуйте.
Посоветуйте чем заменить перечислимые типы в компонентном паскале?
например:
TYPE
ТМомент: LONGINT; (*номер такта в сотых долях*)
ТЛад = (лад01, лад02, лад03, лад04, лад05, лад06, лад07, лад08, лад09, лад10, лад11, ла12 );
ТСтруны = (струна01, струна02, струна03, струна04, струна05, струна06);

ТНота = RECORD момент:ТМомент; струна:ТСтруна; лад:ТЛад END;

Чтобы при присваивании значений полям переменной типа ТНота происходила проверка типов
например:
VAR
нота:ТНота;

BEGIN
нота.момент:= 100;
нота.струна:= струна01;
нота.лад := лад03;
END;
И попытке присвоить нота.струна:=лад01; компилятор выдавал ошибку нарушения
типов.

Я программирую на дельфи, и мечтаю перейти на блакбос, а перечислимые типы мой конек,
без них, я как без рук .
Помогите, пожалуйста, с этим вопросом.

Саша Кулов

Перечисляемых типов нет.

Только константы.

Здравствуйте Пётр.
Ну, а я, что написал? Только константы.

sasha-kulov

Проверку можно сделать в виде функции.
Проверять от мин до макс значения.
IF (значение >= мин_ЛАД) AND (значение <= MAX_ЛАД) THEN

Проверку можно сделать в виде функции.
Проверять от мин до макс значения.
IF (значение >= мин_ЛАД) AND (значение <= MAX_ЛАД) THEN[/quote]

Спасибо, а куда эту функцию подцепить,
и будет ли обнаружена ошибка на этапе компиляции?

BEGIN
нота.момент:= 100;
нота.струна:= SetСтруна(значение);
нота.лад := SetЛад(значение);
END;

Будет ошибка при выполнении программы.

Можно конечно сделать так
CONST
лад01 = 1;
лад02 = 2;
лад03 = 3;
лад04 = 4;
лад05 = 5;
лад06 = 6;
лад07 = 7;
лад08 = 8;
лад09 = 9;
лад10 = 10;
лад11 = 11;
лад12 = 12;

И при присваивании, быть внимательнее. Что бы вместо
нота.лад := лад03;

Не написать

нота.лад := Струна03;

Так как тип то один.

Такой код избыточен.

Всё можно упаковать в процедуру.

ТНота = RECORD
момент:INTEGER;
струна:INTEGER;
лад:INTEGER;
END;

PROCEDURE УстановитьНоту(Нота: TНота; Момент, Струна, Лад: INTEGER):
VAR
Н: TНота;
BEGIN
ASSERT(Момент >= МИН_МОМЕНТ AND Момент <= МАКС_МОМЕНТ);
ASSERT(Струна >= МИН_СТРУНА AND Струна <= МАКС_СТРУНА);
ASSERT(Лад >= МИН_ЛАД AND Лад <= МАКС_ЛАД);

Н.Момент := Момент;
Н.Струна := Струна;
Н.Лад := Лад;

И дальше ваш код
END;
VAR
Нота: TНота;

УстановитьНоту(Нота, 0, 2, 9):

Как то так.

Появилась мысль, что раз уж в примере множества объявляются по месту (с помощью перечисления), то и дальнейшие алгоритмы тоже строятся похоже - вручную определяя значения для полей. Наверное, описание предметной области производится с минимальным обобщением, для фиксации сущностей "на лету". Такой подход выгоден для быстрого старта, но приносит проблемы на этапе эволюции. Думаю, лучше попробовать пересмотреть архитектуру - возможно, надобность в перечислениях отпадёт сама собой.

Эти лады-струны просто для примера или всерьёз? Мне кажется странным желание использовать члены перечисления, в названиях которых фигурирует их численные значения.
Чем "лад := 12" хуже чем "лад := лад12"?
Если при вызове функции, может быть не понятным, что к чему
"нота(5, 3)" менее очевидно, чем "нота(лад5, струна3)"
тогда можно назвать функцию как "НотаЛадСтруна(5, 3)"

Вообще, сколько ошибок на этапе компиляции Вы отловили с помощью такой системы типов? Если много, то на Компонентном Паскале можете соорудить эквивалент перечислениям, но с накладными расходами как-то так:

Если перечислений в программе будет нужно много, то замучаетесь, хотя конечно можно подумать о генераторе таких штук.

Кстати, гитары бывают 4-14 струнными, 19-36 ладовыми. Что делать со всем этим добром при жёстко забитых перечислениях?

Спасибо, сейчас попробую разобраться в этом коде.
Саша Кулов