Dove nello standard C++ 11 è vietato 'modello <typename T> classe A {...}; modello <typename T> classe A <int> {...}; ' (se dovunque)?

Question

Sto tentando di comprendere più a fondo la sintassi e la semantica dei modelli immaginando costrutti arcani. Credo che la seguente sintassi non è consentita dallo standard C++ 11:

template <typename T> 
class A 
{...}; 

// phony "specialization" 
template <typename T> 
class A<int> 
{...}; 

Tuttavia, non riesco a trovare nello standard C++ 11 in cui non è consentita questa sintassi.

Sono corretto che la sintassi mostrata non è consentita dallo standard C++ 11? In tal caso, dove si può scoprire che la sintassi non è consentita?

Answer 1

Sono abbastanza sorpreso dal fatto che non ci sia un'istruzione esplicita in 14.5.5 [temp.class.spec] dicendo che tutti i parametri del modello di una specializzazione parziale di un modello di classe devono essere utilizzati nella lista-argomenti-template. Ciò renderebbe non valido perché T non viene utilizzato nell'elenco argomento-modello <int>.

Penso che la tua specializzazione fasulla sia solo implicitamente non valida a causa del fatto che non puoi mai eguagliarla, quindi non può mai essere utilizzata. Se si crea un'istanza A<int>, ciò corrisponde al modello principale. Non può corrispondere alla tua specializzazione, perché questo ha un parametro di modello aggiuntivo, T, che non può essere dedotto (suggerisci che potrebbe essere fornito dicendo A<int><double> ma non è una sintassi C++ valida, quindi non aiuta).

Ho chiesto al comitato per gli standard di chiarire perché la tua specializzazione fasulla non è valida (ovviamente lo è, ma non riesco a vedere dove lo dice).