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