Skip to content

Commit 0dc8ca4

Browse files
committed
[contents,fs.req.namespace] No argument-dependent lookup
is performed for function calls throughout the standard library, unless otherwise specified.
1 parent a07890b commit 0dc8ca4

File tree

3 files changed

+9
-14
lines changed

3 files changed

+9
-14
lines changed

source/iostreams.tex

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -10787,12 +10787,6 @@
1078710787
Template parameters named \tcode{Allocator} shall satisfy the
1078810788
\oldconcept{Allocator} requirements (\tref{utilities.allocator.requirements}).
1078910789

10790-
\rSec3[fs.req.namespace]{Namespaces and headers}
10791-
10792-
\pnum
10793-
Unless otherwise specified, references to entities described in this
10794-
subclause are assumed to be qualified with \tcode{::std::filesystem::}.
10795-
1079610790
\rSec2[fs.filesystem.syn]{Header \tcode{<filesystem>} synopsis}
1079710791
\indexhdr{filesystem}%
1079810792

source/lib-intro.tex

Lines changed: 6 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1156,14 +1156,12 @@
11561156
support multiple configurations of the library.}
11571157

11581158
\pnum
1159-
Whenever a name \tcode{x} defined in the standard library is mentioned,
1160-
the name \tcode{x} is assumed to be fully qualified as
1161-
\tcode{::std::x},
1162-
unless explicitly described otherwise. For example, if the \effects element
1163-
for library function \tcode{F} is described as calling library function \tcode{G},
1164-
the function
1165-
\tcode{::std::G}
1166-
is meant.
1159+
Unless otherwise specified, if a standard library facility
1160+
is described as calling a library function,
1161+
argument-dependent lookup\iref{basic.lookup.argdep} is not performed.
1162+
\begin{note}
1163+
An implementation could use \grammarterm{qualified-id}{s} to achieve that.
1164+
\end{note}
11671165

11681166
\rSec3[headers]{Headers}
11691167

source/xrefdelta.tex

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -155,6 +155,9 @@
155155

156156
\movedxref{class.copy}{class.mem}
157157

158+
% Consolidated boilerplate about argument-dependent lookup in [contents].
159+
\removedxref{fs.req.namespace}
160+
158161
% Deprecated features.
159162
%\deprxref{old.label} (if moved to depr.old.label, otherwise use \movedxref)
160163

0 commit comments

Comments
 (0)