關于boost：：any，今天心血來潮，順手實現了一個。不想加有關type_info的東西，所以自我創造了一個用dynamic_cast的版本，僅供學習。
要用當然要boost：：any的嘛。
關于模板，首先說兩條：
1. 類模板
（缺點）類模板不能自動推導模板參數（意思是當要用到某個模板類，比如A,那么你使用的時候一定要有模板參數，比如A<int>，編譯器不能自動推導），只能通過特化模板而是編譯器選擇合適的特化版本，
（優點）類模板可以通過類模板把推導后的模板參數輸出，通常使用 typedef _Type value; 。
2. 函數模板
（優點）函數模板可以自動推導模板參數（意思是你頂一個模板函數，比如f，那么使用的時候不一定要有模板參數，比如f（123），編譯器會自動推導123為int），當然這里可以靠函數重載和編譯器匹配順序，來決定很多事情。
（缺點）函數模板不能輸出推導后的類型。
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 };
那么要實現any，any本身不是類模板，所以要接受任何參數，那么其構造函數必須是函數模板，但是函數模板不能導出推導后的類型，那么需要靠類模板來保存類型信息。
1 struct any
2 {
3 template<typename _U>
4 any(const _U& c)
5 {}
6 };
可以看出，上面的any定義可以接受任何類型的參數，比如 any t1(1); any t2(1.0); 注意1和1.0不一樣。 但是輸入的東西沒有保存起來，起不到一個任意類型變量的作用（就是個空殼）。所以繼續修改，
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 };
前面說過，類模板可以保存類型信息，所以加入了一個 impl 的類模板，通過any的構造函數推導出的類型，將參數的類型保存在impl里面。看到最后一樣的問號了吧，哪里要寫什么呢？any其實不知道他自己里面是什么東西呀，所以為了讓any知道，定義一個類A，然后讓impl繼承它，那么這個A就是所有impl<>的父類了，不管impl里面是什么，都是一個A。當然起名A不好聽，換個吧。
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 }
現在可以看到， content代替了那個不知道些什么類型的？？？，這個技術名字叫類型消除技術，在boost里面用的很多，也算是一個經典的技術了。
posted on 2009-02-20 14:27
尹東斐 閱讀(2271)
評論(8) 編輯 收藏 引用