如果这段代码无效，那就太好了。但它在概念上是合理的，而且是海湾合作委员会 接受它 尽管Comeau没有：
template< typename > struct t;
template<> struct t< int > {} r; // Bad declarator! Don't pee on the carpet!
（编辑： 以上编译但是 r 似乎没有被宣布 进入任何范围，所以它基本上被忽略了。）
显式特化在模板和类之间填充一种下层区域。一旦定义，显式特化声明的类型就完成了。从编译器的角度来看，它不是模板。如果它是参数化模板，则无法声明对象。考虑§14/ 3：
在模板声明，显式特化或显式实例化中，声明中的init-declarator-list最多应包含一个声明符。当这样的声明用于声明类模板时，不允许声明者。
“用于声明类模板”是什么意思？显然，主模板声明了一个类模板。根据§14.5.5/ 1（FDIS编号），部分专业化也是如此：
类模板名称是simple-template-id的模板声明是simple-template-id中指定的类模板的部分特化。
然而，当谈到显式专业化时，标准就是在令牌序列之前的声明方面说话 template<>。它 容貌 像模板一样，它命名一个模板名称，但它似乎没有声明模板。
真正奇怪的是§14/ 3将声明者的数量限制为“最多一个”。函数模板声明，显式特化或实例化必须只有一个声明符。涉及类模板的任何声明必须具有正确的零...除了显式特化，这似乎是通过裂缝。忠实于海湾合作委员会 拒绝允许
template<> struct t< int > {} r, s; // Offer valid one per specialization.
我倾向于同意海湾合作委员会的解释，尽管可能是胡说八道。不幸的是，它可能是 抑制 它能够检测缺失的分号。请允许声明者的数量正好为零！
有几点：首先，明确的专业化并不是一件好事
模板和类之间的区域;明确的专业化是一个
上课，期间。唯一的关系是模板（除了
有趣的名称）是它将被用来代替模板实例化
如果要在特化类型上实例化模板。
其次，如果§14/ 3中的段落存在问题
引用，它包括明确的实例化;明确的
instantiation是一个类定义，如果
struct S {} s, *p;
是合法的，
template<> struct T<int> {} s, *p;
应该也是。 （我会反对允许，但那列车
已经离开了车站，而且由于C允许第一次，我们被卡住了
用它。）
否则，§14/ 3中的陈述有点无关紧要。一个功能
模板必须只有一个声明符和一个类模板
零;没有必要试图让他们两个人“至多一个”
官样文章。 （如果我从头开始设计语言，我不会
允许在声明中定义类或枚举的任何声明符
类型。但同样，这已经太迟了。）
我同意这是一个麻烦：
template<> struct T<int> {}; // Requires a ';'
template<> void f<int>() {} // ';' forbidden
（在函数定义之后，至少C ++ 11将允许使用分号。）
显式特化和显式实例化不会声明模板。他们宣布了一个 模板id 它指的是专业化，这是一个类。
但是，这不会验证我的示例。问题是 一切 声明如下 template 要么 template<> 分别是显式实例化或特化的一部分。只有某些类型的实体可以是专用的或实例化的，而以前未声明的名称不是其中之一。
考虑这些例子，使用详细类型说明符（第7.1.5.3节）进行无偿但合法的使用：
template< typename T > struct s;
template< typename T > s< int > *f() {}
template<> struct u *f< char >(); // struct u is declared
u *p = 0; // see, we can use its name now.
template<> struct s< int > *f< int >(); // s<int> declared but not specialized
template struct s< int > *f< long >(); // s<int> declared but not instantiated
据我所知，标准是关于指定哪个声明的名称是专门的名称是模糊的。该语言的确暗示每个此类声明仅适用于一个模板：§14.7.2/ 2
如果显式实例化是针对类，函数或成员模板的专门化...
和§14.7.3/ 2
应在模板所属的命名空间中声明显式特化...
解决此问题的唯一方法是，如果声明符还指定了合法的实例化/特化，则忽略类型声明。
事实上，问题中的示例指明了 非法 声明器中的特化，然后期望编译器回溯并专门化类型。鉴于§14.7.2/ 1和§14.7.3/ 1中允许做什么专业化和声明的明确列表，抱怨似乎更合理 template<> struct t< int > {} r; 那 r 不是函数模板，成员函数模板，类模板的静态数据成员等。