Приоритет операторов C++

В следующей таблице перечислены приоритет и ассоциативность операторов C++. Операторы перечислены сверху вниз в порядке убывания приоритета. a, b и c — операнды.

При разборе выражения оператор, указанный в строке таблицы выше с более высоким приоритетом, связывается со своими аргументами сильнее (как если бы использовались скобки), чем любой оператор, указанный ниже с более низким приоритетом. Например, выражения std::cout << a & b и *p++ разбираются как (std::cout << a) & b и *(p++), а не как std::cout << (a & b) или (*p)++.

Операторы с одинаковым приоритетом связываются со своими аргументами в соответствии с направлением ассоциативности. Например, выражение a = b = c разбирается как a = (b = c), а не как (a = b) = c, из-за правоассоциативности присваивания; однако a + b - c разбирается как (a + b) - c, а не как a + (b - c), из-за левоассоциативности сложения и вычитания.

Указание ассоциативности для унарных операторов избыточно и приводится лишь для полноты: унарные префиксные операторы всегда правоассоциативны (delete ++*p — это delete(++(*p))), а унарные постфиксные операторы всегда левоассоциативны (a[1][2]++ — это ((a[1])[2])++). Обратите внимание, что ассоциативность имеет значение для операторов доступа к членам, несмотря на то что они сгруппированы с унарными постфиксными операторами: a.b++ разбирается как (a.b)++, а не как a.(b++).

Перегрузка операторов не влияет на их приоритет. Например, std::cout << a ? b : c; разбирается как (std::cout << a) ? b : c;, поскольку приоритет арифметического сдвига влево выше приоритета условного оператора.

Примечания

Приоритет и ассоциативность — понятия времени компиляции, не зависящие от порядка вычисления, который относится к времени выполнения.

Сам стандарт не задаёт уровни приоритета. Они выводятся из грамматики.

const_cast, static_cast, dynamic_cast, reinterpret_cast, typeid, sizeof..., noexcept и alignof не включены, поскольку они никогда не бывают неоднозначными.

Некоторые операторы имеют альтернативные обозначения (например, and вместо &&, or вместо ||, not вместо ! и т. д.).

В C тернарный условный оператор имеет более высокий приоритет, чем операторы присваивания. Поэтому выражение e = a < d ? a++ : a = d, которое в C++ разбирается как e = ((a < d) ? (a++) : (a = d)), не скомпилируется в C из-за грамматических или семантических ограничений языка C. Подробности см. на соответствующей странице о C.

См. также

a = b
a += b
a -= b
a *= b
a /= b
a %= b
a &= b
a |= b
a ^= b
a <<= b
a >>= b

++a
--a
a++
a--

+a
-a
a + b
a - b
a * b
a / b
a % b
~a
a & b
a | b
a ^ b
a << b
a >> b

!a
a && b
a || b

a == b
a != b
a < b
a > b
a <= b
a >= b
a <=> b

a[...]
*a
&a
a->b
a.b
a->*b
a.*b