1. 部分特化
2. 模板嵌套（即template< template <... > >）
3. 模板参数形式匹配（不知道该用什么名字描述合适）：
template<typename TType> struct PtrType2Type;
template<typename TType> struct PtrType2Type<TType *>
{
typedef TType Result;
};
第二行指定模板参数的形式必须是某个类型的指针。无法编译通过。
4. 从对常数型模板参数做推导时，该模板参数必须在模板参数列表的第一位：
template<int Value>
struct Int2Type
{
enum { value = Value };
};
template<int Index, class TType>
void Test(TType &data, Int2Type<Index>)
{
cout << data << endl;
}
int main(int argc, char* argv[])
{
Test(1, Int2Type<0>());
return 0;
}
上面的程序可以正常运行，输出1。但如果把
template<int Index, class TType>
改成
template<class TType, int Index>
程序可以编译通过，但运行时什么也不会输出，看起来是
Test(1, Int2Type<0>());
这一行被直接忽略掉了！
5. 模板成员函数的模板参数只能通过函数实参让编译器去推导，而不能显示指定。
struct SomeClass
{
template<class T>
void Test(T & t)
{
}
};
int main(int argc, char* argv[])
{
SomeClass obj;
obj.Test(2);
return 0;
}
这样是可行的。如果改成这样：
struct SomeClass
{
template<class T>
void Test()
{
}
};
int main(int argc, char* argv[])
{
SomeClass obj;
obj.Test<int>();
return 0;
}
将无法编译通过，编译器提示 type 'int' unexpected
如果再改成静态成员函数，这样：
struct SomeClass
{
template<class T>
static void Test()
{
}
};
int main(int argc, char* argv[])
{
SomeClass::Test<int>();
return 0;
}
也无法编译通过，而且是 NTERNAL COMPILER ERROR