Movatterモバイル変換

[Moved to DR at the April, 2013 meeting.]

Proposed resolution (February, 2013):

Change 12.3 [over.over] paragraph 1 as follows:

...The target can be

• an object or reference being initialized(9.5 [dcl.init], 9.5.4 [dcl.init.ref],9.5.5 [dcl.init.list]),

• ...

Presumably, 12.3 [over.over] paragraph 1,

A use of an overloaded function name without arguments is resolved incertain contexts to a function, a pointer to function or a pointer tomember function for a specific function from the overload set. Afunction template name is considered to name a set of overloadedfunctions in such contexts. The function selected is the one whosetype is identical to the function type of the target type required inthe context. [Note: That is, the class of which the functionis a member is ignored when matching a pointer-to-member-functiontype. —end note] The target can be

• an object or reference being initialized (9.5 [dcl.init],9.5.4 [dcl.init.ref]),

• ...

should apply to an example like

  double bar(double) { return 0.0; }  float bar(float) { return 0.0f; }  using fun = double(double);  fun &foo{bar};

However, there is implementation variance in whether the use ofbar is accepted or not, and the omission of a cross-referenceto 9.5.5 [dcl.init.list] might be read as indicating thatlist-initialization is not included.