Пожалуйста, объясните, почему Java и C дают разные ответы на этот код

Question

public class Test 
{ 
    public static void main(String[] args) { 
     int i = 10; 
     i = i++; 
     System.out.println("value of i is : " + i); 
    } 
} 

Выход есть: 10

Когда я выполнил аналогичный код в C, выход является 11.

Answer 1

Что касается C это undefined behavior, поскольку вы пытаетесь изменить ту же переменную более одного раза в одной и той же sequence point на этой линии: пункт 2

i = i++; 

draft C99 standard в разделе 6.5говорит:

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

Это хорошо определено в Java, которая не имеет ту же концепцию, что точка последовательности C делает и спецификации языка Ява (JLS) выходит из своего пути, чтобы обеспечить такие операции определены. Раздел 15.7 из JLS говорит:

левый операнд бинарного оператора, как представляется, в полной мере оценены до какой-либо части правого операнда вычисляется. Например, если левый операнд содержит присвоение переменной, а правый операнд содержит ссылку на эту же переменную, то значение, созданное ссылкой, будет отражать тот факт, что назначение произошло первым. [...]

и раздел 15.7.2 говорит:

Язык программирования Java также гарантирует, что каждый операнд оператора (за исключением условных операторов & &, ||, и :) ? представляется полностью оцененной до того, как выполняется какая-либо часть самой операции.

Обратите внимание, что C не определяет порядок оценки, в основном, чтобы дать компилятору better options for optimization. Из проекта стандарта раздела 6.5пункта 3:

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

Update

Если вы хотите обсуждение на некоторые различия в философии между Java и C по отношению к неопределенному поведению у вас есть Undefined behavior is a design decision и Undefined behaviour in Java.

Answer 2

Это Undefined behaviour в C. Отсутствие sequence point.

Answer 3

В Java, i = i++; пост ++ будет увеличивать значение после этого шага. Но здесь, в момент присвоения i++, i, i по-прежнему 10, так что вы получаете 10. Но в C это может отличаться от Java. Если вы используете i=++i в коде Java, вы получите 11.

Answer 4

Java и C - это разные языки с разными правилами. В C точный порядок оценки выражений и применения побочных эффектов - неуказанный; для выражения, такого как i = i++, нет гарантии, что побочный эффект оператора ++ будет применен до назначения. Результат будет зависеть от платформы, настроек оптимизации, даже окружающего кода. Поведение: undefined; компилятор может справиться с ситуацией по своему усмотрению, что включает в себя создание неожиданного результата.

Java, OTOH, задает строгий порядок оценки, и эти побочные эффекты применяются немедленно, поэтому выражение четко определено.