C++标准ISO-IEC-14882-2003：第14章：模板-第2节：模板特化的名字

14.2
模板特化的名字

1.        

模板特化可以通过模板
id
来表示：

模板
id
：

      

模板名字
<
模板实参列表
opt
>

模板名字：

      

标识符

模板实参列表：

      

模板实参

      

模板实参列表
,
模板实参

模板实参：

      

赋值表达式

      

类型
id

      
id
表达式

【注：名字查找规则用来将名字的使用和模板声明联系起来，也就是说，将一个名字标识为模板名字。】

2.        

对于被模板实参显式限定的模板名字来说，为了表示一个模板，该名字必须已经可见。

3.        

名字查找发现一个名字是个模板名后，如果该名字之后是
<
符号，该
<
符号总被认为是模板实参列表的开始，永远不会被当做小于号。当解析模板
id
的时候，第一个非嵌套的
>
符号被当做模板实参列表的结束，而不是大于号。【例：

template<int i> class X { /* ... */ };

X< 1>2 > x1; //
语法错误

X<(1>2)> x2; //
OK

template<class T> class Y { /* ... */ };

Y< X<1> > x3; //
OK

Y<X<6>> 1> > x4; //
OK:

Y< X< (6>>1) > >

】

4.        

当成员模板特化的名字出现在后缀表达式的
.
或
->
操作符之后，或出现在限定的
id
中的嵌套名字说明符中，并且后缀表达式或限定的
id
显式地依赖于一个模板参数，成员模板名字前必须加上前缀
template
。否则，该名字被认为用来命名一个非模板。【例：

class X {

public:

template<size_t> X* alloc();

template<size_t> static X* adjust();

};

template<class T> void f(T* p)

{

T* p1 = p->alloc<200>();

//
非法

:  

<

表示小于号

T* p2 = p->template alloc<200>();

//
OK:  

<
之后是模板实参列表

T::adjust<100>();

//
ill-formed:  

<
表示小于号

T::template adjust<100>();

//
OK :  

<
之后是模板实参列表

}

      

】

5.        

如果名字的前缀是
template
，但是该名字不是成员模板的名字，程序就是非法的。【注：关键字
template
不能用于类模板的非模板成员。】更进一层，如果后缀表达式或限定的
id
不是出现在模板作用域中，成员模板的名字前不能加
template
。【注：正如
typename
前缀的情况一样，
template
前缀在不是绝对必需的情况下也是允许使用的；即当表达式在
.
或
->
左边，或嵌套的名字说明符不依赖模板参数的时候。】

6.        

命名类模板特化的模板
id
是个类名。