7 Expressions [expr]

7.6 Compound expressions [expr.compound]

7.6.2 Unary expressions [expr.unary]

7.6.2.2 Unary operators [expr.unary.op]

The unary * operator performs indirection.

Its operand shall be a prvalue of type “pointer to T”, where T is an object or function type.

The operator yields an lvalue of type T denoting the object or function to which the operand points.

[Note 1:

Indirection through a pointer to an incomplete type (other than cv void) is valid.

The lvalue thus obtained can be used in limited ways (to initialize a reference, for example); this lvalue must not be converted to a prvalue, see [conv.lval].

— end note]

Each of the following unary operators yields a prvalue.

The operand of the unary & operator shall be an lvalue of some type T.

The result is a prvalue.

(3.1)
If the operand is a qualified-id naming a non-static or variant member m of some class C, other than an explicit object member function, the result has type “pointer to member of class C of type T” and designates C::m.
(3.2)
Otherwise, the result has type “pointer to T” and points to the designated object ([intro.memory]) or function ([basic.compound]).

If the operand names an explicit object member function ([dcl.fct]), the operand shall be a qualified-id.

[Note 2:
In particular, taking the address of a variable of type “cv T” yields a pointer of type “pointer to cv T”.
— end note]

[Example 1: struct A { int i; }; struct B : A { }; ... &B::i ... // has type int A::* int a; int* p1 = &a; int* p2 = p1 + 1; // defined behavior bool b = p2 > p1; // defined behavior, with value true — end example]

[Note 3:

A pointer to member formed from a mutable non-static data member ([dcl.stc]) does not reflect the mutable specifier associated with the non-static data member.

— end note]

A pointer to member is only formed when an explicit & is used and its operand is a qualified-id not enclosed in parentheses.

[Note 4:

That is, the expression &(qualified-id), where the qualified-id is enclosed in parentheses, does not form an expression of type “pointer to member”.

Neither does qualified-id, because there is no implicit conversion from a qualified-id for a non-static member function to the type “pointer to member function” as there is from an lvalue of function type to the type “pointer to function” ([conv.func]).

Nor is &unqualified-id a pointer to member, even within the scope of the unqualified-id's class.

— end note]

If & is applied to an lvalue of incomplete class type and the complete type declares operator&(), it is unspecified whether the operator has the built-in meaning or the operator function is called.

The operand of & shall not be a bit-field.

[Note 5:

The address of an overload set ([over]) can be taken only in a context that uniquely determines which function is referred to (see [over.over]).

Since the context can affect whether the operand is a static or non-static member function, the context can also affect whether the expression has type “pointer to function” or “pointer to member function”.

— end note]

The operand of the unary + operator shall have arithmetic, unscoped enumeration, or pointer type and the result is the value of the argument.

Integral promotion is performed on integral or enumeration operands.

The type of the result is the type of the promoted operand.

The operand of the unary - operator shall have arithmetic or unscoped enumeration type and the result is the negative of its operand.

Integral promotion is performed on integral or enumeration operands.

The negative of an unsigned quantity is computed by subtracting its value from

2^{n}

, where n is the number of bits in the promoted operand.

The type of the result is the type of the promoted operand.

[Note 6:

The result is the two's complement of the operand (where operand and result are considered as unsigned).

— end note]

The operand of the logical negation operator ! is contextually converted to bool ([conv]); its value is true if the converted operand is false and false otherwise.

The type of the result is bool.

The operand of the ~ operator shall have integral or unscoped enumeration type.

Integral promotions are performed.

The type of the result is the type of the promoted operand.

Given the coefficients

x_{i}

of the base-2 representation ([basic.fundamental]) of the promoted operand x, the coefficient

r_{i}

of the base-2 representation of the result r is 1 if

x_{i}

is 0, and 0 otherwise.

[Note 7:

The result is the ones' complement of the operand (where operand and result are considered as unsigned).

— end note]

There is an ambiguity in the grammar when ~ is followed by a type-name or decltype-specifier.

The ambiguity is resolved by treating ~ as the operator rather than as the start of an unqualified-id naming a destructor.

[Note 8:

Because the grammar does not permit an operator to follow the ., ->, or :: tokens, a ~ followed by a type-name or decltype-specifier in a member access expression or qualified-id is unambiguously parsed as a destructor name.

— end note]