Дискриминантные записи - 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 15:11

[volvo]

Тогда они теряют смысл. Особенно, если value for discriminant must be static.

Я сказал на операцию присваивания, а не на операцию инициализации:

a := (d => 0, f1 => 1);
b := (d => 1, f2 => 2);

a := b; -- Это должно вызвать Constraint_Error
b := (d => 0, f1 => 1); -- Это - нет

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

with ada.Text_IO;

procedure Main is

   type tmain(d: integer := 0) is record
      case d is
         when 0 => 
            f1: integer;
         when others => 
            f2: integer := 0;
            f3: integer := 0;
      end case;
   end record;

   t1, t2, t3: aliased tmain;
   
begin
   t1 := (d => 0, f1 => 1);
   t2 := (d => 1, others => 2);
   t3 := t1; -- Это - безопасное присваивание
   t2 := t1; -- Это - "опасное" присваивание, разные дискриминанты
   ada.Text_IO.Put_Line (integer'image(t1.f1));
   ada.Text_IO.Put_Line (integer'image(t2.f2) & " " & integer'image(t2.f3));
   ada.Text_IO.Put_Line (integer'image(t3.f1));
end main;

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

Вот как раз тогда, когда ты работаешь через access-параметры, контроль именно такой, каким должен быть.

Но мне нужна и возможность на ходу изменять назначение.

Меняй. По правилам языка, а не по своим правилам, и не так, как ты привык это делать в других языках. По правилам Ады, чтобы сменить назначение записи (т.е., изменить значение дискриминанта), ты должен при помощи агрегата установить новый дискриминант и ВСЕ соответствующие ему поля. Только тогда ты сможешь избежать того, что я пытался показать тебе вышеприведенной программой.