Iterator szablonów C++

Po pierwsze, jak już wspomniano w innych odpowiedziach, nazwy typów zagnieżdżonych w typy zależne muszą być poprzedzone słowem kluczowym typename.

To słowo kluczowe nie jest potrzebne, gdy szablon jest w pełni wyspecjalizowany, co oznacza, że list<tnode<int>*>::iterator nie potrzebuje typename, ale gdy zewnętrzna klasa nadal zależy od parametru szablonuT, typename musi być obecny.

template <typename T> void foo() {
  list<tnode<int>*>::iterator it1; // OK without typename
  typename list<tnode<T>*>::iterator it2; // typename necessary
}

Po drugie, nawet z typename

typename list<tNode<T>*>::iterator it();

Deklaracja zadeklaruje funkcję, a nie iterator. Usuń ().

list<tNode<T>*>::iterator jest nazwą zależną, typem zależnym od parametru szablonu. Aby zadeklarować tę zmienną, należy użyć słowa kluczowego typename:

typename list<tNode<T>*>::iterator it = ...;

Więcej informacji na temat powyższych odpowiedzi znajduje się tutaj

Opis słowa kluczowego C++ typename

Miałem inny, ale podobny problem w tym, że chciałem wpisać iterator dla węzłów potomnych z:

typedef std::vector<NodeType*>::iterator ChildIterator;

Co dało mi ten sam błąd kompilatora. Z sugestiami tutaj i pomocą powyższego linku, rozwiązaniem mojego problemu jest użycie

typedef typename std::vector<NodeType*>::iterator ChildIterator;

Iterator może być klasą zagnieżdżoną i atrybutem klasy

Wieloznaczność, którą rozwiązuje słowo kluczowe typename jest taka, że T::iterator (lub w Twoim przypadku list<tNode<T>*>::iterator) może odnosić się do nested type (przypadek 1) lub static class attribute (przypadek 2). Kompilator domyślnie interpretuje taką konstrukcję jako przypadek 2. Słowo kluczowe typename wymusza przypadek 1.

Poniższy przykład pokazuje implementację dla Przypadku 1 i przypadku 2. W obu przypadkach pojawia się linia T::iterator * iter;. W przypadku 1 jest ważne tylko z typename / align = "left" / W przypadku 2 reprezentuje tylko podwójne (bez żadnej operacji). Gwiazdka * jest po prostu dodawana, tak jak w przypadku 1 Wskaźnik dla wskaźnika, a w przypadku 2 operator mnożenia.

Minimalny powtarzalny przykład

#include <iostream>

template <class T>
void foo1() {
    typename T::iterator * iter;
    std::cout << "foo1: iter points to: " << iter << std::endl;
}

class class1 {
    public:
        class iterator // subclass
        {
        };
};

template <class T>
void foo2() {
    double iter = 2.;
    T::iterator * iter;
    std::cout << "foo2: \"T::iterator * iter\" is a simple double: " << T::iterator * iter << std::endl;
}

class class2 {
    public:
        constexpr static double iterator = 11.;
};

int main()
{
    foo1<class1>();
    foo2<class2>();
    // foo1<class2>(); // does not compile
    // foo2<class1>(); // does not compile
    return 0;
}

Wyjście

foo1: iter points to: 0x4010b0
foo2: "T::iterator * iter" is a simple double: 22

Podziękowania dla trueter za wskazanie artykułu opisu słowa kluczowego C++ typename . Ta odpowiedź jest w zasadzie krótkie podsumowanie.