Использование условия

Question

сэр, пожалуйста, скажите мне, почему следующее условие в 'C' является false?

main() 
{ 
    int i=1; 
    if(i<=i++) 
     printf("false"); 
    else 
     printf("true"); 
} 

Answer 1

Это не ложь, вы просто печатаете false, когда это правда.

Answer 2

Чтобы понять, что ваш код делает, я собираюсь переписать, только будет очень четко:

main() 
{ 
    int i=1; 
    if(i<=i) { 
     i++; 
     printf("false"); 
    } else { 
     i++: 
     printf("true"); 
    } 
} 

i++ означает приращение I после сравнения. В обеих ветвях if if увеличивается, поэтому он эквивалентен.

Answer 3

Оператор сравнения <= не определяет, какая сторона будет оцениваться во-первых, i или i++, и нет никакого смысла последовательности в конце левого операнда на функцию сравнения (см http://www.gnu.org/software/gnu-c-manual/gnu-c-manual.html#Sequence-Points).

Если левая сторона вычисляется первым, вы получите:

if (1 <= 1)

Если правая часть оценивается первым, вы получите:

if (2 <= 1)

Это выдвигает на первый план проблему, но это еще хуже.

Вы написали код с неопределенным поведением, что означает точно, что «неопределено». Компилятор может сделать anything в этом случае и по-прежнему соответствовать стандарту.

---

Например, эти компиляторы (с -O3) следуют еще ветвь:

• icc (ICC) 13.0.1 20121010
• g++-4.8 (Ubuntu 4.8.1-2ubuntu1~12.04) 4.8.1

Хотя эти компиляторы (с -O3) следуют true ветви:

• g++-4.7 (Ubuntu/Linaro 4.7.3-2ubuntu1~12.04) 4.7.3
• г ++ - 4,6
• г ++ - 4,5
• г ++ - 4.4

И другие компиляторы могли сделать что-то совершенно другое.

Answer 4

Это комбинация unspecified behavior и простая и простая undefined behavior. Таким образом, вы не можете предсказать результат этого кода, и на результаты нельзя положиться.Это не определено, потому что в этой строке:

if(i<=i++) 

мы не знаем, будет ли оцениваться сначала i или i++. пункт draft C99 standard раздел 6.5 говорит:

группирования операторов и операндов обозначается syntax.74) За исключением случаев, указанных ниже (для вызова функции(), & &, ||,? :, и операторы запятой), порядок оценки подвыражений и порядок, в котором происходят побочные эффекты, не определены.

Вышеуказанная линия также является неопределенным поведением, потому что между sequence points мы только разрешено модифицировать переменные один раз, и если мы изменим его, мы только разрешено читать предыдущее значение, чтобы определить новое значение для установки. В этом случае мы считываем значение, чтобы определить как i, так и i++. Из проекта стандарта раздел пункт 6.5 :

Между предыдущей и следующей точкой последовательности объект должен быть его сохраненное значение изменено в самый раз по оценке выражения. Кроме того, предыдущее значение должно быть считано только для определения значения, которое необходимо сохранить.