Skip to content

Commit 6d9db6a

Browse files
committed
[range.view] Make the requirement for constant-time move operations and
destruction explicit in the description of when a type models view.
1 parent 1dd384a commit 6d9db6a

File tree

1 file changed

+10
-2
lines changed

1 file changed

+10
-2
lines changed

source/ranges.tex

Lines changed: 10 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -902,8 +902,7 @@
902902
The \libconcept{view} concept specifies the requirements of a \libconcept{range} type
903903
that has constant time move construction, move assignment, and destruction;
904904
that is, the cost of these operations is
905-
% FIXME: Shouldn't this be "independent of the number of elements"?
906-
not proportional to the number of elements in the \tcode{view}.
905+
independent of the number of elements in the \tcode{view}.
907906

908907
\begin{itemdecl}
909908
template<class T>
@@ -915,6 +914,15 @@
915914
\pnum
916915
\tcode{T} models \libconcept{view} only if:
917916
\begin{itemize}
917+
\item
918+
\tcode{T} has \bigoh{1} move construction; and
919+
920+
\item
921+
\tcode{T} has \bigoh{1} move assignment; and
922+
923+
\item
924+
\tcode{T} has \bigoh{1} destruction; and
925+
918926
\item
919927
\tcode{copy_constructible<T>} is \tcode{false}, or
920928
\tcode{T} has \bigoh{1} copy construction; and

0 commit comments

Comments
 (0)