Анонимные объявления типа / класса шаблона

Мне любопытно, почему разрешены анонимные объявления типа / класса шаблона, например следующие:

template <typename, class, typename> struct TemplateTest1 { int a; float b ; } ;
TemplateTest1 <int, int, int> tt1 ;

Может ли кто-нибудь объяснить практическую ценность этих анонимных типов? Влияют ли они на выражение шаблонной структуры?