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

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

7
  • 4
    Понимаю, что какие-то учебные примеры и всё такое, но хочу сказать, что в реальной жизни адекватные люди так не пишут. А кто пишет - надо руки выдёргивать)) 4 мар 2021 в 12:27
  • Спасибо, писать так никогда не буду, но хотелось бы понять смысл. 4 мар 2021 в 12:29
  • 1
    рассмотри умножение и эти операторы, как функции, получишь что-то вроде: a = mul(inc_pre(a), inc_post(a)), самой функции mul не важно в каком порядке вычисляются переданные ей аргументы, и, в принципе, компилятор может сам решить что выполнится сначала.
    – Grundy
    4 мар 2021 в 12:33
  • 1
    А почему голоса за закрытие? Хороший вопрос, хоть и часто встречающийся.
    – VladD
    4 мар 2021 в 13:00
  • @Grundy: В C# это не так, порядок вычисления строго определён. Другиое дело, что компилятор может его нарушить, если докажет, что результат от этого не поменяется.
    – VladD
    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
  • Спасибо, разобрался 4 мар 2021 в 12:56
  • @нольайкью: Пожалуйста! Обращайтесь :)
    – VladD
    4 мар 2021 в 13:24
  • Очень подробный и качественный ответ! От себя добавлю что нагляднее всего можно смотреть реальные деревья в linqpad - закладка "Tree". Вот так например выглядит пример первого дерева из ответа: i.stack.imgur.com/qwbfl.png
    – A K
    4 мар 2021 в 13:36
  • 1
    @AK: Или вот тут: screenshot. // Спасибо!
    – VladD
    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.

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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