Operators in C and C++


This is a list of operators in the C and C++ programming languages.
All listed operators are in C++ and lacking indication otherwise, in C as well. Some tables include a "In C" column that indicates whether an operator is also in C. Note that C does not support operator overloading.
When not overloaded, for the operators &&, ||, and ,, there is a sequence point after the evaluation of the first operand.
Most of the operators available in C and C++ are also available in other C-family languages such as C#, D, Java, Perl, and PHP with the same precedence, associativity, and semantics.
Many operators specified by a sequence of symbols are commonly referred to by a name that consists of the name of each symbol. For example, += and -= are often called "plus equal" and "minus equal", instead of the more verbose "assignment by addition" and "assignment by subtraction".

Operators

In the following tables, lower case letters such as a and b represent literal values, object/variable names, or l-values, as appropriate. R, S and T stand for a data type, and K for a class or enumeration type. Some operators have alternative spellings using digraphs and trigraphs or operator synonyms.

Arithmetic

C and C++ have the same arithmetic operators and all can be overloaded in C++.

Relational

All relational operators can be overloaded in C++. Since C++20, the inequality operator is automatically generated if operator is defined and all four relational operators are automatically generated if operator<=> is defined.

Logical

C and C++ have the same logical operators and all can be overloaded in C++.
Note that overloading logical AND and OR is discouraged, because as overloaded operators they always evaluate both operands instead of providing the normal semantics of short-circuit evaluation.

Bitwise

C and C++ have the same bitwise operators and all can be overloaded in C++.

Assignment

C and C++ have the same assignment operators and all can be overloaded in C++.
For the combination operators, a ⊚= b is equivalent to a = a ⊚ b, except that a is evaluated only once.

Synonyms

C++ defines keywords to act as aliases for a number of operators:
KeywordOperator
&&
&=
&
|
~
!
!=
||
|=
^
^=

Each keyword is a different way to specify an operator and as such can be used instead of the corresponding symbolic variation. For example, and specify the same behavior. As another example, the bitand keyword may be used to replace not only the bitwise-and operator but also the address-of operator, and it can be used to specify reference types.
The ISO C specification makes allowance for these keywords as preprocessor macros in the header file [iso646.h|]. For compatibility with C, C++ also provides the header, the inclusion of which has no effect. Until C++20, it also provided the corresponding header [ciso646|] which had no effect as well.

Expression evaluation order

During expression evaluation, the order in which sub-expressions are evaluated is determined by precedence and associativity. An operator with higher precedence is evaluated before a operator of lower precedence and the operands of an operator are evaluated based on associativity. The following table describes the precedence and associativity of the C and C++ operators. Operators are shown in groups of equal precedence with groups ordered in descending precedence from top to bottom.
Operator precedence is not affected by overloading.
OrderOperatorDescriptionAssociativity
1
highest
::Scope resolution -
2++Postfix incrementLeft-to-right
2--Postfix decrementLeft-to-right
2Function callLeft-to-right
2Array subscriptingLeft-to-right
2.Element selection by referenceLeft-to-right
2->Element selection through pointerLeft-to-right
2typeidRun-time type information Left-to-right
2const_castType cast Left-to-right
2dynamic_castType cast Left-to-right
2reinterpret_castType cast Left-to-right
2static_castType cast Left-to-right
3++Prefix incrementRight-to-left
3--Prefix decrementRight-to-left
3+Unary plusRight-to-left
3-Unary minusRight-to-left
3!Logical NOTRight-to-left
3~Bitwise NOT Right-to-left
3Type castRight-to-left
3*Indirection Right-to-left
3&Address-ofRight-to-left
3sizeofSizeofRight-to-left
3_AlignofAlignment requirement Right-to-left
3new, newDynamic memory allocation Right-to-left
3delete, deleteDynamic memory deallocation Right-to-left
4.*Pointer to member Left-to-right
4->*Pointer to member Left-to-right
5*MultiplicationLeft-to-right
5/DivisionLeft-to-right
5%Modulo Left-to-right
6+AdditionLeft-to-right
6-SubtractionLeft-to-right
7<<Bitwise left shiftLeft-to-right
7>>Bitwise right shiftLeft-to-right
8<=>Three-way comparison Left-to-right
9<Less thanLeft-to-right
9<=Less than or equal toLeft-to-right
9>Greater thanLeft-to-right
9>=Greater than or equal toLeft-to-right
10Equal toLeft-to-right
10!=Not equal toLeft-to-right
11&Bitwise ANDLeft-to-right
12^Bitwise XOR Left-to-right
13|Bitwise OR Left-to-right
14&&Logical ANDLeft-to-right
15||Logical ORLeft-to-right
16co_awaitCoroutine processing Right-to-left
16co_yieldCoroutine processing Right-to-left
17?:Ternary conditional operatorRight-to-left
17=Direct assignmentRight-to-left
17+=Assignment by sumRight-to-left
17-=Assignment by differenceRight-to-left
17*=Assignment by productRight-to-left
17/=Assignment by quotientRight-to-left
17%=Assignment by remainderRight-to-left
17<<=Assignment by bitwise left shiftRight-to-left
17>>=Assignment by bitwise right shiftRight-to-left
17&=Assignment by bitwise ANDRight-to-left
17^=Assignment by bitwise XORRight-to-left
17|=Assignment by bitwise ORRight-to-left
17throwThrow operator Right-to-left
18
lowest
,CommaLeft-to-right

