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

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

Пожалуйста. Только тебе это не поможет - ты все равно получишь Constraint_Error. Выбор у тебя невелик. Либо отказаться от использования discriminant records и решить задачу по-другому, либо воспользоваться procedure вместо function (это тоже не будет работать со всеми вариантами, см. ниже), либо отключать проверку дискриминанта. Ну, и четвертый вариант: ждать выхода компилятора, полностью поддерживающего Ada 2012.

Ада тебе не позволит никакими ухищрениями обойти контроль дискриминанта в любом объекте, расположенном в куче, либо вообще в любом объекте, если ты обращаешься к нему через ссылку. Обрати внимание:

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;

   procedure copy(to : in out tmain; from : tmain) is
   begin
      to := from;
   end copy;

   t1: aliased Tmain;
   t2: aliased Tmain;
   t3: access TMain;
begin
   t1 := (d => 0, f1 => 1);
   t2 := (d => 1, others => 2);
   t3 := new TMain'(D => 1, others => 5);

   copy(t2, t1); -- Это отработает без проблем
   copy(t1, t3.all); -- Это работать не будет - ссылка, контроль будет усилен
end Main;

Контроль можно только отключить. Хочешь - отключай (если уверен, что это не приведет в дальнейшем к проблемам).

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

Без понятия. Не требовалось ни разу, у меня на сохранение файла повешено его переформатирование, каждый раз когда я жму Ctrl+S, исходник приводится к тому виду, который я установил в "Pretty Printer" в настройках проекта. Потом при проверке стиля проблем гораздо меньше.

Можно сделать такое форматирование вручную, Edit -> Pretty Print.