expression |
Any expression
|
expression ::= assignment-expr | expression , assignment-expr
constant-expr ::= conditional-expr
expr-list ::= assignment-expr | expr-list , assignment-expr
assignment-expr ::= conditional-expr |
logical-or-expr assignment-op assignment-expr | throw-expr
assignment-op ::= = | *= | /= | %= | += | -= | >>= | <<= | &= | and_eq | "|=" |
or_eq | ^= | xor_eq
throw-expr ::= throw [assignment-expr]
conditional-expr ::= logical-or-expr | logical-or-expr ? expression : assignment-expr
logical-or-expr ::= logical-and-expr | logical-or-expr "||" logical-and-expr |
logical-or-expr or logical-and-expr
logical-and-expr ::= inclusive-or-expr | logical-and-expr && inclusive-or-expr |
logical-and-expr and inclusive-or-expr
inclusive-or-expr ::= exclusive-or-expr | inclusive-or-expr "|" exclusive-or-expr |
inclusive-or-expr bitor exclusive-or-expr
exclusive-or-expr ::= and-expr | exclusive-or-expr ^ and-expr |
exclusive-or-expr xor and-expr
inclusive-or-expr ::= equality-expr | and-expr & equality-expr |
and-expr bitand exclusive-or-expr
equality-expr ::= relational-expr | equality-expr == relational-expr |
equality-expr != relational-expr | equality-expr not_eq relational-expr
relational-expr ::= shift-expr | relational-expr < shift-expr |
relational-expr > shift-expr | relational-expr <= shift-expr |
relational-expr >= shift-expr
shift-expr ::= add-expr | shift-expr << add-expr | shift-expr >> add-expr
add-expr ::= mul-expr | add-expr + mul-expr | add-expr - mul-expr
mul-expr ::= pm-expr | mul-expr * pm-expr | mul-expr / pm-expr |
mul-expr % pm-expr
pm-expr ::= cast-expr | pm-expr .* cast-expr | pm-expr ->* cast-expr
cast-expr ::= unary-expr | ( type-id ) cast-expr
unary-expr ::= postfix-expr | ++ cast-expr | -- cast-expr | unary-op cast-expr |
sizeof unary-expr | sizeof ( type-id ) | new-expr | delete-expr
postfix-expr ::= primary-expr | postfix-expr "[" expression "]" |
postfix-expr ( [expr-list] ) | simple-type-specifier ( [expr-list] ) |
typename [::] nested-name :: identifier ( [expr-list] ) |
typename [::] nested-name :: [template] template-id ( [expr-list] ) |
postfix-expr . [template] id-expr | postfix-expr -> [template] id-expr |
postfix-expr . pseudo-dtor-name | postfix-expr -> pseudo-dtor-name |
postfix-expr ++ | postfix-expr -- | const_cast < type-id > ( expression ) |
dynamic_cast < type-id > ( expression ) |
reinterpret_cast < type-id > ( expression ) |
static_cast < type-id > ( expression ) | typeid ( expression ) |
typeid ( type-id )
pseudo-dtor-name ::= [::] [nested-name ::] type-name :: ~ type-name |
[::] nested-name :: template template-id :: ~ type-name
primary-expr ::= literal | this | ( expression ) | id-expr
|
|
An expression represents a value and a type. See Chapter 3 for details about expressions, precedence,
associativity, lvalues and rvalues, and more. Some syntax rules are
presented here and in the various keyword sections. The
new-expr and delete-expr
rules are not duplicated here; see new and
delete for details. The
id-expr rules are under
identifier. See Chapter 1 for
information about literals.
See Also
and, and_eq,
bitand, bitor,
compl, const_cast,
delete, dynamic_cast,
identifier, new,
not, not_eq,
or, or_eq,
reinterpret_cast, sizeof,
static_cast, template,
type, typeid,
xor, xor_eq, Chapter 3
|