Работа со множествами, FPC, Будьте аккуратнее :) Опции

[volvo]

Привет всем.

Сегодня наткнулся на непонятное (с точки зрения Паскаля) поведение FPC. Вот такой простейший код, совершенно корректно отрабатывающий в Турбо Паскале:

type
  tset = set of 'a' .. 'z';
const
  myset: tset = ['a' .. 'z'];
  s: string = 'the test';
  count: integer = 0;
var
  i: integer;

begin
  for i := 1 to length(s) do
  begin
    if s[ i ] in myset then inc(count);
  end;
  writeln(count);
end.

Попробуйте без его компиляции и запуска определить, что будет выведено на печать. А потом запустите на выполнение...

Так что осторожнее с множествами...

[volvo]

Ну вот, и я думал, что 7...

Однако, на самом деле происходит очень неприятная штука (FPC 2.4.0, Debug/Normal mode, любой из режимов совместимости TP/ObjFPC/Delphi/FPC):

Running "f:\programs\pascal\tst.exe "
No heap dump by heaptrc unit
Exitcode = 201
Runtime error 201 at $00401481
  $00401481  main,  line 15 of F:/Programs/Pascal/tst.pp
  $004083C1

15 строка - это

if s[i] in myset then inc(count);

Как только очередной символ строки не входит во множество допустимых значений для myset - программа завершается аварийно при попытке проверить In. В багтрекере есть одна ошибка, связанная с множествами (она уже исправлена, в 2.5.1). Но этой нет. Вот я и думаю, это ж баг? Так быть не должно - не присутствует значение во множестве, значит надо вернуть False и все.

[Lapp]

Вот я и думаю, это ж баг? Так быть не должно - не присутствует значение во множестве, значит надо вернуть False и все.

Другими словами, ты полагаешь, что тут должно работать автоматическое приведение типов? Но как?

Мне такое поведение представяется логичным.. То есть сравнение (выяснение принадлежности) происходит только для элементов множества. Не элемент - выяснение невозможно.

Сейчас пытался сделать нечто подобное для чисел и без множеств.. Не вышло )). Числовые типы приводятся, похоже, всегда. Например:

{$R+}
type
  tN = 2..8;

var
  n: tN;

begin
  if n<5 then WriteLn('good');
  if n<10 then WriteLn('bad');
  ReadLn
end.

- это отрабатывает на ура без всяких ошибок..