ho visto l'uso come:Dichiarare un parametro di tipo di modello incompleto in luogo in-lista degli argomenti
boost::error_info<struct tag_name, std::string> name_info;
Qui tag_name nomi un tipo incompleto e la parola chiave struct precedente sembra di dichiararla sul posto, invece del leggermente più dettagliato:
struct tag_name;
boost::error_info<tag_name, std::string> name_info;
Qual è la parte rilevante dello standard che consente questo?
§3.4.4/2 specifica come elaborati-type-prescrittori, in qualsiasi situazione, si alzò gli occhi e quali effetti possono avere:
Se il elaborato di tipo-specifier è introdotta da il class-chiave e questa ricerca non trova un nome-tipo precedentemente dichiarato [..] il elaborato di tipo-specifier è una dichiarazione che introduce il nome classe come descritto in 3.3.2.
Poi §3.3.2/7 (0,2) legge
Il punto di dichiarazione di una classe di prima dichiarata in un elaborato di tipo-specifier è la seguente: [..] un elaborato di tipo-specificatore della forma
classe-chiave identificatore
se il elaborato-type-specificatore viene utilizzato nella decl-specificatore-seq o parametro dichiarazione clausola di una funzione definita in ambito namespace, l'identificatore è dichiarato come nome classe nello spazio dei nomi che contiene ; in caso contrario, ad eccezione di una dichiarazione , , l'identificatore viene dichiarato nel più piccolo spazio dei nomi o nell'ambito del blocco che contiene la dichiarazione.