Vorlagen und Namensauflösung

In den Vorlagendefinitionen gibt es drei Typen von Namen.

• Lokal deklarierte Namen, einschließlich des Namens der Vorlage selbst sowie aller Namen, die innerhalb der Vorlagendefinition deklariert werden.

• Namen des einschließenden Bereichs außerhalb der Vorlagendefinition.

• Namen, die in irgendeiner Form von Vorlagenargumenten abhängig sind, die als abhängige Namen bezeichnet werden.

Während die ersten beiden Namen sich auch auf Gültigkeitsbereiche für Klassen und Funktionen beziehen, sind spezielle Regeln für die Namensauflösung in Vorlagendefinitionen erforderlich, um komplexere abhängige Namen zu verarbeiten. Dies liegt daran, dass dem Compiler nur wenig über diese Namen bekannt ist, bevor die Vorlage instanziiert wird, da sie je nach verwendeten Vorlagenargumenten völlig unterschiedliche Typen aufweisen können. Nicht abhängige Namen werden nach den üblichen Regeln und zum Zeitpunkt der Definition der Vorlage gesucht. Diese Namen sind unabhängig von den Vorlagenargumenten und werden einmal für alle Vorlagenspezialisierungen nachgeschlagen. Abhängige Namen werden erst nach dem Instanziieren der Vorlage und für jede Spezialisierung separat gesucht.

Ein Typ ist abhängig, wenn er von Vorlagenargumenten abhängt. Ein Typ ist insbesondere abhängig, wenn:

• Das Vorlagenargument selbst:

  T
  

• Ein qualifizierter Name einer Qualifikation einschließlich eines abhängigen Typs:

  T::myType
  

• Ein qualifizierter Name, wenn der nicht qualifizierte Teil einen abhängigen Typ bezeichnet:

  N::T
  

• Ein konstanter oder ein flüchtiger Typ, für den der Basistyp ein abhängiger Typ ist:

  const T
  

• Ein Zeiger, ein Verweis, ein Array oder ein Funktionszeigertyp, basierend auf einem abhängigen Typ:

  T *, T &, T [10], T (*)()
  

• Ein Array, dessen Größe auf einem Vorlagenparameter basiert:

  template <int arg> class X {
  int x[arg] ; // dependent type
  }
  

• Ein aus einem Vorlagenparameter erstellter Vorlagentyp:

  T<int>, MyTemplate<T>
  

Typabhängigkeit und Werteabhängigkeit

Namen und Ausdrücke, die von einem Vorlagenparameter abhängig sind, werden als typabhängig oder wertabhängig kategorisiert, je nachdem, ob der Vorlagenparameter ein Typparameter oder ein Werteparameter ist. Außerdem gelten alle Bezeichner, die in einer Vorlage mit einem abhängigen Typ vom Vorlagenargument deklariert werden, als wertabhängiges Element, z. B. eine ganze Zahl oder ein Enumerationstyp, die mit einem wertabhängigen Ausdruck initialisiert werden.

Typabhängige und wertabhängige Ausdrücke sind Ausdrücke, die Variablen einschließen, die typabhängig oder wertabhängig sind. Diese Begriffe können je nach Parametern, die für die Vorlage verwendet werden, eine abweichende Semantik aufweisen.

Siehe auch

Weitere Ressourcen

Vorlagen