Skip to content

Commit 3d78786

Browse files
burblebeetkoeppe
authored andcommitted
LWG3441 Misleading note about calls to customization points
1 parent 7b7db83 commit 3d78786

File tree

3 files changed

+0
-51
lines changed

3 files changed

+0
-51
lines changed

source/iterators.tex

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7201,8 +7201,6 @@
72017201
\libheaderrefx{unordered_map}{unord.map.syn},
72027202
\libheaderrefx{unordered_set}{unord.set.syn}, and
72037203
\libheaderref{vector}.
7204-
Each of these templates
7205-
is a designated customization point\iref{namespace.std}.
72067204

72077205
\indexlibrary{\idxcode{begin(C\&)}}%
72087206
\begin{itemdecl}

source/lib-intro.tex

Lines changed: 0 additions & 47 deletions
Original file line numberDiff line numberDiff line change
@@ -2863,53 +2863,6 @@
28632863
either a standard library non-static member function\iref{member.functions}
28642864
or an instantiation of a standard library member function template.
28652865

2866-
\pnum
2867-
Other than in namespace \tcode{std}
2868-
or in a namespace
2869-
within namespace \tcode{std},
2870-
a program may provide
2871-
an overload for any library function template
2872-
designated as a \defn{customization point},
2873-
provided that
2874-
(a)
2875-
the overload's declaration depends
2876-
on at least one user-defined type
2877-
and
2878-
(b)
2879-
the overload meets the standard library requirements
2880-
for the customization point.
2881-
\begin{footnote}
2882-
Any library customization point
2883-
must be prepared
2884-
to work adequately
2885-
with any user-defined overload
2886-
that meets the minimum requirements
2887-
of this document.
2888-
Therefore
2889-
an implementation can elect,
2890-
under the as-if rule\iref{intro.execution},
2891-
to provide any customization point
2892-
in the form
2893-
of an instantiated function object\iref{function.objects}
2894-
even though the customization point's specification
2895-
is in the form
2896-
of a function template.
2897-
The template parameters
2898-
of each such function object
2899-
and the function parameters
2900-
and return type
2901-
of the object's \tcode{operator()}
2902-
must match those
2903-
of the corresponding customization point's specification.
2904-
\end{footnote}
2905-
\begin{note}
2906-
This permits
2907-
a (qualified or unqualified) call
2908-
to the customization point
2909-
to invoke the most appropriate overload
2910-
for the given arguments.
2911-
\end{note}
2912-
29132866
\pnum
29142867
A translation unit shall not declare namespace \tcode{std} to be an inline namespace\iref{namespace.def}.
29152868

source/utilities.tex

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -247,8 +247,6 @@
247247

248248
\pnum
249249
\remarks
250-
This function
251-
is a designated customization point\iref{namespace.std}.
252250
The exception specification is equivalent to:
253251

254252
\begin{codeblock}

0 commit comments

Comments
 (0)