From 3d78786fe24c69f417b669bc2119c58cd1f53ffb Mon Sep 17 00:00:00 2001 From: Dawn Perchik Date: Tue, 14 Feb 2023 11:53:51 -0800 Subject: [PATCH] LWG3441 Misleading note about calls to customization points --- source/iterators.tex | 2 -- source/lib-intro.tex | 47 -------------------------------------------- source/utilities.tex | 2 -- 3 files changed, 51 deletions(-) diff --git a/source/iterators.tex b/source/iterators.tex index de0ffa2285..efaba781c2 100644 --- a/source/iterators.tex +++ b/source/iterators.tex @@ -7201,8 +7201,6 @@ \libheaderrefx{unordered_map}{unord.map.syn}, \libheaderrefx{unordered_set}{unord.set.syn}, and \libheaderref{vector}. -Each of these templates -is a designated customization point\iref{namespace.std}. \indexlibrary{\idxcode{begin(C\&)}}% \begin{itemdecl} diff --git a/source/lib-intro.tex b/source/lib-intro.tex index c5c7932d78..d99c4ec61d 100644 --- a/source/lib-intro.tex +++ b/source/lib-intro.tex @@ -2863,53 +2863,6 @@ either a standard library non-static member function\iref{member.functions} or an instantiation of a standard library member function template. -\pnum -Other than in namespace \tcode{std} -or in a namespace -within namespace \tcode{std}, -a program may provide -an overload for any library function template -designated as a \defn{customization point}, -provided that -(a) -the overload's declaration depends -on at least one user-defined type -and -(b) -the overload meets the standard library requirements -for the customization point. -\begin{footnote} -Any library customization point -must be prepared -to work adequately -with any user-defined overload -that meets the minimum requirements -of this document. -Therefore -an implementation can elect, -under the as-if rule\iref{intro.execution}, -to provide any customization point -in the form -of an instantiated function object\iref{function.objects} -even though the customization point's specification -is in the form -of a function template. -The template parameters -of each such function object -and the function parameters -and return type -of the object's \tcode{operator()} -must match those -of the corresponding customization point's specification. -\end{footnote} -\begin{note} -This permits -a (qualified or unqualified) call -to the customization point -to invoke the most appropriate overload -for the given arguments. -\end{note} - \pnum A translation unit shall not declare namespace \tcode{std} to be an inline namespace\iref{namespace.def}. diff --git a/source/utilities.tex b/source/utilities.tex index 60fda79650..683f0dc455 100644 --- a/source/utilities.tex +++ b/source/utilities.tex @@ -247,8 +247,6 @@ \pnum \remarks -This function -is a designated customization point\iref{namespace.std}. The exception specification is equivalent to: \begin{codeblock}