From fdf3a92dcfae5b2f87fd646243f156ddfd5c7f6c Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Mon, 13 May 2024 19:30:38 +0200 Subject: [PATCH] [std] Remove mid-sentence 'subclause' introducer Fixes ISO/CS comment (C++23 proof) --- source/concepts.tex | 2 +- source/containers.tex | 12 ++++++------ source/expressions.tex | 2 +- source/iostreams.tex | 2 +- source/lib-intro.tex | 2 +- source/locales.tex | 2 +- source/memory.tex | 2 +- source/preface.tex | 2 +- source/ranges.tex | 4 ++-- source/support.tex | 2 +- source/utilities.tex | 6 +++--- 11 files changed, 19 insertions(+), 19 deletions(-) diff --git a/source/concepts.tex b/source/concepts.tex index 0508cb542b7..ea407941327 100644 --- a/source/concepts.tex +++ b/source/concepts.tex @@ -1222,7 +1222,7 @@ \rSec2[concepts.callable.general]{General} \pnum -The concepts in subclause \ref{concepts.callable} describe the requirements on function +The concepts in \ref{concepts.callable} describe the requirements on function objects\iref{function.objects} and their arguments. \rSec2[concept.invocable]{Concept \cname{invocable}} diff --git a/source/containers.tex b/source/containers.tex index c2d11138877..7f021663253 100644 --- a/source/containers.tex +++ b/source/containers.tex @@ -74,7 +74,7 @@ \rSec3[container.intro.reqmts]{Introduction} \pnum -In subclause \ref{container.requirements.general}, +In \ref{container.requirements.general}, \begin{itemize} \item \tcode{X} denotes a container class containing objects of type \tcode{T}, @@ -19128,7 +19128,7 @@ The class template \tcode{extents} represents a multidimensional index space of rank equal to \tcode{sizeof...(Extents)}. -In subclause \iref{views}, +In \iref{views}, \tcode{extents} is used synonymously with multidimensional index space. \begin{codeblock} @@ -19539,7 +19539,7 @@ \rSec4[mdspan.layout.general]{General} \pnum -In subclauses \ref{mdspan.layout.reqmts} and \ref{mdspan.layout.policy.reqmts}: +In \ref{mdspan.layout.reqmts} and \ref{mdspan.layout.policy.reqmts}: \begin{itemize} \item @@ -19566,7 +19566,7 @@ \end{itemize} \pnum -In subclauses \ref{mdspan.layout.reqmts} through \ref{mdspan.layout.stride}: +In \ref{mdspan.layout.reqmts} through \ref{mdspan.layout.stride}: \begin{itemize} \item Let \exposid{is-mapping-of} be the exposition-only variable template defined as follows: @@ -22225,7 +22225,7 @@ the accessor policy's \tcode{access} function produces a valid reference to an object. \pnum -In subclause \ref{mdspan.accessor.reqmts}, +In \ref{mdspan.accessor.reqmts}, \begin{itemize} \item @@ -23016,7 +23016,7 @@ the \tcode{SliceSpecifier} arguments. \pnum -For each function defined in subclause \ref{mdspan.sub} that +For each function defined in \ref{mdspan.sub} that takes a parameter pack named \tcode{slices} as an argument: \begin{itemize} diff --git a/source/expressions.tex b/source/expressions.tex index 683b30137f3..e1b8777f7eb 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -53,7 +53,7 @@ considered where necessary to convert the operands to types appropriate for the built-in operator. If a built-in operator is selected, such conversions will be applied to the operands before the operation is -considered further according to the rules in subclause \ref{expr.compound}; +considered further according to the rules in \ref{expr.compound}; see~\ref{over.match.oper}, \ref{over.built}. \pnum diff --git a/source/iostreams.tex b/source/iostreams.tex index 101e063a367..095825538cf 100644 --- a/source/iostreams.tex +++ b/source/iostreams.tex @@ -10002,7 +10002,7 @@ \begin{note} A user of these classes is responsible for ensuring that the character sequence represented by the given \tcode{span} -outlives the use of the sequence by objects of the classes in subclause \ref{span.streams}. +outlives the use of the sequence by objects of the classes in \ref{span.streams}. Using multiple \tcode{basic_spanbuf} objects referring to overlapping underlying sequences from different threads, where at least one \tcode{basic_spanbuf} object is used diff --git a/source/lib-intro.tex b/source/lib-intro.tex index c4eef90633e..6529cf7e589 100644 --- a/source/lib-intro.tex +++ b/source/lib-intro.tex @@ -2054,7 +2054,7 @@ allocators. \pnum -In subclause \ref{allocator.requirements}, +In \ref{allocator.requirements}, \begin{itemize} \item \tcode{T}, \tcode{U}, \tcode{C} denote diff --git a/source/locales.tex b/source/locales.tex index 26ea8412008..bf161328356 100644 --- a/source/locales.tex +++ b/source/locales.tex @@ -959,7 +959,7 @@ but set to \tcode{ios_base::failbit} in case of a parse error. \pnum -Within subclause \ref{locale.categories} it is unspecified whether +Within \ref{locale.categories} it is unspecified whether one virtual function calls another virtual function. \rSec2[category.ctype]{The \tcode{ctype} category} diff --git a/source/memory.tex b/source/memory.tex index 1a80d14ed0f..26c5d91fd71 100644 --- a/source/memory.tex +++ b/source/memory.tex @@ -3275,7 +3275,7 @@ reflect modifications that can introduce data races. \pnum -For the purposes of subclause \ref{smartptr}, +For the purposes of \ref{smartptr}, a pointer type \tcode{Y*} is said to be \defnx{compatible with}{compatible with!\idxcode{shared_ptr}} a pointer type \tcode{T*} when either diff --git a/source/preface.tex b/source/preface.tex index b77caca8730..6e0b3fa036a 100644 --- a/source/preface.tex +++ b/source/preface.tex @@ -9,7 +9,7 @@ \chapter{Introduction} Clauses and subclauses in this document are annotated with a so-called stable name, presented in square brackets next to the (sub)clause heading -(such as ``[lex.token]'' for subclause \ref{lex.token}, ``Tokens''). +(such as ``[lex.token]'' for \ref{lex.token}, ``Tokens''). Stable names aid in the discussion and evolution of this document by serving as stable references to subclauses across editions that are unaffected by changes of subclause numbering. diff --git a/source/ranges.tex b/source/ranges.tex index 415826deeb0..5df124dda30 100644 --- a/source/ranges.tex +++ b/source/ranges.tex @@ -1627,7 +1627,7 @@ \rSec2[range.utility.helpers]{Helper concepts} \pnum -Many of the types in subclause~\ref{range.utility} are specified in terms of +Many of the types in \ref{range.utility} are specified in terms of the following exposition-only concepts: \begin{codeblock} @@ -4233,7 +4233,7 @@ \rSec2[range.nonprop.cache]{Non-propagating cache} \pnum -Some types in subclause \ref{range.adaptors} are specified in terms of +Some types in \ref{range.adaptors} are specified in terms of an exposition-only class template \exposid{non-propagating-\brk{}cache}. \tcode{\exposid{non-propagating-cache}} behaves exactly like \tcode{optional} with the following differences: diff --git a/source/support.tex b/source/support.tex index 9924cbdabdd..42ba554db12 100644 --- a/source/support.tex +++ b/source/support.tex @@ -4332,7 +4332,7 @@ an argument other than a literal \tcode{0} is undefined. \pnum -For the purposes of subclause \ref{cmp.categories}, +For the purposes of \ref{cmp.categories}, \defn{substitutability} is the property that \tcode{f(a) == f(b)} is \tcode{true} whenever \tcode{a == b} is \tcode{true}, where \tcode{f} denotes a function that reads only comparison-salient state diff --git a/source/utilities.tex b/source/utilities.tex index f856a423b48..447dad5d8c9 100644 --- a/source/utilities.tex +++ b/source/utilities.tex @@ -4873,7 +4873,7 @@ These template arguments are called alternatives. \pnum -In subclause \ref{variant}, +In \ref{variant}, \exposid{GET} denotes a set of exposition-only function templates\iref{variant.get}. @@ -11026,7 +11026,7 @@ The template parameter \tcode{T} of \tcode{reference_wrapper} may be an incomplete type. \begin{note} -Using the comparison operators described in subclause \ref{refwrap.comparisons} +Using the comparison operators described in \ref{refwrap.comparisons} with \tcode{T} being an incomplete type can lead to an ill-formed program with no diagnostic required\iref{temp.point,temp.constr.atomic}. @@ -14312,7 +14312,7 @@ that models \libconcept{copyable}. \pnum -Within subclause \ref{func.wrap.ref}, +Within \ref{func.wrap.ref}, \tcode{\placeholder{call-args}} is an argument pack with elements such that \tcode{decltype((\placeholder{call-args}\linebreak{}))...} denote \tcode{Args\&\&...} respectively.