Warum brauchen wir hier typename?

Question

template<class T> 
class Set 
{ 
public: 
    void insert(const T& item); 
    void remove(const T& item); 
private: 
    std::list<T> rep; 
} 

template<typename T> 
void Set<T>::remove(const T& item) 
{ 
    typename std::list<T>::iterator it = // question here 
    std::find(rep.begin(),rep.end(),itme); 
    if(it!=rep.end()) rep.erase(it); 

} 

Warum wird der Typname in der remove() benötigt?

Answer 1

Im Allgemeinen C++ typename muss wegen der unglücklichen Syntax [*] es erbt von C, die es unmöglich, ohne nicht-lokalen Informationen machen zu sagen - zum Beispiel - in A * B; ob A Namen einen Typ (in der Fall ist dies eine Deklaration von B als Zeiger darauf) oder nicht (in diesem Fall ist dies ein Multiplikationsausdruck - durchaus möglich, da A, für alles, was Sie ohne nicht-lokale Informationen sagen können, könnte eine Instanz einer Klasse sein Überlasten operator* etwas komisches zu tun ;-). In den meisten Fällen verfügt der Compiler über die nicht-lokalen Informationen, die zur Disambiguierung erforderlich sind (obwohl die unglückliche Syntax immer noch bedeutet, dass der Low-Level-Parser Feedback von der übergeordneten Ebene benötigt, die die Symboltabelleninformationen enthält) ... aber mit Templates tut es das nicht (nicht generell, obwohl es in diesem speziellen Fall technisch illegal wäre, std::list<T> zu spezialisieren, so dass sein ::iterator KEIN Typname ist ;-).

[*] Nicht nur meine Meinung, sondern auch die Meinung von Ken Thompson und Rob Pikes, derzeit meine Kollegen, die sich mit der Entwicklung und Implementierung einer neuen Programmiersprache für den internen Gebrauch beschäftigen: diese neue Programmiersprache, während ihre Syntax ist Meistens C-like, wiederholt Cs Syntax-Designfehler NICHT - es ist die neue Sprache (wie zB im guten alten Pascal), Syntax reicht aus, um Bezeichner zu unterscheiden, die einen Typ aus denen benennen müssen, die nicht müssen ;-).

Answer 2

Ich denke im Allgemeinen brauchen Sie sowohl den Typ/Klasse T in der Klassendeklaration als auch Funktionsdefinitionen, weil Sie vollständige/teilweise Vorlage Spezifikationen für Funktionsdefinitionen definieren können. Ie. Sie könnten Ihre Remove-Funktion für Ints, Strings, was auch immer es ist, spezialisieren. In diesem Fall sagen Sie dem Compiler "Dies ist die allgemeine Vorlage für jeden Typ" und später definieren Sie möglicherweise dieselbe Funktion, die nur für Ganzzahlen angegeben wurde.

Answer 3

Wenn Sie sprechen von typename verwendet mit std::list<T>::iterator:

Der Typname verwendet wird, um klarzustellen, dass iterator eine Art innerhalb der Klasse std::list<T> definiert ist. Ohne Typname wird std::list<T>::iterator als statisches Element betrachtet. typename wird verwendet, wenn ein Name, der von einem Vorlagenparameter abhängt, ein Typ ist.

Answer 4

Typname wird in Ihrer Deklaration von 'it' benötigt, da der Compiler ansonsten nicht weiß, dass es sich um eine Typdeklaration und nicht um einen Ausdruck handelt.

Gemäß this page, "Verwenden Sie das Schlüsselwort typename, wenn Sie einen qualifizierten Namen haben, der sich auf einen Typ bezieht und von einem Vorlagenparameter abhängt."