Vorlage Disambiguator

Question

Ich versuche, Informationen über Vorlage Schlüsselwort als Disambiguator verwendet, aber es gibt nichts darüber. Wahrscheinlich suche ich falsche Suchbegriffe, aber es gibt nichts wie .template oder -> template im Standard. Google zeigt nur GCC-Probleme von verschiedenen Foren, aber nicht wirklich, wofür es verwendet wird.

Code wie das konnte nicht kompilieren ohne Vorlage Schlüsselwort in Zeile 11 (auf GCC), aber ich bin nicht ganz sicher, dass dies entspricht dem Standard.

template<typename B> 
struct S1 
{ 
    template<typename T> void test() {} 
}; 

template<typename T> 
struct S2 
{ 
    S2() 
    { 
     S1<T>().template test<int>(); 
    } 
}; 

int main() 
{ 
    S2<int>(); 
} 

Also meine Frage ist: Warum tut Vorlage Begriff hier verwendet wird, welche Art von Mehrdeutigkeit gibt, ohne das Keyword ist und wo kann ich gelesen, dass (ich würde wirklich Link zu Standard schätzen).

Danke.

Answer 1

Kurze Antwort: Weil der Standard sagt so

ISO C++ 03 14.2/4

Wenn der Name eines Mitglieds Template-Spezialisierung nach erscheint. oder -> in einem Postfix-Ausdruck oder nach einem Nested-Name-Spezifizierer in einer qualifizierten ID, und der Postfix-Ausdruck oder die qualifizierte ID hängt explizit von einem Template-Parameter (14.6.2) ab, muss der Member Template-Name sein Präfix der Keyword-Vorlage. Andernfalls wird angenommen, dass der Name ein Nicht-Template nennt.

P. S:

Ohne diese zusätzliche Verwendung von Vorlage, der Compiler nicht weiß, dass das weniger als Token (<), die nicht wirklich „kleiner als“ sondern der Anfang einer Template-Argument Liste folgt.