C++ Primer 答客問 (40) - static in template 侯捷 [email protected] 2000.03.25 第一次發表於 清大.楓橋驛站（140.114.87.5）.電腦書訊版（Computer/CompBook） 本文將於日後整理於 侯捷網站/侯捷譯作/C++ Primer 中文版/答客問 侯捷網站：www.jjhou.com ---------------------------------------------------------------- s874105 wrote (2000/03/03) : > 老師你好... > 我有兩個問題，一個是跟課內有關一個是我看書的問題。 > > 假設今天有一個 class template > > template<typename T> > class vi > { > static void func(T a) { cout << a << " "; } > }; > > 像這樣的 static member function ... 可以成為 template 的一份子嗎? > 如果可以，是什麼道理呢？因為就我的想法中， > static member 是要事先就先配置好。所以我怎麼想都想不出方法。 > > 第二個問題有關於 cast > 問題源自 Polymorphism in C++ (多型與虛擬) p164. > 書裡面寫著 > char str[] = "Hello"; > char *pc = &str // error > > 錯誤訊息是 cannot convert form 'char (*)[6]' to 'char *' ... > 那麼當 cout << str 時，operator<< 有支援 char (*)[6] 這種 type 嗎？ > 還是輸出時有先轉型過呢？假設今天轉型過後，他的型態被改變了， > 對他本身的陣列會有什麼影響呢？如果沒有影響，我實在不懂為什麼 > type 要設成 char (*)[6] 說... > 因為我一直認為 operator<< 只支援 "char" & "int" & "float" & "double"... > 這問題很笨，可是我一直搞不懂... 只好問一下老師了~ 謝謝... 侯捷回覆： 這問題不笨。只要思考過的問題，都不笨。 你的第一個問題，template 的 members 可否為 static。 如果只是想要確定可不可以，寫個程式不就結了 :) #include <iostream> using namespace std; template<typename T> class C { public: static void func() { cout << m_data << " "; } C(T data) { m_data = data; } private: static T m_data; }; // static data member initialization.（注意，很多人會忘記寫這行） template<typename T> T C<T>::m_data; int main() { C<int> c1(5); C<float> c2(9.28); C<char> c3('J'); c1.func(); // 5 c2.func(); // 9.28 c3.func(); // J } 這個程式中的 class template 既有 static data member，也有 static member function。可順利編譯。執行結果也正確。 《C++ Primer 中文版》16.5 節「Class Templates 的 Static Data Members」 便是專講這個題目。 我想你這個問題更有價值的是，你問： > 如果可以，是什麼道理呢？因為就我的想法中， > static member 是要事先就先配置好。所以我怎麼想都想不出方法。 你的說法不夠精準，應該說：「static member 是獨立於 class 之外配置的」。 修正成這樣，你應該就不會有問題了。注意，template instantiation 是在 編譯時期（而非執行時期）完成；面對 static members，編譯器會為每一個 template instantiation 製作出一份相應的 static members。 所以上例的三個 instantiations，各有自己的一份 m_data 和一份 func()。 你的第二個問題： char str[] = "Hello"; char *pc = &str; // error 這個問題，《多型與虛擬》書中說，必須寫為這樣才可編譯： char str[] = "Hello"; char *pc = (char*)&str; // 明白轉型. 亦可利用 C++ cast operators. 你問： > 那麼當 cout << str 時，operator<< 有支援 char (*)[6] 這種 type 嗎？ 有可能。 > 還是輸出時有先轉型過呢？ 我不知道。也有可能。 > 假設今天轉型過後，他的型態被改變了， > 對他本身的陣列會有什麼影響呢？ 沒有影響。資料被轉型，改變的是外界（也就是將它轉型的人）對它 的「看法」，並不影響資料本身。 > 如果沒有影響，我實在不懂為什麼 > type 要設成 char (*)[6] 說... > 因為我一直認為 operator<< 只支援 "char" & "int" & "float" & "double"... 你一定忘了，C++ 允許 operator overloading（多載化運算子）。 -- the end  -- ※ Origin: 楓橋驛站<bbs.cs.nthu.edu.tw> ◆ Mail: [email protected]