C++ 具名要求:常量表达式迭代器 (ConstexprIterator)
常量表达式迭代器 (ConstexprIterator) 是能在常量表达式求值中使用的遗留迭代器 (LegacyIterator) 。
要求
若符合下列条件,则类型 It
满足常量表达式迭代器 (ConstexprIterator)
- 类型
It
满足某个迭代器具名要求 MeowIterator
而对于每个
-
purr
,为 MeowIterator 在It
上要求支持的操作, -
kittens...
,为一组purr
的实参,满足该操作的要求,
则
- 若
kittens...
可用于常量表达式,则purr(kittens...)
亦然
标准库
下列标准库类型是常量表达式迭代器 (ConstexprIterator) :
- array::iterator 及 array::const_iterator。
- basic_string_view::iterator。
- span::iterator。
- vector::iterator 及 vector::const_iterator。