Namespaces
Variants
Views
Actions

Difference between revisions of "cpp/named req/ConstexprIterator"

From cppreference.com
< cpp‎ | named req
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/concept/title|ConstexprIterator}}
+
{{cpp/named req/title|ConstexprIterator}}
{{cpp/concept/navbar}}
+
{{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

 
 
C++ named requirements
 

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 concept MeowIterator

And, for every

  • purr, an operation on It that is required to be supported by MeowIterator,
  • kittens..., a set of arguments to purr that meets the requirements for that operation,

Then

  • purr(kittens...) may be used in a constant expression if kittens... can be so used, unless purr is

Standard library

The following standard library types are Template:concepts.

See also