Case, String и диапазон

[Brainenjii]

Код: Выделить всё

Case StringVar Of
  'A', 'B', 'O', 'U', 'T':;
  'ABOUT':;
End;

Case StringVar Of
  'A'..'Z':;
  'ABOUT':; // <- Error: duplicate case label
End;


Это баг или так и должно быть?

[SAK]

В первой строке диапазон символов (Char), а во второй строка. Видимо компилятор преобразует сроку к символу и получает повтор. Я не могу себе представить диапазон строк, например какие строки будут входить в 'AD'..'PP' ?

[Brainenjii]

Ну, когда я это писал я, разумеется, предполагал, что компилятор диапазон строк 'A'..'Z' воспримет 'A','B',..,'Z'. Вроде бы логично? ^_^

[Максим]

Об этом лучше спросить в списке рассылки.

[SAK]

компилятор диапазон строк 'A'..'Z' воспримет 'A','B',..,'Z'. Вроде бы логично? ^_^

Логично, но нелогичность возникает когда во второй строке вместо отдельных символов появляется строка.

[Brainenjii]

Код: Выделить всё

Var
  StringVar: String;
begin
  Case StringVar Of
    'А'..'Я':;
    'Арбуз':;
  End;
end.


StringVar объявлен как String -> я ожидаю что Case будет разбирать строки. 'А'..'Я' - соответственно диапазон строк 'А', 'Б', 'В', .., 'Я' (уже не символов, UTF8), чтобы не нарушать ожидаемое поведение. 'Арбуз' - ещё одна строка в Case. И все-равно ошибка ^_^ Все-таки, наверное, баг

[SSerge]

Одиночное значение в кавычках - это всегда char, а не строка (за исключением ситуации, когда под кавычки попадает знак из utf-8, тогда он всяко строка, ибо многобайтовых char не бывает).

Поэтому

Var s:string;

s:='c';

условно эквивалентно

s:=CharToString('c');

Ну и для строк вообще не может быть каким либо образом заданного диапазона При компиляции, естественно. Поэтому, у вас возможно наведенная ошибка, на деле относящаяся к строчке "'A'..'Z':;"

[Ask]

для строк вообще не может быть каким либо образом заданного диапазона

Нет, диапазон для строк добавлен в новых версиях FPC.
Диапазон определён по стандартным правилам, а именно s находится в диапазоне от a до b тогда и только тогда,
когда a <= s <= b.
Ошибка выдаётся в случае, когда диапазоны перекрываются -- в приведённом примере вторая метка находится в диапазоне первой.

[SSerge]

Нет, диапазон для строк добавлен в новых версиях FPC.

описание этого где нибудь есть? WIKI.freepascal молчит.

[Brainenjii]

В общем, понятно... 'А'..'Я' - это не "массив" строк, размером один литерал ('А', 'Б', 'В', .., 'Ю', 'Я'), а все строки, начинающиеся с букв А по Ю и символ Я включительно. Такой код компилируется нормально. Лично я был бы рад, если бы 'А'..'Я' превращалось бы в 'А', 'Б', 'В', .., 'Ю', 'Я'. ИМХО, это логичнее ^_^

Код: Выделить всё

Var
  StringVar: String;
Begin
  Case StringVar Of
    'А'..'Я':;
    'Яблоко':;
  End;
End.

[Ask]

описание этого где нибудь есть? WIKI.freepascal молчит.

Да, действительно. Вот оригинальное обсуждение -- там есть testcase'ы
http://bugs.freepascal.org/view.php?id=13700