Skip to content

Commit 39665f5

Browse files
Dawn Perchikzygoloid
authored andcommitted
[range.range] Fix example to clarify who/what is being specialized for/with/on what.
1 parent a7eae9b commit 39665f5

File tree

1 file changed

+12
-6
lines changed

1 file changed

+12
-6
lines changed

source/ranges.tex

Lines changed: 12 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -873,12 +873,18 @@
873873

874874
\pnum
875875
\begin{example}
876-
Specializations of class template \tcode{subrange}\iref{range.subrange}
877-
model \libconcept{safe_range}.
878-
\tcode{subrange} specializes \tcode{enable_safe_range} to \tcode{true}, and
879-
\tcode{subrange}'s iterators
880-
-- since they are ``borrowed'' from some other range --
881-
do not have validity tied to the lifetime of a \tcode{subrange} object.
876+
Each specialization \tcode{S} of class template \tcode{subrange}\iref{range.subrange}
877+
models \libconcept{safe_range} because
878+
\begin{itemize}
879+
\item
880+
\tcode{enable_safe_range<S>} is specialized
881+
to have the value \tcode{true}, and
882+
883+
\item
884+
\tcode{S}'s iterators
885+
do not have validity tied to the lifetime of an \tcode{S} object
886+
because they are ``borrowed'' from some other range.
887+
\end{itemize}
882888
\end{example}
883889
\end{itemdescr}
884890

0 commit comments

Comments
 (0)