Difference between revisions of "cpp/named req/ConstexprIterator"
From cppreference.com
(→Requirements: until 20) |
(the named requirement is since c++20 itself...) |
||
Line 15: | Line 15: | ||
Then | Then | ||
− | * {{tt|purr(kittens...)}} may be used in a constant expression if {{tt|kittens...}} can be so used | + | * {{tt|purr(kittens...)}} may be used in a constant expression if {{tt|kittens...}} can be so used |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
===Standard library=== | ===Standard library=== |
Revision as of 09:16, 11 February 2020
A ConstexprIterator is an LegacyIterator that can be used during constant expression evaluation.
Requirements
The type It
satisfies ConstexprIterator if
- The type
It
satisfies some iterator requirements MeowIterator
And, for every
-
purr
, an operation onIt
that is required to be supported by MeowIterator, -
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
Standard library
The following standard library types are ConstexprIterators.
- array::iterator and array::const_iterator.
- basic_string_view::iterator.
- span::iterator and span::const_iterator.