Dlaczego nie mogę przekazać elementu typu klasy jako parametru szablonu?

Question

Nie mogę przekazać elementu typu klasy jako parametru szablonu. Na przykład w następujący fragment kodu:

std::array<int, 1> a; 
std::array<typename a::value_type, 1> a2; 

nie będzie skompilować.

Jaki jest tego powód? Czy jest w pobliżu praca?

Answer 1

a nie jest typem, dlatego nie można do niego zastosować ::. Można użyć decltype pobrać typ a „s

std::array<int, 1> a; 
std::array<decltype(a)::value_type, 1> a2; 

Answer 2

Quentin dał wam jeden sposób, aby obejść ten problem. Oto jeszcze dwa.

Oczywistym rozwiązaniem, oczywiście, jest zastąpienie nazwy przedmiotu a z nazwą typu:

std::array<typename std::array<int, 1>::value_type, 1> a2; 

Jednak patrząc na kodzie, zastanawiałem się, czy to, co chciałeś jest zdefiniowanie typy, a nie obiekty. Myślę a i a2 uczynić wyjątkowo złych nazw rodzajowych (więc moje podejrzenie było prawdopodobnie źle), ale tutaj przejść:

typedef std::array<int, 1> a; 
typedef std::array<typename a::value_type, 1> a2; 

Teraz można tworzyć instancje tych typów.