Movatterモバイル変換

[Moved to DR at the November, 2014 meeting.]

Proposed resolution (February, 2014):

Change 7.6.2.2 [expr.unary.op] paragraph 3 as follows:

The result of the unary& operator is a pointer to itsoperand. The operand shall be an lvalue or aqualified-id. If theoperand is aqualified-id naming a non-staticor variantmemberm of some classC with typeT, the resulthas type “pointer to member of classC of typeT” and is a prvalue designatingC::m. Otherwise...

According to 7.6.2.2 [expr.unary.op] paragraph 3,

The result of the unary& operator is a pointerto its operand. The operand shall be an lvalue oraqualified-id. If the operand isaqualified-id naming a non-static membermof some classC with typeT, the resulthas type “pointer to member of classC of typeT” and is a prvalue designatingC::m.

It is not clear whether this wording applies to variantmembers ofC (i.e., members of nested anonymousunions) or only to its non-variant members. For example,given

  struct A { union { int n; }; };  auto x = &A::n;

should the type ofx beint A::* orint A::anon::*? Current implementationschoose the former.