Цитата(Archon @ 7.04.2010 18:47)

Мне кажется, что не стоит полагаться на оптимизатор и писать такие условия. Volvo бы спросить, он точно знает =)
Я тоже точно знаю совершенно неожиданно и случайно )).
Эта фича
не имеет никакого отношения к оптимизации. Называется она Short Boolean Evaluation и включена по умолчанию. Если ты хочешь Complete Boolean Evaluation - используй соответствующую опцию в меню либо (надежнее) - директиву {$B+}.
Если не использовать в выражении Булевы функции, изменяющие какие-то другие переменные, то все не только нормально, но и просто прекрасно (поскольку не только укорачивает, но и позволяет не отрабатывать то, что отрабатывать не нужно и нельзя). Описанная ситуация (функции, меняющие глобальные переменные) встречается крайне редко, а необходимость ее - и того реже. Я бы рекомендовал новичкам как раз НЕ использовать подобный изврат, по крайней мере до того, как станешь гуру. Кстати, аналогичный прием в арифметических выражениях (с использованием арифметических функций, меняющих другие параметры) действительно встречается, особенно в рекурсии. Но все же этим не стоит злоупотреблять, и использовать нужно крайне осторожно. Иначе мы дойдем до того, что порядок тоже важен, и A*B не равно B*A, и - пошло-поехало..
Лично я короткими вычислениями пользовался всегда - вставляя, если прога идет на стророну - директиву $B.
К слову сказать, в С это организовано несколько иначе: там есть две разных формы Булевых операторов: одинарные (полное вычисление) и двойные (краткое вычисление). Это, конечно, значительно удобнее, так как не только избавляет от необходимости ставить директиву - можно еще и без проблем смешивать эти операторы в одном выражении. Но только скажите мне: кто вообще использует одинарные | и & - по делу, а не по недоразумению?
В Паскале тоже были попытки ввести нечто подобное, и это как раз есть ложка дегтя в бочке меда.. Мало того, что они оставили нормальную форму (or и and) именно для
полного вычисления, они еще и изобрели совершенно неудобоваримые и длинные обозначения and_then и or_else для гораздо более широко используемой краткой формы!!

Одна радость - я пока не сталкивался с компиляторами, поддерживающими этот нонсенс, называемый ISO-10206 Extended Pascal. Вот тут, может, volvo скажет больше.. ))