[lib] Replace 'this subclause' with numbered subclause references.

Author: jensmaurer

source/concepts.tex

@@ -271,7 +271,7 @@
 \rSec2[concepts.lang.general]{General}
 
 \pnum
-This subclause contains the definition of concepts corresponding to language
+Subclause \ref{concepts.lang} contains the definition of concepts corresponding to language
 features. These concepts express relationships between types, type
 classifications, and fundamental type properties.
 
@@ -814,7 +814,7 @@
 \rSec2[concepts.compare.general]{General}
 
 \pnum
-This subclause describes concepts that establish relationships and orderings
+Subclause \ref{concepts.compare} describes concepts that establish relationships and orderings
 on values of possibly differing object types.
 
 \rSec2[concept.boolean]{Concept \cname{boolean}}
@@ -1072,7 +1072,7 @@
 \rSec2[concepts.callable.general]{General}
 
 \pnum
-The concepts in this subclause describe the requirements on function
+The concepts in subclause \ref{concepts.callable} describe the requirements on function
 objects\iref{function.objects} and their arguments.
 
 \rSec2[concept.invocable]{Concept \cname{invocable}}

source/containers.tex

@@ -7949,7 +7949,7 @@
 An \tcode{unordered_map} meets all of the requirements of a container, of an unordered associative container, and of an allocator-aware container (\tref{container.alloc.req}). It provides the operations described in the preceding requirements table for unique keys; that is, an \tcode{unordered_map} supports the \tcode{a_uniq} operations in that table, not the \tcode{a_eq} operations. For an \tcode{unordered_map<Key, T>} the \tcode{key type} is \tcode{Key}, the mapped type is \tcode{T}, and the value type is \tcode{pair<const Key, T>}.
 
 \pnum
-This subclause only describes operations on \tcode{unordered_map} that
+Subclause~\ref{unord.map} only describes operations on \tcode{unordered_map} that
 are not described in one of the requirement tables, or for which there
 is additional semantic information.
 
@@ -8548,7 +8548,7 @@
 mapped type is \tcode{T}, and the value type is \tcode{pair<const Key, T>}.
 
 \pnum
-This subclause only describes operations on \tcode{unordered_multimap}
+Subclause~\ref{unord.multimap} only describes operations on \tcode{unordered_multimap}
 that are not described in one of the requirement tables, or for which
 there is additional semantic information.
 
@@ -8919,7 +8919,7 @@
 An \tcode{unordered_set} meets all of the requirements of a container, of an unordered associative container, and of an allocator-aware container (\tref{container.alloc.req}). It provides the operations described in the preceding requirements table for unique keys; that is, an \tcode{unordered_set} supports the \tcode{a_uniq} operations in that table, not the \tcode{a_eq} operations. For an \tcode{unordered_set<Key>} the \tcode{key type} and the value type are both \tcode{Key}. The \tcode{iterator} and \tcode{const_iterator} types are both constant iterator types. It is unspecified whether they are the same type.
 
 \pnum
-This subclause only describes operations on \tcode{unordered_set} that
+Subclause~\ref{unord.set} only describes operations on \tcode{unordered_set} that
 are not described in one of the requirement tables, or for which there
 is additional semantic information.
 
@@ -9248,7 +9248,7 @@
 constant iterator types. It is unspecified whether they are the same type.
 
 \pnum
-This subclause only describes operations on \tcode{unordered_multiset} that
+Subclause~\ref{unord.multiset} only describes operations on \tcode{unordered_multiset} that
 are not described in one of the requirement tables, or for which there
 is additional semantic information.
 

source/diagnostics.tex

@@ -829,8 +829,7 @@
 to identify the source and encoding of a particular category of error code.
 Classes may be derived from \tcode{error_category} to support
 categories of errors in addition to those defined in this document.
-Such classes shall behave as specified in this
-subclause~\ref{syserr.errcat}.
+Such classes shall behave as specified in subclause~\ref{syserr.errcat}.
 \begin{note}
 \tcode{error_category} objects are
 passed by reference, and two such objects

source/iostreams.tex

@@ -9183,7 +9183,7 @@
 \end{note}
 
 \pnum
-In this subclause, member functions taking arguments of \tcode{const filesystem::path::value_type*}
+In subclause~\ref{file.streams}, member functions taking arguments of \tcode{const filesystem::path::value_type*}
 are only be provided on systems where \tcode{filesystem::path::value_type}\iref{fs.class.path} is not \tcode{char}.
 \begin{note}
 These functions enable class \tcode{path} support for systems with a wide native path character type, such as \tcode{wchar_t}.
@@ -11265,7 +11265,7 @@
 \rSec2[fs.general]{General}
 
 \pnum
-This subclause describes operations on file systems and their components, such as paths,
+Subclause~\ref{filesystems} describes operations on file systems and their components, such as paths,
 regular files, and directories.
 
 \pnum
@@ -11374,7 +11374,7 @@
 when multiple threads, processes, or computers interleave access and
 modification of
 the same object within a file system.
-Behavior is undefined if calls to functions provided by this subclause introduce a file system race.
+Behavior is undefined if calls to functions provided by subclause~\ref{fs.race.behavior} introduce a file system race.
 
 \pnum
 If the possibility of a file system race would make it unreliable for a
@@ -11389,7 +11389,7 @@
 \rSec2[fs.norm.ref]{Normative references}
 
 \pnum