Details

Although this table is adequate for describing most evaluation order, it does not describe a few details. The ternary operator allows any arbitrary expression as its middle operand, despite being listed as having higher precedence than the assignment and comma operators. Thus a ? b, c : d is interpreted as a ? : d, and not as the meaningless , . So, the expression in the middle of the conditional operator is parsed as if parenthesized. Also, the immediate, un-parenthesized result of a C cast expression cannot be the operand of sizeof. Therefore, sizeof * x is interpreted as * x and not sizeof .

Chained expressions

The precedence table determines the order of binding in chained expressions, when it is not expressly specified by parentheses.
  • For example, ++x*3 is ambiguous without some precedence rule. The precedence table tells us that: is 'bound' more tightly to than to, so that whatever does, it does it ONLY to ; it is equivalent to.
  • Similarly, with 3*x++, where though the post-fix is designed to act AFTER the entire expression is evaluated, the precedence table makes it clear that ONLY gets incremented. In fact, the expression is evaluated with being a temporary value. It is functionally equivalent to something like.
[Image:Precedence 2.png|center|thumb|Precedence and bindings]
  • Abstracting the issue of precedence or binding, consider the diagram above for the expression 3+2*y++. The compiler's job is to resolve the diagram into an expression, one in which several unary operators, 2*, ++ and are competing to bind to y. The order of precedence table resolves the final sub-expression they each act upon: acts only on y, ++ acts only on y, 2* acts only on y++ and 3+ acts 'only' on 2*. It is important to note that WHAT sub-expression gets acted on by each operator is clear from the precedence table but WHEN each operator acts is not resolved by the precedence table; in this example, the ++ operator acts only on y by the precedence rules but binding levels alone do not indicate the timing of the postfix ++.

Binding

The binding of operators in C and C++ is specified by a factored language grammar, rather than a precedence table. This creates some subtle conflicts. For example, in C, the syntax for a conditional expression is:
logical-OR-expression ? expression : conditional-expression
while in C++ it is:
logical-OR-expression ? expression : assignment-expression
Hence, the expression:
e = a < d ? a++ : a = d
is parsed differently in the two languages. In C, this expression is a syntax error, because the syntax for an assignment expression in C is:
unary-expression '=' assignment-expression
In C++, it is parsed as:
e =
which is a valid expression.
To use the comma operator in a function call argument expression, variable assignment, or a comma-separated list, use of parentheses is required. For example,

int a = 1, b = 2, weirdVariable =, d = 4;

Criticism of bitwise and equality operators precedence

The precedence of the bitwise logical operators has been criticized. Conceptually, & and | are arithmetic operators like * and +.
The expression is syntactically parsed as whereas the expression is parsed as. This requires parentheses to be used more often than they otherwise would.
Historically, there was no syntactic distinction between the bitwise and logical operators. In BCPL, B and early C, the operators didn't exist. Instead had different meaning depending on whether they are used in a 'truth-value context'. It was retained so as to keep backward compatibility with existing installations.
Moreover, in C++ equality operations, with the exception of the three-way comparison operator, yield bool type values which are conceptually a single bit and as such do not properly belong in "bitwise" operations.