std :: array迭代器范围没有模板？

Question

使用C数组，编写任何大小的数组代码都相当容易：

void func( T* itBegin, T* itEnd );

void main() {
    T arr1[1];
    func( std::begin(arr1), std::end(arr1) );
    T arr2[2];
    func( std::begin(arr2), std::end(arr2) );
}

我怎么能用std :: arrays做到这一点？

void func( ??? itBegin, ??? itEnd );

void main() {
    std::array<T,1> arr1;
    func( std::begin(arr1), std::end(arr1) );
    std::array<T,2> arr2;
    func( std::begin(arr2), std::end(arr2) );
}

问题是，在MSVC 2010中， std::array<T,N>::iterator对于不同的N是不同的。 这是MSVC 2010中的错误吗？ 如果没有，这个设计的理由是什么？ 是的，我可以从std :: array获取指针并传递它们而不是迭代器，但这不是不必要的丑陋吗？

BTW， boost::array<T,N>::iterator对于所有N都是相同的。

Answer 1

template <class I>
void func(I begin, I end)
{
    for (auto x = begin; x != end; ++x)
        something_with(*x);
}

通常将它们定义为类型参数，然后只需将它们用作指针即可。 任何行为类似指针的东西都会编译，而不会发生的东西则会编译。

类似指针的东西包括普通指针，标准库迭代器，以及定义operator= ， operator*和operator++任何其他东西。

这样做是因为你只使用匹配的同一个array<N>的开始/结束迭代器对，那么如果array<N>::iterator是一个与array<M>::iterator不同的类型array<M>::iterator 。

Answer 2

据我所知，标准不要求不同大小的std::array具有相同类型的迭代器; 具有std::array<int, 1>和std::array<int, 2>的不同类型似乎是合法的（尽管可能对实现的质量有一些看法）。

如果这是一个问题，您可以使用C样式数组，也可以使用指针：

func( &arr1[0], &arr1[0] + arr1.size() );

这两种解决方案都不是理想的，但它们是我能提供的最好的解决方案。

Answer 3

template <class I>
void func(I begin, I end);