È conforme allo standard C++ per definire una variabile usando `A <int> :: modello B <int> x;`?

Question

Il seguente codice è accettato da gcc, vC++ e clang.

template<class T> 
struct A 
{ 
    template<class U> 
    struct B 
    {}; 
}; 

int main() 
{ 
    A<int>::B<int> y; // OK as expected 
    A<int>::template B<int> x; // Also OK! Is this standard-compliant? 
}; 

Va C++ standard compliant per definire una variabile utilizzando A<int>::template B<int> x;?

Answer 1

Anche se è una nota non normativo, ritengo una risposta può essere data da n3797 [temp.names]/6

Come è il caso con il prefisso typename, il prefisso template è consentito nei casi in cui non è strettamente necessario; cioè, quando lo specificatore di nome nidificato o l'espressione a sinistra di -> o . non dipende da un parametro di modello o l'uso non appare nell'ambito di un modello.

Nell'esempio del PO, il prefisso template viene utilizzato al di fuori dell'ambito di un modello, e la precedente nested-nome-specificatore non dipende. Pertanto, il prefisso template non è obbligatorio, ma consentito qui.

---

[expr.prim.general]/8

qualificata id:
        nested-nome-identificatoretemplate_opt   non qualificato -id

Inoltre [temp.names]/5

Un nome preceduto dalla parola chiave template deve essere un modello-ido il nome si riferisce ad un modello di classe.

[temp.names]/1 dice che B<int> è davvero un (semplice-) modello-id.