Загадка

[zumm]

Доброго всем! Нужно было поработать в страрой паскалевской среде TP 7.1 и наткнулся на очень, для меня по крайней мере, интересное исключение. вот например:

x:=2;
if x>2 then
  if x<4 then
    y:=1
else
  y:=2;

Чему равен Y?

x:=2;
if x>2 then
  if x<4 then
    y:=1
  else
    y:=2;

А тут?

По сути код не изменился, кроме пары лишних табов, а вот сама суть в корне меняется, если в первом случае (когда else привязан к первой проверке) Y будет равно 2, то во втором случае (когда else привязан ко втрой проверке) Y будет равен 1.

Вот такая вот ситуация, интересно это баг или "так и задумано"?

PS Да конечно нужно использовать ящики (begin end), но синтаксис позволяет и не использовать

PSS Да конечно можете говорить что компилятор прав относя else ко второй проверке, но все же палка с двумя концами, так сказать...

[p51x]

Есть стандарт, что гадать? Паскаль не Питон, где все решают пробелы.

[Stilet]

интересно это баг или "так и задумано"?

Допиши сверху y:=0;
Ты словил эффект-обманку, когда "y" у тебя ничем не инициализируется, и может содержать случайный мусор, вот тебе и показалось что от пробелов зависит исход, но Паскаль не F# в нем нет такого прикола. ты просто увидел последствия использования неинициализированных переменных. Вообще оптимизатор должен был бы вышвырнуть этот код, ибо он никогда не выполнится.

[zumm]

2Stilet, не, я знаю как надо, Y уже инициалзирован, присвоения X нет, да и условия выглядят совсем подругому в моем коде, я просто упростил то что нашел у себя Вопрос у меня в том, что почему всегда else относится к последнему изнутри условию. Ведь стандарты это просто отмазка, из синтаксиса можно явно судить что else может быть отнесен из логических правил к любому условию. Это недочет языка и нужно либо запртить неиспользовать в условиях ящики либо придумать другой подход.

[DomiNick]

Вопрос у меня в том, что почему всегда else относится к последнему изнутри условию.

Думается что потому что:

x:=2;
if (x>2) And (x<4) then
  y:=1
else
  y:=2;

[mrChester]

Вопрос у меня в том, что почему всегда else относится к последнему изнутри условию. Ведь стандарты это просто отмазка, из синтаксиса можно явно судить что else может быть отнесен из логических правил к любому условию. Это недочет языка и нужно либо запртить неиспользовать в условиях ящики либо придумать другой подход.

Это не отмазка а четкие правила синтаксиса. esle всегда будет относиться к последнему if и это не недостаток а преимущество. Хотите чтобы синтаксис обязывал использовать такие отступления?
Пример

x:=2; if x>2 then  if x<4 then y:=1 else y:=2;

даст такой же результат как и все остальные. А если вы хотите отнести else к первому if используйте блоки

x:=2; if x>2 then begin  if x<4 then y:=1 end else y:=2;

[Levsha100]

if(){}else{} - красота

[Mixasik]

Все логично, что else относится к последнему ветвлению. Так и должно быть, а операторные скобки помогут.
p.s.
Levsha100, без обид, но так бы и влепил минус за вечный и не уместный пиар с++

[pproger]

2Mixasik
при чем тут с++? фигурные скобки используются во многих языках

[Mixasik]

pproger, просто не впервые у него вижу такое и догадываюсь о чем речь. Ладно не буду разводить баталии. А причем тут фигурные скобки?) - мог бы спросить я.