C++ 命名要求: ConstexprIterator

一个 ConstexprIterator 是一个 LegacyIterator
可以在常量表达式求值期间使用。

要求

如果类型 It 满足 ConstexprIterator

• 类型 It 满足 Iterator

并且，对于每个

• foo，一个对 It 的操作，该操作被 Iterator 要求支持，
• args...，一组满足该操作要求的 foo 参数，

那么

• 如果 args... 也可以在常量表达式中使用，则 foo(args...) 也可以在常量表达式中使用。

标准库

以下标准库类型是 ConstexprIterators。

• array::iterator 和 array::const_iterator。
• basic_string_view::iterator.
• span::iterator.
• vector::iterator 和 vector::const_iterator。