Это сообщение отредактировал(а) mes - 6.4.2009, 03:09

а как она проверит first operand ? как она узнает, что first  operand - это first  operand, она дойдёт до операции && после -, потому что у - приоритет выше, а у -> ещё выше, чем у -
получается эта проверка первого операнда выше всех операций, так как не выполняет второй операнд, хотя там содержится операция ->, потому что знает, что это second operand и его выполнять нельзя, пока не пройдёт проверка для first operand

проверка и сама операция && не одно и то же, это два разных действия.
грубо говоря bool res = a1 && a2, в реальности является  :

где __&& "обычный"(без соблюдения правила сокращенногo вычисления) логический оператор АND .

ты вообще сам читаешь что пишешь? куда оно дойдет? Приоритет операций определяется до того как вычисляются выражения. И во время определения приоритета определяется какое выражение будет операндом какой операции и после этого начинается вычисление операндов



если уж ты хочешь с точки зрения приоритета :  a1 && a1->a  - тут && самый низкий приоритет, значит его операндами будут выражения  a1 и а1->a.   И только тут начинается вычисление операндов. Так что до операции && она дойдет намого раньше, чем начнет вычислять операнды. И какой из них правый, а какой левый компилятор всегда знает.
При реализации выражений как правило строится дерево. Корень - оператор с наименьшим приоритетом. Левая ветка - выражение левого операнда , правая - правого. Левый и правый в свою очередь такиеже  деревья начинающиеся с самой неприоритетной операции и левого и правого выражений операндов этого оператора.  Приотритет нужен для построения этого дерева и ничего при этом не вычисляется. А вычисляться начинает тогда, когда уже порядок вычисления выражения четко определен и приоритет операторов дальше уже никак ни на что не влияет.
Обходим сначала левую часть дерева - получили первый операнд. Потом обходим правую - второй. Так что никаких противоречий. 

Вообще то компилятор способен оптимизировать.........
пример

Здесь компилятор способен увидеть что лучше проверить сначало j на ноль(так как проверка на ноль выполняется быстрее, это свойство процессора), а потом думать что делать дальше. Так же в этом примере, не имеет разницу какое условие проверять первым(логического смысла), но здругой староны эту работу должен проделать программист, на уровне привычки...........

ну вот же оно, это правило 
как оно следует из стандарта ? тем, что не определено обратное ?

о, еще один... нельзя тут оптимизировать. ты читал предыдущие сообщения?



о чем речь вообще?
какое правило? Стандарт тут причем?
Я привел пример того как в компиляторе может быть реализовано вычисление выражений. Стандарт это не определяет. Можно и подругому - главное чтобы правильно работало. В стандарте написано, что оператор && имеет фиксированный порядок вычисления аргументов отличный от обычных операторов. Как  это в компиляторе реализуют никого в стандарте не колышет. Я привел пример как можно это сделать, зачем используется приоритет и как фиксировать порядок вычисления.

То есть, иными словами, в стандарте написано, что правый операнд никогда не вычислится раньше левого, а дальше компиляторы могут писать как хотят и реализовывать вычисления как хотят, главное чтобы это правило работало.
Поэтому все предпочитают строить дерево от самой нижней операции, потому что так удобнее делать, а не потому что так в стандарте заложено.

inside_pointer, на первой странице приводили цитату из стандарта. Не просто никогда не вычисляется раньше, но и никогда не вычисляется вообще, если первый аргумент false, например, здесь
изменение значения j при отрицательном i никогда не должно проводиться.

Есть две формы записи ариф. выражения.
1. арифметическая  a=4+b*6-c;
2. функциональная op-(op+(4,op*(b,6)),c); // где op - operator
первая нужна для удобства записи человеком, вторая для трансляции кода компилятором.
приорететы нужны, чтоб приводить первую форму записи ко второй и в дальнейшем не используются.

как видите аргументы каждой функции видны еще до начала выполнения.
для обычных функций и операторов порядок выполнения не определен, а для && требуется, ..(чтоб не повторяться см. выше в цитатах из стандарта)   
 

я понял, что он по дереву не пойдёт туда, если пройдёт в первое, если там дерево

Ещё вопрос по теме. Исключяются ли из кода пустые или бессмысленные операторы. Просто использую макросы которые оставляют такой мусор в коде.
Например, что из кода исключится, а что останется?

Знаю что некоторые компиляторы оптимизируют код, выявляют всегда верные условия, не используемые переменные и выдают предупреждения. И ещё, как посмотреть код с раскрытыми и заменёнными макросами?

ключ /P добавить в настройки проекта (С\С++-Command line-Additional options)

Я добавил(Project-Options-C++Linker-Advanced-Additional options-/P), но в Builder 2010 все по обычному.  Объясни, пожалуйста поподробнее.

Это сообщение отредактировал(а) uxoos - 21.10.2009, 20:10

 я настройки для Microsoft Visual Studio привёл. 
они по этому пути выставляются: project properties->c/c++->preprocessor->generate preprocessed file

попробуй добавить ключ -P к опциям компилятора. где добавлять - не знаю.