Commit 7756db9

\indextext{name!address of cv-qualified}%

\indextext{expression!pointer-to-member constant}%

The result of the unary \tcode{\&} operator is a pointer to its operand.

If the operand is a \grammarterm{qualified-id} naming a non-static or variant member \tcode{m}

of some class \tcode{C} with type \tcode{T}, the result has type ``pointer to member

of class \tcode{C} of type \tcode{T}'' and is a prvalue designating \tcode{C::m}.

\tcode{T}'' and is a prvalue that is the address of the designated object\iref{intro.memory}

or a pointer to the designated function. \begin{note} In particular, the address of an

object of type ``\cv{}~\tcode{T}'' is ``pointer to \cv{}~\tcode{T}'', with the same

an object that is not an array element whose

address is taken in this way is considered to belong to an array with one

element of type \tcode{T}.

\begin{example}

\begin{codeblock}

struct A { int i; };

struct B : A { };