Warum kann ich einen Typ-Member einer Klasse nicht als Template-Parameter übergeben?

Question

Ich kann einen Typ-Member einer Klasse nicht als Vorlageparameter übergeben. Zum Beispiel in dem folgenden Code:

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

wird nicht kompiliert.

Was ist der Grund dafür? Gibt es eine Problemumgehung?

Answer 1

a ist kein Typ, daher können Sie :: nicht darauf anwenden. Sie können decltype verwenden a ‚s Art abzurufen:

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

Answer 2

Quentin hat Ihnen eine Möglichkeit, dies zu umgehen. Hier sind zwei mehr.

Die offensichtliche Lösung, natürlich, ist der Name des Objekts a mit dem Namen seiner Art zu ersetzen:

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

jedoch in Ihrem Code suchen, fragte ich mich, ob das, was Sie wollten zu definieren, Typen, anstatt Objekte. Ich denke, a und a2 machen außergewöhnlich schlechten Typnamen (so mein Verdacht wahrscheinlich falsch war), aber hier geht:

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

Sie jetzt Instanzen dieser Typen erstellen können.