2
int a = 1;
a = ++a * a++;
int b = 1;
b = b++ * ++b;

Почему a = 4, b = 3? Приоритет у постфиксного оператора же больше, значит он выполнится до префиксного и умножения. Разве не так?

7
  • 4
    Понимаю, что какие-то учебные примеры и всё такое, но хочу сказать, что в реальной жизни адекватные люди так не пишут. А кто пишет - надо руки выдёргивать)) Commented 4 мар. 2021 в 12:27
  • Спасибо, писать так никогда не буду, но хотелось бы понять смысл. Commented 4 мар. 2021 в 12:29
  • 1
    рассмотри умножение и эти операторы, как функции, получишь что-то вроде: a = mul(inc_pre(a), inc_post(a)), самой функции mul не важно в каком порядке вычисляются переданные ей аргументы, и, в принципе, компилятор может сам решить что выполнится сначала.
    – Grundy
    Commented 4 мар. 2021 в 12:33
  • 1
    А почему голоса за закрытие? Хороший вопрос, хоть и часто встречающийся.
    – VladD
    Commented 4 мар. 2021 в 13:00
  • @Grundy: В C# это не так, порядок вычисления строго определён. Другиое дело, что компилятор может его нарушить, если докажет, что результат от этого не поменяется.
    – VladD
    Commented 4 мар. 2021 в 13:01

2 ответа 2

3

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

В C# правило следующее: выражения вычисляются строго (с точностью до as-if-правила) слева направо. Точнее, строится дерево выражения, и обход его производится в обратном порядке: левое поддерево, затем правое поддерево, затем сам узел.

Выражение a = ++a * a++ даёт такое дерево:

        assign
        /    \
      a(1)    *
            /   \
  preincrement  postincrement
          /       \
        a(2)      a(3)

Вычисление:

  1. Вычисляем корневой узел assign, для этого:
  2. Вычисляем адрес a (1).
  3. Начинаем вычислять правый аргумент присваивания, для этого:
  4. Начинаем вычислять преинкремент, для этого:
  5. Вычисляем адрес a (2)
  6. Выполняем преинкремент (a становится равным 2, значение узла 2).
  7. Начинаем вычислять постинкремент, для этого:
  8. Берём снова адрес a (3)
  9. Выполняем постинкремент (a становится равным 3, значение узла 2).
  10. Умножение даёт 4.
  11. Выполняем присваивание, a становится равным 4.

Выражение b = b++ * ++b даёт такое дерево:

        assign
        /    \
      b(1)    *
            /   \
 postincrement  preincrement
          /       \
        b(2)      b(3)

Вычисление:

  1. Вычисляем корневой узел assign, для этого:
  2. Вычисляем адрес b (1).
  3. Начинаем вычислять правый аргумент присваивания, для этого:
  4. Начинаем вычислять постинкремент, для этого:
  5. Вычисляем адрес b (2)
  6. Выполняем постинкремент (b становится равным 2, значение узла 1).
  7. Начинаем вычислять преинкремент, для этого:
  8. Берём снова адрес b (3)
  9. Выполняем преинкремент (b становится равным 3, значение узла 3).
  10. Умножение даёт 3.
  11. Выполняем присваивание, b становится равным 3.

Дополнительное чтение по теме: Eric Lippert. Precedence vs associativity vs order.

Ещё один забавный пример тут.


В отличие от C#, в некоторых других языках (например, C++) порядок вычисления может быть не определён, а выражения наподобие тех, которые вы привели, могут приводить и вовсе к неопределённому поведению.

4
  • Спасибо, разобрался Commented 4 мар. 2021 в 12:56
  • @нольайкью: Пожалуйста! Обращайтесь :)
    – VladD
    Commented 4 мар. 2021 в 13:24
  • Очень подробный и качественный ответ! От себя добавлю что нагляднее всего можно смотреть реальные деревья в linqpad - закладка "Tree". Вот так например выглядит пример первого дерева из ответа: i.sstatic.net/qwbfl.png
    – A K
    Commented 4 мар. 2021 в 13:36
  • 1
    @AK: Или вот тут: screenshot. // Спасибо!
    – VladD
    Commented 4 мар. 2021 в 14:10
1

Да вроде всё логично.

int a = 1;
a = ++a * a++;

Оператор ++a увеличивает a и возвращает увеличенное значение. А оператор a++ наоборот - сначала возвращает значение, а потом увеличивает a. Что мы имеем, т.е. что возвращает инкремент и чему после этого равно a:

a = ++a * a++;
    ^^^   ^^^
   2(a=2) 2(a=3)

После a++ в a будет 3, но это значение тут же затрётся после присваивания результата a = 2 * 2, поэтому в a будет 4.

int b = 1;
b = b++ * ++b;
    ^^^   ^^^
   1(b=2) 3(b=3)

Тут в b и так уже 3 после двух инкрементов, и после присваивания результата вычисления b = 1 * 3 - тоже 3.

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.