C++ Primer 答客問 (40) - static in template
C++ Primer 答客問 (40) - static in template
侯捷 jjhou@ccca.nctu.edu.tw
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: jjhou@ccca.nctu.edu.tw
CompBook 近期熱門文章
PTT數位生活區 即時熱門文章
