Skip to content

Commit

Permalink
[range.view] Move note outside of list.
Browse files Browse the repository at this point in the history
  • Loading branch information
tkoeppe committed Oct 22, 2021
1 parent 12c32b9 commit 65ec10a
Showing 1 changed file with 7 additions and 5 deletions.
12 changes: 7 additions & 5 deletions source/ranges.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1258,11 +1258,7 @@
\item
if $N$ copies and/or moves are made from an object of type \tcode{T}
that contained $M$ elements,
then those $N$ objects have \bigoh{N+M} destruction
\begin{note}
This implies that a moved-from object of type \tcode{T} has \bigoh{1} destruction
\end{note}%
; and
then those $N$ objects have \bigoh{N+M} destruction; and

\item
\tcode{\libconcept{copy_constructible}<T>} is \tcode{false}, or
Expand All @@ -1274,6 +1270,12 @@
is no more complex than destruction followed by copy construction.
\end{itemize}

\pnum
\begin{note}
The constraints on copying and moving imply that
a moved-from object of type \tcode{T} has \bigoh{1} destruction.
\end{note}

\pnum
\begin{example}
Examples of \libconcept{view}s are:
Expand Down

0 comments on commit 65ec10a

Please sign in to comment.