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