Title
Type dependency of __func__
Status
cd4
Section
13.8.3.3 [temp.dep.expr]
Submitter
John Spicer

Created on 2013-09-25.00:00:00 last changed 49 months ago

Messages

Date: 2014-11-15.00:00:00

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

Date: 2014-02-15.00:00:00

Proposed resolution (February, 2014):

Change 13.8.3.3 [temp.dep.expr] paragraph 3 as follows:

An id-expression is type-dependent if it contains

  • an identifier associated by name lookup with one or more declarations declared with a dependent type,

  • an identifier associated by name lookup with one or more declarations of member functions of the current instantiation declared with a return type that contains a placeholder type (9.2.9.6 [dcl.spec.auto]),

  • The identifier __func__ (9.5.1 [dcl.fct.def.general]) where any enclosing function is a template, a member of a class template, or a generic lambda,

  • a template-id that is dependent,

  • ...

Date: 2013-09-25.00:00:00

The length of the __func__ array is implementation-defined but potentially depends on the signature of the function in which it occurs. However, __func__ is not listed among the type-dependent id-expressions in 13.8.3.3 [temp.dep.expr] paragraph 3.

History
Date User Action Args
2017-02-06 00:00:00adminsetstatus: drwp -> cd4
2015-05-25 00:00:00adminsetstatus: dr -> drwp
2015-04-13 00:00:00adminsetmessages: + msg5415
2014-11-24 00:00:00adminsetstatus: ready -> dr
2014-03-03 00:00:00adminsetmessages: + msg4854
2014-03-03 00:00:00adminsetstatus: open -> ready
2013-09-25 00:00:00admincreate