遇到的一個模板問題

    看下面的代碼：

#include <iostream><br />using namespace std;<br />template<typename T> struct Traits<br />{<br />static T emptyValue() { return T(); }<br />};<br />template<typename T> class Map : public Traits<T><br />{<br />};<br />class Base<br />{<br />};<br />int main()<br />{<br />Map<Base*> m;<br />Base *b = m.emptyValue();<br />cout<<b<<endl;<br />return 0;<br />}  

 

    結果會輸出什麼呢？

    關鍵在於函數static T emptyValue() { return T(); }。如果傳入的T是一個Base，那麼可以知道它返回一個Base對象（調用預設建構函式）。但如果T是Base*，會怎麼樣呢？“Base*()”？這編譯通不過！

 

    其實，得這麼看這個問題：

    typedef Base* PB;

    PB pb = PB();  // 這樣是正確的。

同樣的：

    PB pb = PB(0);// pb=0x00000000，PB()也就是該值

    PB pb = PB(1);// pb=0x00000001

    PB pb = PB(456);// pb=0x000001C8

 

    經過上面的分析，程式的輸出就是0x00000000。