關(guān)于boost：：any，今天心血來(lái)潮，順手實(shí)現(xiàn)了一個(gè)。不想加有關(guān)type_info的東西，所以自我創(chuàng)造了一個(gè)用dynamic_cast的版本，僅供學(xué)習(xí)。
要用當(dāng)然要boost：：any的嘛。
關(guān)于模板，首先說(shuō)兩條：
1. 類模板
（缺點(diǎn)）類模板不能自動(dòng)推導(dǎo)模板參數(shù)（意思是當(dāng)要用到某個(gè)模板類，比如A,那么你使用的時(shí)候一定要有模板參數(shù)，比如A<int>，編譯器不能自動(dòng)推導(dǎo)），只能通過(guò)特化模板而是編譯器選擇合適的特化版本，
（優(yōu)點(diǎn)）類模板可以通過(guò)類模板把推導(dǎo)后的模板參數(shù)輸出，通常使用 typedef _Type value; 。
2. 函數(shù)模板
（優(yōu)點(diǎn)）函數(shù)模板可以自動(dòng)推導(dǎo)模板參數(shù)（意思是你頂一個(gè)模板函數(shù)，比如f，那么使用的時(shí)候不一定要有模板參數(shù)，比如f（123），編譯器會(huì)自動(dòng)推導(dǎo)123為int），當(dāng)然這里可以靠函數(shù)重載和編譯器匹配順序，來(lái)決定很多事情。
（缺點(diǎn)）函數(shù)模板不能輸出推導(dǎo)后的類型。
1 struct any
2 {
3 struct content
4 {};
5
6 template<typename _U>
7 struct impl : public content
8 {
9 _U _u;
10
11 impl(const _U& u)
12 : _u(u)
13 {}
14
15 typedef _U type;
16 };
17
18 template<typename _U>
19 any(const _U& c)
20 : _t(new impl<_U>(c))
21 {}
22
23 content* _t;
24 };
那么要實(shí)現(xiàn)any，any本身不是類模板，所以要接受任何參數(shù)，那么其構(gòu)造函數(shù)必須是函數(shù)模板，但是函數(shù)模板不能導(dǎo)出推導(dǎo)后的類型，那么需要靠類模板來(lái)保存類型信息。
1 struct any
2 {
3 template<typename _U>
4 any(const _U& c)
5 {}
6 };
可以看出，上面的any定義可以接受任何類型的參數(shù)，比如 any t1(1); any t2(1.0); 注意1和1.0不一樣。 但是輸入的東西沒有保存起來(lái)，起不到一個(gè)任意類型變量的作用（就是個(gè)空殼）。所以繼續(xù)修改，
1 struct any
2 {
3
4 template<typename _U>
5 struct impl
6 {
7 _U _u;
8
9 impl(const _U& u)
10 : _u(u)
11 {}
12
13 typedef _U type;
14 };
15
16 template<typename _U>
17 any(const _U& c)
18 : _t(new impl<_U>(c))
19 {}
20
21 impl<？？？>* _t;
22 };
前面說(shuō)過(guò)，類模板可以保存類型信息，所以加入了一個(gè) impl 的類模板，通過(guò)any的構(gòu)造函數(shù)推導(dǎo)出的類型，將參數(shù)的類型保存在impl里面。看到最后一樣的問號(hào)了吧，哪里要寫什么呢？any其實(shí)不知道他自己里面是什么東西呀，所以為了讓any知道，定義一個(gè)類A，然后讓impl繼承它，那么這個(gè)A就是所有impl<>的父類了，不管impl里面是什么，都是一個(gè)A。當(dāng)然起名A不好聽，換個(gè)吧。
1 #include <typeinfo>
2
3 using namespace std;
4
5 struct any
6 {
7 struct content
8 {
9 virtual ~content() {};
10 };
11
12 template<typename _U>
13 struct impl : public content
14 {
15 _U _u;
16
17 impl(const _U& u)
18 : _u(u)
19 {}
20
21 typedef _U type;
22 };
23
24 template<typename _U>
25 any(const _U& c)
26 : _pc(new impl<_U>(c))
27 {}
28
29 ~any()
30 {
31 delete _pc;
32 }
33
34 template<typename _T>
35 _T& get()
36 {
37 impl<_T>* p = dynamic_cast<impl<_T>*>(_pc);
38 if(0 == p)
39 throw bad_cast();
40 return p->_u;
41 }
42
43 private:
44 content* _pc;
45 };
46
47 void main()
48 {
49 any a(10);
50 any b(1.0);
51 int x = a.get<int>();
52 double y = b.get<double>();
53 }
現(xiàn)在可以看到， content代替了那個(gè)不知道些什么類型的？？？，這個(gè)技術(shù)名字叫類型消除技術(shù)，在boost里面用的很多，也算是一個(gè)經(jīng)典的技術(shù)了。
posted on 2009-02-20 14:27
尹東斐 閱讀(2252)
評(píng)論(8) 編輯 收藏 引用