Skip to content

Commit f5d4a71

Browse files
committed
Set 4207 to P3, do suggested improvments
1 parent bd5afd1 commit f5d4a71

File tree

1 file changed

+25
-1
lines changed

1 file changed

+25
-1
lines changed

xml/issue4207.xml

Lines changed: 25 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
<section><sref ref="[support.srcloc.cons]"/></section>
77
<submitter>Cassio Neri</submitter>
88
<date>07 Feb 2025</date>
9-
<priority>99</priority>
9+
<priority>3</priority>
1010

1111
<discussion>
1212
<p>
@@ -45,6 +45,30 @@ because it's just "exactly where the `current()` call appear in the source".
4545
The other cases in the Remarks paragraph are situations where the preferred
4646
location is different, because we want to know where it's used, not defined.
4747
</p>
48+
49+
<note>2025-10-23; Reflector poll.</note>
50+
<p>
51+
Set priority to 3 after reflector poll.
52+
</p>
53+
<p>
54+
CWG <a href="https://cplusplus.github.io/CWG/issues/2631.html">2631</a>
55+
clarified the rules for immediate invocation for default function arguments
56+
and member initializers. We should consider rewriting <i>Remarks</i>
57+
to rely on that, and change most of the existing paragraph into normative
58+
note. Also use <i>Recommended practice</i> element, as this is normative
59+
recommendation.
60+
</p>
61+
<p>
62+
The cross reference to <sref ref="[class.mem]"/> should be changed to
63+
<sref ref="[class.mem.general]"/>.
64+
</p>
65+
<p>
66+
The treatment of default template arguments is the subject of CWG
67+
<a href="https://cplusplus.github.io/CWG/issues/1635.html">1635</a>.
68+
An alternative design could be that `source_location` inside default template argument
69+
refers to point of use. It was noted that this does not reflect current behavior
70+
of compilers.
71+
</p>
4872
</discussion>
4973

5074
<resolution>

0 commit comments

Comments
 (0)