Мюррей Хилл - C++

Унарные операции и операции присваивания правоассоцитивны, все остальные левоассоциативны. Это значит, что a=b=c означает a=(b=c), a+b+c означает (a+b)+c, и *p++ означает *(p ++), а не (*p)++.

Сводка Операций (часть 1) =========================================================== :: разрешение области видимости имя_класса :: член :: глобальное :: имя =========================================================== -» выбор члена указатель-»член [] индексация указатель [ выр ] () вызов функции выр (список_выр) () построение значения тип (список_выр) sizeof размер объекта sizeof выр sizeof размер типа sizeof ( тип ) =========================================================== ++ приращение после lvalue++ ++ приращение до ++lvalue – уменьшение после lvalue– – уменьшение до –lvalue ~ дополнение ~ выр ! не ! выр – унарный минус – выр + унарный плюс + выр amp; адрес объекта amp; lvalue * разыменование * выр new создание (размещение) new тип delete уничтожение (освобождение) delete указатель delete[] уничтожение вектора delete[ выр ] указатель () приведение (преобразование типа) ( тип ) выр =========================================================== * умножение выр * выр / деление выр / выр % взятие по модулю (остаток) выр % выр =========================================================== + сложение (плюс) выр + выр – вычитание (минус) выр – выр =========================================================== «„ сдвиг влево lvalue „„ выр ““ сдвиг вправо lvalue “» выр =========================================================== « меньше выр « выр

«= меньше или равно выр „= выр “ больше выр » выр »= больше или равно выр »= выр =========================================================== == равно выр == выр != не равно выр != выр =========================================================== amp; побитовое И выр amp; выр =========================================================== ^ побитовое исключающее ИЛИ выр ^ выр =========================================================== ! побитовое включающее ИЛИ выр ! выр =========================================================== amp; amp; логическое И выр amp; amp; выр =========================================================== !! логическое включающее ИЛИ выр !! выр =========================================================== ? : арифметический if выр ? выр : выр =========================================================== = простое присваивание lvalue = выр *= умножить и присвоить lvalue = выр /= разделить и присвоить lvalue /= выр %= взять по модулю и присвоить lvalue %= выр += сложить и присвоить lvalue += выр -= вычесть и присвоить lvalue -= выр «„= сдвинуть влево и присвоить lvalue „„= выр ““= сдвинуть вправо и присвоить lvalue “»= выр amp;= И и присвоить lvalue amp;= выр != включающее ИЛИ и присвоить lvalue != выр ^= исключающее ИЛИ и присвоить lvalue ^= выр =========================================================== , запятая (следование) выр , выр ===========================================================

В каждой очерченной части находятся операции с одинаквым приоритетом. Операция имеет приоритет больше, чем оперции из частей, расположенных ниже. Например: a+b*c означает a +(b*c), так как * имеет приоритет выше, чем +, а a+b-c ознчает (a+b)-c, поскольку + и – имеют одинаковый приоритет (и поскольку + левоассоциативен).

Скобками синтаксис С++ злоупотребляет; количество спосбов их использования приводит в замешательство: они применются для заключения в них параметров в вызовах функций, в них заключается тип в преобразовании типа (приведении к типу), в именах типов для обозначения функций, а также для разрешения конфликтов приоритетов. К счастью, последнее требуется не слишком часто, потому что уровни приоритета и правила ассоцативности определены таким образом, чтобы выражения «работали ожидаемым образом» (то есть, отражали наиболее привычный спсоб употребления). Например, значение

if (i«=0 !! max«i) // ...

очевидно. Тем не менее, всегда, когда программист сомнвается относительно этих правил, следует употреблять скобки, и некоторые программисты предпочитают немного более длинное и менее элегантное

if ( (i«=0) !! (max«i) ) // ...

При усложнении подвыражений употребление скобок станвится более обычным явлением, но сложные подвыражения являюся источником ошибок, поэтому если вы чувствуете потребность в скобках, попробуйте оборвать выражение и использовать дополнительную переменную. Есть и такие случаи, когда приоритты операций не приводят к «очевидному» результату. Например в

if (i amp;mask == 0) // ...

не происходит применения маски mask к i и последующей проверки результата на ноль. Поскольку == имеет приоритет вше, чем amp;, выражение интерпретируется как i amp;(mask==0). В этом случае скобки оказываются важны:

if ((i amp;mask) == 0) // ...

Но, с другой стороны, то, что следующее выражение не рботает так, как может ожидать наивный пользователь, ничего не значит:

if (0 «= a «= 99) // ...

Оно допустимо, но интерпретируется оно как (0«=a)«=99, где результат первого подвыражения или 0 или 1, но не a (если только a не равно 1). Чтобы проверить, лежит ли a в диапазоне 0...99, можно написать