12 Overloading [over]

A class member access operator function is a function named operator-> that is a non-static member function taking no parameters.

For an expression of the form

postfix-expression -> template${}_{opt}$ id-expression

the operator function is selected by overload resolution ([over.match.oper]), and the expression is interpreted as

( postfix-expression . operator -> () ) -> template${}_{opt}$ id-expression