1. 部分特化
2. 模板嵌套（即template< template <... > >）
3. 模板參數(shù)形式匹配（不知道該用什么名字描述合適）：
template<typename TType> struct PtrType2Type;
template<typename TType> struct PtrType2Type<TType *>
{
typedef TType Result;
};
第二行指定模板參數(shù)的形式必須是某個(gè)類型的指針。無法編譯通過。
4. 從對(duì)常數(shù)型模板參數(shù)做推導(dǎo)時(shí)，該模板參數(shù)必須在模板參數(shù)列表的第一位：
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;
}
上面的程序可以正常運(yùn)行，輸出1。但如果把
template<int Index, class TType>
改成
template<class TType, int Index>
程序可以編譯通過，但運(yùn)行時(shí)什么也不會(huì)輸出，看起來是
Test(1, Int2Type<0>());
這一行被直接忽略掉了！
5. 模板成員函數(shù)的模板參數(shù)只能通過函數(shù)實(shí)參讓編譯器去推導(dǎo)，而不能顯示指定。
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
如果再改成靜態(tài)成員函數(shù)，這樣：
struct SomeClass
{
template<class T>
static void Test()
{
}
};
int main(int argc, char* argv[])
{
SomeClass::Test<int>();
return 0;
}
也無法編譯通過，而且是 NTERNAL COMPILER ERROR