Выражения
В C++ имеется большое число операций, и они будут объясняться там, где (и если) это потребуется. Следует учесть, что операции
| ~ | (дополнение) |
| (И) | |
| ^ | (исключающее ИЛИ) |
| | | (включающее ИЛИ) |
| (логический сдвиг влево) | |
| (логический сдвиг вправо) |
применяются к целым, и что нет отдельного типа данных для логических действий.
Смысл операции зависит от числа операндов; унарное является операцией взятия адреса, а бинарное - это операция логического И. Смысл операции зависит также от типа ее операндов: + в выражении a+b означает сложение с плавающей точкой, если операнды имеют тип float, но целое сложение, если они типа int. В #1.8 объясняется, как можно определить операцию для типа, определяемого пользователем, без потери ее значения, предопределенного для основных и производных типов.
В C++ есть операция присваивания =, а не оператор присваивания, как в некоторых языках. Таким образом, присваивание может встречаться в неожиданном контексте; например, x=sqrt(a=3*x). Это бывает полезно. a=b=c означает присвоение c объекту b, а затем объекту a. Другим свойством операции присваивания является то, что она может совмещаться с большинством бинарных операций. Например, x[i+3]*=4 означает x[i+3]=x[i+3]*4, за исключением того факта, что выражение x[i+3] вычисляется только один раз. Это дает привлекательную степень эффективности без необходимости обращения к оптимизирующим компиляторам. К тому же это более кратко.
В большинстве программ на C++ широко применяются указатели. Унарная операция * разыменовывает*3 указатель, т.е. *p есть объект, на который указывает p. Эта операция также называется косвенной адресацией. Например, если имеется char* p, то *p есть символ, на который указывает p. Часто при работе с указателями бывают полезны операция увеличения ++ и операция уменьшения --. Предположим, p указывает на элемент вектора v, тогда p++ делает p указывающим на следующий элемент.
Приоритет операций в выражениях такой же, как и порядок главных подразделов в этом разделе, наибольший приоритет у первого. Так например, выражения, о которых говорится как об операндах операции + (##7.1-7.4.Внутри каждого подраздела операции имеют одинаковый приоритет. В каждом подразделе для рассматриваемых в нем операций определяется их левая или правая ассоциативность (порядок обработки операндов). Приоритет и ассоциативность всех операций собран вместе в описании грамматики в
В остальных случаях порядок вычисления выражения не определен. Точнее, компилятор волен вычислять подвыражения в том порядке, который он считает более эффективным, даже если подвыражения вызывают побочные эффекты. Порядок возникновения побочных эффектов не определен. Выражения, включающие в себя коммутативные и ассоциативные операции (*, +, , |, ^), могут быть реорганизованы произвольным образом, даже при наличии скобок; для задания определенного порядка вычисления выражения необходимо использовать явную временную переменную.
Обработка переполнения и контроль деления при вычислении выражения машинно зависимы. В большинстве существующих реализаций C++ переполнение целого игнорируется; обработка деления на 0 и всех исключительных ситуаций с числами с плавающей точкой различаются от машины к машине и обычно могут регулироваться библиотечными функциями.
Кроме стандартного значения, описанного в , операции могут быть перегружены*3, то есть, могут быть заданы их значения для случая их применения к типам, определяемым пользователем; см.
выражение: терм выражение бинарная_операция выражение выражение ? выражение : выражение список_выражений терм: первичный * терм терм - терм ! терм ~ терм ++терм --терм терм++ терм-- ( имя_типа) выражение имя_простого_типа ( список_выражений) sizeof выражение sizeof ( имя_типа ) new имя_типа new ( имя_типа ) первичный: id :: идентификатор константа строка this ( выражение ) первичный[ выражение ] первичный ( список_выражений opt ) первичный.id первичный-id id: идентификатор typedef-имя :: идентификатор список_выражений: выражение список_выражений, выражение операция: унарная_операция бинарная_операция специальная_операция Бинарные операции имеют приоритет, убывающий в указанном порядке: бинарная_операция: * / % + -
== != ^ |
= += -= *= /= %= ^= = |= =
