Pointers to Members

Syntax

  pointer_to_member_expression:
      cast_expression
      pointer_to_member_expression .* cast_expression
      pointer_to_member_expression -> cast_expression

Notes

In the above syntax statement:

• cast_expression must be a pointer to a member of a class (T say),

• pointer_to_member_expression must be either an instance of the class T or an instance of an accessible, unambiguous base class of T (for operator.*) or a pointer to such an instance (for operator->) and

• the return type matches the type of the member pointed to.

If the resultant type is a method, the only use to which it can be put is in a function call. The resultant type is an lvalue only if the member being pointed to is an lvalue.