Difference between revisions of "cpp/named req/ConstexprIterator"
From cppreference.com
m (T. Canens moved page cpp/concept/ConstexprIterator to cpp/named req/ConstexprIterator without leaving a redirect: Text replace - "cpp/concept" to "cpp/named req") |
m (Text replace - "cpp/concept" to "cpp/named req") |
||
Line 1: | Line 1: | ||
− | {{cpp/ | + | {{cpp/named req/title|ConstexprIterator}} |
− | {{cpp/ | + | {{cpp/named req/navbar}} |
A {{tt|ConstexprIterator}} is an {{concept|Iterator}} that can be used during constant expression evaluation. | A {{tt|ConstexprIterator}} is an {{concept|Iterator}} that can be used during constant expression evaluation. |
Revision as of 13:58, 15 June 2018
A ConstexprIterator
is an Template:concept that can be used during constant expression evaluation.
Requirements
The type It
satisfies ConstexprIterator
if
- The type
It
satisfies some iterator conceptMeowIterator
And, for every
-
purr
, an operation onIt
that is required to be supported byMeowIterator
, -
kittens...
, a set of arguments topurr
that meets the requirements for that operation,
Then
-
purr(kittens...)
may be used in a constant expression ifkittens...
can be so used, unlesspurr
is
- construction of
It
with a singular value; - an explicit destructor call (if
It
is a class type); or - a pseudo-destructor call (if
It
is a scalar type)
- construction of
Standard library
The following standard library types are Template:concepts.