From Jason Turner

[contents]

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmp_2yj49mm/{from.md → to.md} +30 -9
tmp/tmp_2yj49mm/{from.md → to.md} RENAMED
@@ -4,15 +4,36 @@ The C++ standard library provides definitions for the entities and
4
  macros described in the synopses of the C++ standard library headers
5
  [[headers]], unless otherwise specified.
6
 
7
  All library entities except `operator new` and `operator delete` are
8
  defined within the namespace `std` or namespaces nested within namespace
9
- `std`.[^12] It is unspecified whether names declared in a specific
10
- namespace are declared directly in that namespace or in an inline
11
- namespace inside that namespace.[^13]
12
-
13
- Whenever a name `x` defined in the standard library is mentioned, the
14
- name `x` is assumed to be fully qualified as `::std::x`, unless
15
- explicitly described otherwise. For example, if the *Effects:* element
16
- for library function `F` is described as calling library function `G`,
17
- the function `::std::G` is meant.
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
18
 
 
4
  macros described in the synopses of the C++ standard library headers
5
  [[headers]], unless otherwise specified.
6
 
7
  All library entities except `operator new` and `operator delete` are
8
  defined within the namespace `std` or namespaces nested within namespace
9
+ `std`.[^12]
10
+
11
+ It is unspecified whether names declared in a specific namespace are
12
+ declared directly in that namespace or in an inline namespace inside
13
+ that namespace.[^13]
14
+
15
+ Whenever an unqualified name other than `swap`, `make_error_code`, or
16
+ `make_error_condition` is used in the specification of a declaration `D`
17
+ in [[support]] through [[thread]] or [[depr]], its meaning is
18
+ established as-if by performing unqualified name lookup
19
+ [[basic.lookup.unqual]] in the context of `D`.
20
+
21
+ [*Note 1*: Argument-dependent lookup is not performed. — *end note*]
22
+
23
+ Similarly, the meaning of a *qualified-id* is established as-if by
24
+ performing qualified name lookup [[basic.lookup.qual]] in the context of
25
+ `D`.
26
+
27
+ [*Example 1*: The reference to `is_array_v` in the specification of
28
+ `std::to_array` [[array.creation]] refers to
29
+ `::std::is_array_v`. — *end example*]
30
+
31
+ [*Note 2*: Operators in expressions [[over.match.oper]] are not so
32
+ constrained; see [[global.functions]]. — *end note*]
33
+
34
+ The meaning of the unqualified name `swap` is established in an overload
35
+ resolution context for swappable values [[swappable.requirements]]. The
36
+ meanings of the unqualified names `make_error_code` and
37
+ `make_error_condition` are established as-if by performing
38
+ argument-dependent lookup [[basic.lookup.argdep]].
39