Two-Phase Name Lookup

Allgemeines

Allgemeines
Ein Beispiel
Two-Phase Name Lookup

Allgemeines

Klassen- und Funktions-Templates werden vom C++-Compiler (mindestens) zweimal übersetzt:

Zum Ersten ohne eigentliche Instanziierung des Template Quellcodes. Es wird nur grob die Syntax überprüft, also ob zum Beispiel Syntaxfehler wie ein fehlendes ; etc. vorhanden sind.
Zum Zeitpunkt der Instanziierung (also wenn der Template Parametertyp T bekannt ist) wird der Template Quellcode erneut überprüft, um sicherzustellen, dass alle Aufrufe für diesen bestimmten Typ T gültig sind.

Beispiel: Im Quellcode des Templates können Aufrufe von Funktionen bzw. Zugriffe auf öffentlich deklarierte Instanzvariablen vorhanden sein, die für einen konkreten Parametertyp T möglicherweise nicht existieren.

Hinweis: Einige Compiler unterstützen die erste Phase nicht vollständig und verzögern stattdessen fast die gesamte Arbeit auf die zweite Phase, bis eine Instanziierung des Templates stattfindet.

Ein Beispiel

Im Umfeld der Vererbung weist das Two-Phase Name Lookup ein überraschendes Verhalten auf, wie das folgende Beispiel verdeutlicht:

template <typename T>
class Base {
public:
    void doSomething() {
        std::cout << "doSomething" << std::endl;
    }
};

template <typename T>
class Derived : public Base<T> {
public:
    void callBase() {
        doSomething();  // doesn't compile !
    }
};

Dieser Quellcode zieht folgenden Übersetzungsfehler nach sich:

error: function declaration must be available as none of the arguments depend on a template parameter

Die Aussage none of the arguments depend on a template parameter aus der Fehlermeldung gibt einen ersten Hinweis. doSomething ist ein so genannter nicht-abhängiger Name, da sein Name nicht vom Template-Parameter T abhängt. Nicht-abhängige Namen werden zum Zeitpunkt der Template-Definition gesucht und aufgelöst. Folglich sucht der Compiler nicht in der von T abhängigen Basisklasse Base<T>. Da außer in der Basisklasse kein weiterer Bezeichner doSomething verfügbar ist, kommt es zu einer Fehlermeldung!

Abhängige Namen werden zum Zeitpunkt der Template-Instanziierung aufgelöst.