定义了std::array迭代器typedef实现

Question

是否定义了std::array<T,N>::迭代器实现的迭代器类型要求，还是总是定义为指向value_type的指针?

Answer 1

这是实现定义的。

参见c++ 20标准(工作草案，最终版本需要花钱)，第22.3.7节，"类模板array":

namespace std {
template<class T, size_t N>
struct array {
// types
...
using iterator = implementation-defined ; // see 22.2
using const_iterator = implementation-defined ; // see 22.2
...
};