Zagnieżdżone szablony z zakresem zależnym

Co to jest zakres zależny i jakie jest znaczenie nazwy typu w kontekście następującego błędu?

$ make
g++ -std=gnu++0x main.cpp
main.cpp:18:10: error: need 'typename' before 'ptrModel<std::vector<Data> >::Type' because 'ptrModel<std::vector<Data> >' is a dependent scope
make: *** [all] Error 1


/*
 * main.cpp
 */

#include <vector>
#include <memory>

template<typename T>
struct ptrModel
{
 typedef std::unique_ptr<T> Type;
};


template<typename Data>
struct ptrType
{
 typedef ptrModel< std::vector<Data> >::Type Type;
};

int main()
{
 return 0;
}

Kompilator dokładnie powiedział ci, co masz zrobić. Napisz typenamewcześniej ptrModel<std::vector<Data> >::Type, tak:

 typedef typename ptrModel<std::vector<Data> >::Type Type;

Powodem tego wymogu jest to, że kompilator nie robi w tym momencie wiem, czy ptrModel<std::vector<Data> >::Typeopisuje zmienną składową lub typu zagnieżdżonego. Nie może nawet postać, która przez patrząc na definicji ptrModel, ponieważ nie może być specjalizacja ptrModeldla std::vector<Data>gdzieś w programie, że nie dostał na które jednak zmiany, które z tych rzeczy ::Typeodnosi się do. Więc musisz to wyraźnie powiedzieć.

Nazwa ptrModel<std::vector<Data> >::Typema „zakres zależny”, ponieważ znajduje się w zakresie zależnym od instancji szablonu.