Wie deklariere ich einen Vektor von vector :: size_type?

Question

Ich möchte einen Vektor, dessen Elemente vom Typ vector :: size_type

Sie können jedoch nicht erklären:

vector<vector::size_type> aVec; 

weil size_type Teil der Vorlage selbst, so dass Sie die Art selbst verwenden , ich brauche so etwas wie:

vector<vector<T>::size_type> aVec; 

aber was soll das T sein? Es ist wirklich ein zirkuläres Problem. :)

Wenn Vektor nur size_t als seine Größe Typ benutzt hatte (aber nicht eine besondere typedef für die size_type hatte, die vielleicht von der Art variieren basierend könnte, dass der Vektor hält), konnte ich nur tun:

vector<size_t> aVec; 

aber das ist nicht der Fall. Ich vermute, es gibt einen triftigen Grund dafür, dass es variieren darf, aber es macht dies schwierig, indem es Teil der Vektorklasse ist, statt außerhalb davon.

Gedanken?

Answer 1

std::vector<>::size_type ist statisch Elementtyp des Typs std::size_t so sollten Sie mit std::vector<std::size_t> vec

Answer 2

Warum Sie vector<vector<int>::size_type> myVector; verwenden nicht sicher sein? Wenn Sie den Typ vector<int> nirgendwo sonst verwenden, kostet es nichts, da die Template-Instanziierung irgendwie faul ist. Sie können einen anderen Typ als int verwenden, wenn Sie welche.

Es ist sehr unwahrscheinlich, dass vector<T>::size_type sich von vector<T'>::size_type unterscheidet.

Answer 3

(ich rewritting eine Antwort hier, ohne diesmal keinerlei Ansprüche auf den Standard zu machen.)

Sie können Ihre best guess für die Art machen und prüfen Sie nach der (die std::size_t oder std::vector<void*>::size_type sein kann) Tatsache.

std::vector<std::size_t> Avec; 
static_assert(std::is_same<decltype(Avec)::size_type, decltype(Avec)::value_type>(), "bad guess");