Iteratory do tablic o różnych rozmiarach

Question

Poniższy kod kompiluje grzywny na moim systemie:

#include <array> 
#include <type_traits> 

static_assert(std::is_same<std::array<int, 5>::iterator, 
          std::array<int, 7>::iterator>::value, ":("); 

Czy to zachowanie gwarantowane przez standard? Czy typ iteratora jest niezależny od rozmiaru tablicy?

Jeśli jest to zagwarantowane, czy istnieje sposób na streszczenie z rodzaju elementu i zignorować rozmiar?

template<typename T, size_t n> 
void foobar(std::array<T, n>::iterator it) 

To znaczy, czy jest jakiś sposób, aby napisać powyższy kod array specyficzne, nie wspominając o wielkości n?

Należy pamiętać, że nie chcę odwoływać się do T*, nawet jeśli w trybie zwolnienia iterator prawdopodobnie jest T*.

Answer 1

Nie, to nie jest gwarantowane. Każdy typ tablicy array<T, size_t> ma element zagnieżdżony typedef o nazwie iterator, którego typ jest zdefiniowany w implementacji.

Answer 2

Prosta odpowiedź sprawia, że ​​jest nieco bardziej ogólny. Dlaczego chcesz zezwalać na iteratory tylko od std::array?

template <typename Iterator> 
void foobar(Iterator it) 

W drugiej części kodu, rozmiar n typu T i są w nie wywnioskować kontekście. Koncepcyjnie kilka std::array typy mogą mieć ten sam typ iterator, lub jak wspomniałeś to może być po prostu T* i byłoby to niemożliwe, aby znaleźć to, co możliwe std::array miał T* jak iterator

Answer 3

Nie, nie ma gwarancji. Średnia po prostu mówi

typedef implementation-defined iterator; 

typu iterator może być zwykły wskaźnik, klasa, która jest członkiem array lub oddzielne klasy owijając zwykły wskaźnik.

Jeśli jest to klasa członka, to będzie zależy od wielkości tablicy. W przeciwnym razie nie.