colspan="2" | Bitwise OR | a '''<nowiki>|</nowiki>''' b | | |-| colspan="2" | Bitwise XOR| style="text-align:center;" | a '''^''' b | | |- | colspan="2" | Bitwise left shift| style="text-align:center;" | a '''<<''' b | | |-| colspan="2" | Bitwise right shift| style="text-align:center;" | a '''>>''' b | | |}Assignment operators
All assignment expressions exist in C and C++ and can be overloaded in C++.
For the given operators the semantic of the built-in combined assignment expression a ⊚= b is equivalent to a = a ⊚ b , except that a is evaluated only once.
Operator name | Syntax | C++ prototype examples |
---|
As member of K | Outside class definitions |
---|
| | | |
---|
Addition assignment | a '''+=''' b | | |
---|
Subtraction assignment | a '''-=''' b | | |
---|
Multiplication assignment | a '''*=''' b | | |
---|
Division assignment | a '''/=''' b | | |
---|
Modulo assignment | a '''%=''' b | | |
---|
Bitwise AND assignment | a '''&=''' b | | |
---|
Bitwise OR assignment | a '''<nowiki>|</nowiki>=''' b | | |-! Bitwise XOR assignment| style="text-align:center;" | a '''^=''' b | | |-! Bitwise left shift assignment| style="text-align:center;" | a '''<<=''' b | | |-! Bitwise right shift assignment| style="text-align:center;" | a '''>>=''' b | | |}Member and pointer operators
Operator name | Syntax | Can overload in C++ | Included in C | C++ prototype examples |
---|
As member of K | Outside class definitions |
---|
Subscript | a'''['''b''']''' a'''<:'''b''':>''' [3] |
| width="25%" | colspan="2" | Indirection ("object pointed to by a") | '''*'''a | | | | | colspan="2" | Address-of ("address of a") | '''&'''a | | | | | colspan="2" | Structure dereference ("member b of object pointed to by a") | a'''->'''b | | |
| | colspan="2" | Structure reference ("member b of object a") | a'''.'''b | | | colspan="2" | colspan="2" | Member selected by pointer-to-member b of object pointed to by a | a'''->*'''b | | | | | colspan="2" | Member of object a selected by pointer-to-member b | a'''.*'''b | | | colspan="2" | |
Other operators
Operator name | Syntax | Can overload in C++ | Included in C | Prototype examples |
---|
As member of K | Outside class definitions |
---|
Function call See Function object. | a'''('''a1, a2''')''' | < | --Overload may accept zero or more arguments.--> | width="25%" |
---|
colspan="2" | | a''',''' b | | | | | colspan="2" | | a '''?''' b ''':''' c | | | colspan="2" | colspan="2" | | a'''::'''b | | | colspan="2" | colspan="2" | User-defined literals since C++11 | <nowiki>"a"_b</nowiki> |
| | | | |
---|
colspan="2" | Sizeof | '''sizeof''' a
'''sizeof''' (R) | | | colspan="2" | colspan="2" | Size of parameter pack since C++11 | '''sizeof...'''(Args) | | | colspan="2" | colspan="2" | Alignof since C++11 | '''alignof'''(R) or '''_Alignof'''(R) | | | colspan="2" | colspan="2" | Decltype since C++11 | '''decltype''' (a)
'''decltype''' (R) | | | colspan="2" | colspan="2" | Type identification | '''typeid'''(a)
'''typeid'''(R) | | | colspan="2" | colspan="2" | Conversion (C-style cast) | (R)a | | | [4] | | colspan="2" | Conversion | R(a)
R{a} since C++11
auto(a) since C++23
auto{a} since C++23 | | | style=font-size:smaller colspan="2" | Note: behaves like const_cast/static_cast/reinterpret_cast. In the last two cases the auto specifier is replaced with the type of the invented variable x declared with auto x(a); (which is never interpreted as a function declaration) or auto x{a}; , respectively. [5] | rowspan="2" colspan="2" | static_cast conversion | '''static_cast'''<R>(a) | rowspan="2" | since C++11 | | colspan="2" style="font-size:smaller;" | Note: for user-defined conversions, the return type implicitly and necessarily matches the operator name unless the type is inferred (e.g., etc.). | colspan="2" | dynamic cast conversion | '''dynamic_cast'''<R>(a) | | | colspan="2" | colspan="2" | const_cast conversion | '''const_cast'''<R>(a) | | | colspan="2" | colspan="2" | reinterpret_cast conversion | '''reinterpret_cast'''<R>(a) | | | colspan="2" | colspan="2" | | '''new''' R | | | | | colspan="2" | Allocate storage (array) | '''new''' R'''['''n''']''' | | | | | colspan="2" | Deallocate storage | '''delete''' a | | | | | colspan="2" | Deallocate storage (array) | '''delete[]''' a | | | | | colspan="2" | Exception check since C++11 | '''noexcept'''(a) | | | |
Notes:
Operator precedence
The following is a table that lists the precedence and associativity of all the operators in the C and C++ languages. Operators are listed top to bottom, in descending precedence. Descending precedence refers to the priority of the grouping of operators and operands. Considering an expression, an operator which is listed on some row will be grouped prior to any operator that is listed on a row further below it. Operators that are in the same cell (there may be several rows of operators listed in a cell) are grouped with the same precedence, in the given direction. An operator's precedence is unaffected by overloading.
The syntax of expressions in C and C++ is specified by a phrase structure grammar.[6] The table given here has been inferred from the grammar. For the ISO C 1999 standard, section 6.5.6 note 71 states that the C grammar provided by the specification defines the precedence of the C operators, and also states that the operator precedence resulting from the grammar closely follows the specification's section ordering:
"The [C] syntax [i.e., grammar] specifies the precedence of operators in the evaluation of an expression, which is the same as the order of the major subclauses of this subclause, highest precedence first."[7]
A precedence table, while mostly adequate, cannot resolve a few details. In particular, note that 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 ? (b, c) : d , and not as the meaningless (a ? b), (c : d) . So, the expression in the middle of the conditional operator (between '''?''' and ''':''' ) is parsed as if parenthesized. Also, note that the immediate, unparenthesized result of a C cast expression cannot be the operand of sizeof . Therefore, sizeof (int) * x is interpreted as (sizeof(int)) * x and not sizeof ((int) * x) .
Precedence | Operator | Description | Associativity |
---|
1highest | :: | Scope resolution (C++ only) | None |
---|
2 | ++ | Postfix increment | Left-to-right |
---|
-- | Postfix decrement |
| Function call | [] | Array subscripting | . | Element selection by reference | -> | Element selection through pointer | typeid | Run-time type information (C++ only) (see typeid) | const_cast | Type cast (C++ only) (see const_cast) | dynamic_cast | Type cast (C++ only) (see dynamic cast) | reinterpret_cast | Type cast (C++ only) (see reinterpret_cast) | static_cast | Type cast (C++ only) (see static_cast) | 3 | ++ | Prefix increment | Right-to-left |
---|
-- | Prefix decrement | + | Unary plus | - | Unary minus |
| | Logical NOT |
---|
~ | Bitwise NOT (ones' complement) | (''type'') | Type cast | * | Indirection (dereference) | & | Address-of | sizeof | Sizeof | _Alignof | Alignment requirement (since C11) | new , new[] | Dynamic memory allocation (C++ only) | delete , delete[] | Dynamic memory deallocation (C++ only) | 4 | .* | Pointer to member (C++ only) | Left-to-right |
---|
->* | Pointer to member (C++ only) | 5 | * | Multiplication | Left-to-right |
---|
/ | Division | % | Modulo (remainder) | 6 | + | Addition | Left-to-right |
---|
- | Subtraction | 7 | << | Bitwise left shift | Left-to-right |
---|
>> | Bitwise right shift | 8 | <=> | Three-way comparison (Introduced in C++20 - C++ only) | Left-to-right |
---|
9 | < | Less than | Left-to-right |
---|
<= | Less than or equal to | > | Greater than | >= | Greater than or equal to | 10 | == | Equal to | Left-to-right |
---|
| = | Not equal to |
---|
11 | & | Bitwise AND | Left-to-right |
---|
12 | ^ | Bitwise XOR (exclusive or) | Left-to-right |
---|
13 | <nowiki>|</nowiki> | Bitwise OR (inclusive or)| Left-to-right|-! 14| && | Logical AND| Left-to-right|-! 15| <nowiki>||</nowiki> | Logical OR | Left-to-right |
---|
16 | co_await | Coroutine processing (C++ only) | Right-to-left |
---|
co_yield | 17 | ?: | Ternary conditional operator | Right-to-left |
---|
= | Direct assignment | += | Assignment by sum | -= | Assignment by difference | *= | Assignment by product | /= | Assignment by quotient | %= | Assignment by remainder | <<= | Assignment by bitwise left shift | >>= | Assignment by bitwise right shift | &= | Assignment by bitwise AND | ^= | Assignment by bitwise XOR | <nowiki>|</nowiki>= | style="border-bottom-style: none; border-top-style: none" | Assignment by bitwise OR|-| style="border-top-style: none" | throw | style="border-top-style: none" | Throw operator (exceptions throwing, C++ only)|-! 18lowest| , | Comma| Left-to-right|}[8] [9] [10] Notes
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(s). The precedence table tells us that: is 'bound' more tightly to than to, so that whatever does (now or later—see below), it does it ONLY to (and not to x*3 ); it is equivalent to (++x , x*3 ).
- 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 (and NOT 3*x ). In fact, the expression (tmp=x++ , 3*tmp ) is evaluated with being a temporary value. It is functionally equivalent to something like (tmp=3*x , ++x , tmp ).
- Abstracting the issue of precedence or binding, consider the diagram above for the expression 3+2*y[i]++. The compiler's job is to resolve the diagram into an expression, one in which several unary operators (call them 3+(.), 2*(.), (.)++ and (.)[i ]) are competing to bind to y. The order of precedence table resolves the final sub-expression they each act upon: (.)[i ] acts only on y, (.)++ acts only on y[i], 2*(.) acts only on y[i]++ and 3+(.) acts 'only' on 2*((y[i])++). 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[i] by the precedence rules but binding levels alone do not indicate the timing of the postfix ++ (the (.)++ operator acts only after y[i] is evaluated in the expression).
Many of the operators containing multi-character sequences are given "names" built from the operator name of each character. For example, += and -= are often called plus equal(s) and minus equal(s), instead of the more verbose "assignment by addition" and "assignment by subtraction".The binding of operators in C and C++ is specified (in the corresponding Standards) 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-expressionwhile in C++ it is:logical-OR-expression ? expression : assignment-expressionHence, the expression:e = a < d ? a++ : a = dis 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-expressionIn C++, it is parsed as:e = (a < d ? a++ : (a = d))which is a valid expression.[11] [12]
If you want to use comma-as-operator within a single function argument, variable assignment, or other comma-separated list, you need to use parentheses,[13] [14] e.g.: int a = 1, b = 2, weirdVariable = (++a, b), d = 4;
Criticism of bitwise and equality operators precedence
The precedence of the bitwise logical operators has been criticized.[15] 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' (i.e. when a Boolean value was expected, for example in it behaved as a logical operator, but in it behaved as a bitwise one). It was retained so as to keep backward compatibility with existing installations.[16]
Moreover, in C++ (and later versions of C) equality operations, with the exception of the three-way comparison operator, yield bool type values which are conceptually a single bit (1 or 0) and as such do not properly belong in "bitwise" operations.
C++ operator synonyms
C++ defines[17] certain keywords to act as aliases for a number of operators:
Keyword | Operator |
---|
| && | | &= | | & | | | | | ~ | | ! | | != | | || | | |= | | ^ | | ^= | |
These can be used exactly the same way as the punctuation symbols they replace, as they are not the same operator under a different name, but rather simple token replacements for the name (character string) of the respective operator. This means that the expressions and have identical meanings. It also means that, for example, the bitand keyword may be used to replace not only the bitwise-and operator but also the address-of operator, and it can even be used to specify reference types (e.g.,). The ISO C specification makes allowance for these keywords as preprocessor macros in the header file . 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 which had no effect as well.
See also
External links
|
|