-This subclause mentions commercially
+Subclause~\ref{filesystems} mentions commercially
 available operating systems for purposes of exposition.\footnote{
 POSIX\textregistered\ is a registered trademark of The IEEE\@.
 Windows\textregistered\ is a registered trademark of Microsoft Corporation.
@@ -11401,7 +11401,7 @@
 \rSec2[fs.req]{Requirements}
 
 \pnum
-Throughout this subclause, \tcode{char}, \tcode{wchar_t}, \tcode{char8_t},
+Throughout subclause~\ref{filesystems}, \tcode{char}, \tcode{wchar_t}, \tcode{char8_t},
 \tcode{char16_t}, and \tcode{char32_t} are collectively called
 \defnx{encoded character types}{encoded character type}.
 
@@ -11431,8 +11431,8 @@
 \rSec3[fs.req.namespace]{Namespaces and headers}
 
 \pnum
-Unless otherwise specified, references to entities described in this
-subclause are assumed to be qualified with \tcode{::std::filesystem::}.
+Unless otherwise specified, references to entities described in
+subclause~\ref{filesystems} are assumed to be qualified with \tcode{::std::filesystem::}.
 
 \rSec2[fs.filesystem.syn]{Header \tcode{<filesystem>} synopsis}
 
@@ -13596,8 +13596,8 @@
 \end{codeblock}
 \pnum
 The class \tcode{filesystem_error} defines the type of
-objects thrown as exceptions to report file system errors from functions described in this
-subclause.
+objects thrown as exceptions to report file system errors from functions described in
+subclause~\ref{filesystems}.
 
 \rSec3[fs.filesystem.error.members]{Members}
 

source/ranges.tex

@@ -1132,7 +1132,7 @@
 \rSec2[range.utility.helpers]{Helper concepts}
 
 \pnum
-Many of the types in this subclause are specified in terms of
+Many of the types in subclause~\ref{range.utility} are specified in terms of
 the following exposition-only concepts:
 
 \begin{codeblock}

source/regex.tex

@@ -2556,7 +2556,7 @@
 
 \rSec2[re.except]{Exceptions}
 \pnum
-The algorithms described in this subclause may throw an exception
+The algorithms described in subclause~\ref{re.alg} may throw an exception
 of type \tcode{regex_error}. If such an exception \tcode{e} is thrown,
 \tcode{e.code()} shall return either \tcode{regex_constants::error_complexity}
 or \tcode{regex_constants::error_stack}.

source/support.tex

@@ -4079,7 +4079,7 @@
 an argument other than a literal \tcode{0} is undefined.
 
 \pnum
-For the purposes of this subclause,
+For the purposes of subclause \ref{cmp.categories},
 \defn{substitutability} is the property that \tcode{f(a) == f(b)} is \tcode{true}
 whenever \tcode{a == b} is true,
 where \tcode{f} denotes a function that reads only comparison-salient state

source/threads.tex

@@ -5974,7 +5974,7 @@
 \rSec2[futures.state]{Shared state}
 
 \pnum
-Many of the classes introduced in this subclause use some state to communicate results. This
+Many of the classes introduced in subclause~\ref{futures} use some state to communicate results. This
 \indextext{shared state|see{future, shared state}}
 \defnx{shared state}{future!shared state} consists of some state information and some (possibly not
 yet evaluated) \term{result}, which can be a (possibly void) value or an exception.

source/utilities.tex

@@ -960,7 +960,7 @@
 
 \pnum
 \indexlibraryglobal{tuple}%
-This subclause describes the tuple library that provides a tuple type as
+Subclause~\ref{tuple} describes the tuple library that provides a tuple type as
 the class template \tcode{tuple} that can be instantiated with any number
 of arguments. Each template argument specifies
 the type of an element in the \tcode{tuple}.  Consequently, tuples are
@@ -2123,7 +2123,7 @@
 \rSec2[optional.general]{In general}
 
 \pnum
-This subclause describes class template \tcode{optional} that represents
+Subclause~\ref{optional} describes class template \tcode{optional} that represents
 optional objects.
 An \defn{optional object} is an
 object that contains the storage for another object and manages the lifetime of
@@ -6495,7 +6495,7 @@
 \rSec2[memory.general]{In general}
 
 \pnum
-This subclause describes the contents of the header
+Subclause~\ref{memory} describes the contents of the header
 \libheaderref{memory} and some
 of the contents of the header \libheaderref{cstdlib}.
 
@@ -16233,7 +16233,7 @@
 The behavior of a program is undefined if:
 \begin{itemize}
 \item
-  an instantiation of a template specified in this subclause
+  an instantiation of a template specified in subclause~\ref{meta}
   directly or indirectly depends on
   an incompletely-defined object type \tcode{T}, and
 \item
@@ -18465,13 +18465,13 @@
 
 \pnum
 \indexlibraryglobal{ratio}%
-This subclause describes the ratio library. It provides a class template
+Subclause~\ref{ratio} describes the ratio library. It provides a class template
 \tcode{ratio} which exactly represents any finite rational number with a
 numerator and denominator representable by compile-time constants of type
 \tcode{intmax_t}.
 
 \pnum
-Throughout this subclause, the names of template parameters are used to express
+Throughout subclause~\ref{ratio}, the names of template parameters are used to express
 type requirements. If a template parameter is named \tcode{R1} or \tcode{R2},
 and the template argument is not a specialization of the \tcode{ratio} template,
 the program is ill-formed.
@@ -18863,7 +18863,7 @@
 \rSec2[execpol.general]{In general}
 
 \pnum
-This subclause describes classes that are \defn{execution policy} types. An
+Subclause~\ref{execpol} describes classes that are \defn{execution policy} types. An
 object of an execution policy type indicates the kinds of parallelism allowed
 in the execution of an algorithm and expresses the consequent requirements on
 the element access functions.