Skip to content

Commit b3d69e6

Browse files
committed
[range.view] Add complexity requirement normatively
1 parent bfc51b5 commit b3d69e6

File tree

1 file changed

+6
-3
lines changed

1 file changed

+6
-3
lines changed

source/ranges.tex

Lines changed: 6 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -828,9 +828,7 @@
828828

829829
\pnum
830830
The \tcode{View} concept specifies the requirements of a \libconcept{Range} type
831-
that has constant time copy, move, and assignment operators; that is, the cost of
832-
these operations is not proportional to the number of elements in the
833-
\tcode{View}.
831+
that has constant time copy, move, and assignment operators.
834832

835833
\pnum
836834
\begin{example}
@@ -866,6 +864,11 @@
866864
\end{itemdecl}
867865

868866
\begin{itemdescr}
867+
\pnum
868+
\tcode{T} models \libconcept{View} only if the execution time
869+
for the the initializations and assignments required by \libconcept{Copyable<T>}
870+
is not proportional to the number of elements in \tcode{T}.
871+
869872
\pnum
870873
For a type \tcode{T}, the default value of \tcode{enable_view<T>} is:
871874
\begin{itemize}

0 commit comments

Comments
 (0)