Дискриминантные записи - GNAT, (разделено) Опции

[TarasBer]

procedure Test is
   
   type test(d: integer := 0) is record
      case d is
         when 0 => f1: integer;
         when others => f2: integer;
      end case;
   end record;   
   
   t1, t2, t3: aliased test;
   b: boolean;
   
   function set(t: access test) return boolean is
   begin
      t.all := t1; -- raised CONSTRAINT_ERROR : test.adb:24 discriminant check failed
      return true;
   end;
   
begin
   t1 := (d=>0, f1=>0);
   t2 := (d=>1, f2=>1);
   t3 := (d=>1, f2=>1);
   t2 := t1; -- тут всё нормально отрабатывает
   b := set(t3'access);
end Test;

И что делать с этим
raised CONSTRAINT_ERROR : test.adb:24 discriminant check failed
?

В процедуре через out-параметр присвоилось нормально, однако.
А вот t3'access.all := t1'access.all; - ошибка дискриминанта

Почему прямо присваивать можно, а через указатель - нельзя? Так и написано в стандарте?

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

Дизассмеблер не взлетел: Couldn't get assembly code.

Кстати, смысла на ограничения параметров в функциях нет никакого. Избавление от побочных эффектов? Ха, толку, если можно писать во внешние переменные. Зато костыль с access получится на славу по уродливости.
Зачем вообще языки Паскалевого семейства делают ненужное разделение на процедуры и функции? Да, концепция красивая, типа процедура - то, что выполняется, функция - то, что возвращает значение, но в условиях реальности она только мешает.

Сообщение отредактировано: TarasBer - 31.01.2011 19:11

[TarasBer]

> Затем, чтобы контролировать, имеешь ли ты в данный конкретный момент (для установленного дискриминанта) обращаться к данному конкретному полю, или нет.

Правильно, мне это как раз даже нужно, мне этого реально не хватало в Дельфи.

> b := (d => 0, f1 => 1); -- Это - нет

А если я не знаю (на этапе компиляции), какое именно d мне понадобится?

case a.d is
   when 0 => b := (b => 0, f1 => a.f1);
   when 1 => b := (b => 1, f2 => a.f2);
   when 2 => b := (b => 2, f2 => a.f2);
   when 3 => b := (b => 3, f2 => a.f2);
   when 4 => b := (b => 4, f2 => a.f2);
   when 5 => b := (b => 5, f2 => a.f2);
   when 6 => b := (b => 6, f2 => a.f2);
   ...
   when others => raise Zachem_Tak_Mnogo_Ya_Ustal_Kopirovat;
end case;

Нет, спасибо.

> Как думаешь, что будет выведено на экран? Не запуская программу попробуй ответить...

t2.f2 и t2.f3 не должны вывестись вообще, но если заставить, то будет

Код

1
1 2
1

Во второй строке 1, а не 2, потому что его затёрло поле f1, находящееся по этому же адресу.
(я угадал? Программу не запускал)

Не вижу в этом примере ничего опасного. Программа должна срезаться при попытке вывести t2.f2 и t2.f3. А в присваивании нет ничего такого. t2.f1 будет честно равно единице.

> ты должен при помощи агрегата установить новый дискриминант и ВСЕ соответствующие ему поля.

А если я не знаю новое значение дискриминанта на этапе компиляции?

Добавлено через 3 мин.
Кстати, как сдвинуть выделенный текст вправо-влево (аналог ctrl+k+i, ctrl+k+u)?