Wann ist das Schlüsselwort „typename' in C-Vorlagen erforderlich?

Wann ist das Schlüsselwort „typename“ erforderlich?

In C wird das Schlüsselwort „typename“ verwendet, um verschachtelte Namen, die abhängig sind, eindeutig zu machen auf Vorlagenparameter.

Warum ist im Beispiel „Typname“ erforderlich? Code?

Der Beispielcode definiert eine Klasse C mit einer verschachtelten Struktur P. Innerhalb der Memberfunktion f() erfordert die Zeile:

typename vector<P>::iterator p = vec.begin();

die Verwendung von „typename " weil:

• Abhängiger Name: Vektor

  ist ein verschachtelter Name, der vom Vorlagenparameter K der Klasse C abhängt.

• Mehrdeutigkeit: Ohne „typename“ kann der Compiler nicht bestimmen, ob vector

  ::iterator ein Typ ist oder eine Vorlage.

Andere Fälle, in denen „Typname“ lautet notwendig:

„typename“ ist auch in den folgenden Situationen erforderlich:

• Referenzierung einer abhängigen Memberfunktion:

template<typename T>
class A {
public:
    void f(typename T::P& p); // Requires "typename"
};

• Verweisen auf eine abhängige verschachtelte Vorlage:

template<typename T>
class A {
public:
    template<typename U>
    void g(typename T::template F<U>& f); // Requires "typename"
};

• Referenzieren einer abhängigen Vorlagenspezialisierung:

template<typename T>
class A {
public:
    template<>
    void g<int>(typename T::F<int>& f); // Requires "typename"
};

Im Allgemeinen gilt: Wann immer Sie auf einen abhängigen verschachtelten Namen verweisen müssen, Das Schlüsselwort „typename“ ist erforderlich, um den Typ von der Vorlage zu unterscheiden.

Das obige ist der detaillierte Inhalt vonWann ist das Schlüsselwort „typename' in C-Vorlagen erforderlich?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!