Hi,

In [expr.ref], there is:

-----------------------------------------------
If E2 is declared to have type “reference to T”, then E1.E2 is an lvalue of type
T. If E2 is a static data member, E1.E2 designates the object or function to
which the reference is bound, otherwise E1.E2 designates the object or function
to which the corresponding reference member of E1 is bound. Otherwise, one of
the following rules applies.
-----------------------------------------------

"E1.E2 designates the object or function to which the reference is bound"
conflicts with "If E2 is a static data member"

What does it mean ?
One bit's saying it's an object and another saying it's a function.

Now take: "E1.E2 designates the object or function to which the reference is
bound, otherwise E1.E2 designates the object or function to which the
corresponding reference member of E1 is bound". Isn't that two sentences saying
the same thing ?