Унарный: почему унарное поведение в c # зависит от c / c ++

int y = x + 4 * ++x;

В C и C ++ порядок оценки каждого операнда не определен, что означает, что либо x, либо 4*++x могут оцениваться раньше другого. Поскольку порядок оценки операндов не указан, результат всего выражения не указан.

Если x оценивается до 4*++x, то y будет вычисляться как:

int y = x + 4 * ++x; //original

int y = 2 + 4 * ++x  //evaluate x first
      = 2 + (4 * 3)  //evaluate 4 *++x then
      = 14;

Аналогично, если 4*++x оценивается до x, тогда

int y = x + 4 * ++x; //original

int y = x + (4*3)  //evaluate 4 * ++x first
      = 3 + 12   //evaluate x then  (x is incremented)
      = 15;

В C # операнды должны оцениваться слева направо, поэтому вы всегда получаете первое поведение, дающее в результате 14.

Фактически, в C ++ вы просто получаете неопределенное поведение, поскольку порядок оценки выражений не всегда указывается, поэтому неясно, будет ли при первом использовании x считываться старое или новое значение. Оба варианта возможны, и на самом деле возможно все, что угодно, потому что в стандарте прямо сказано, что не определено, что происходит.

C #, как безопасный язык, не может допустить такой ситуации и, таким образом, более строго определяет порядок оценки.