相信 xxx_cast 系列都很熟了。
static_cast, dynamic_cast, const_cast, reinterpret_cast.
但是當(dāng)面對(duì)boost::shared_ptr的時(shí)候呢？
reinterpret_cast 可以轉(zhuǎn)換任何類型，這個(gè)在討論范圍之外。
對(duì)于下面的這個(gè)定義：
1 class A
2 {
3 public:
4 virtual ~A() {}
5 };
6
7 class B
8 : public A
9 {
10 public:
11 ~B() {}
12 };
如果用boost::shared_ptr包裝的話：
1 typedef boost::shared_ptr<A> APtr;
2 typedef boost::shared_ptr<B> BPtr;
想想通常對(duì)指針的使用：
1 A *pA = new B();
2 B *pB = dynamic_cast<B*>(pA);
3 // unsafe
4 B *upB = static_cast<B*>(pA);
5
6 pA->
;
7 pB->;
8 // may crash
9 upB->;
如果使用boost::shared_ptr呢。
1 APtr pA = APtr(new B()); // OK
2 BPtr pB = pA; // compile error
從根本上講，APtr 和 BPtr除了里面包裝的原生指針有點(diǎn)關(guān)系以外，他們就是完全不同的兩個(gè)類型，當(dāng)然A和B也是完全不同的類型呀，可是想想看其實(shí)B是知道A的存在的。可是BPtr完全不知道APtr的存在。那這兒cast怎么進(jìn)行呢？別說向下轉(zhuǎn)型了，向上轉(zhuǎn)型都成問題。
看看這段代碼：
1 template <class T>
2 class shared_ptr
3 {
4 template <class F>
5 shared_ptr(const shared_ptr<F>& p)
6 : _p(p._p)
7 , _np(p._np)
8 {}
9 private:
10 T* _p;
11 reference_counter _np;
12 };
這個(gè)構(gòu)造函數(shù)可以搞定自動(dòng)向上轉(zhuǎn)型，因?yàn)榫幾g器可以自動(dòng)檢查 _p(p._p) 的合法性。那向下轉(zhuǎn)型怎么辦呢？看了上面這段代碼，相信很容易解決想想啊轉(zhuǎn)型的問題了。 只要把 _p(p._p) 改成 _p(dynamic_cast<T*>(p._p) 就可以了，當(dāng)然要檢查指針的合法性，我就不多寫了。
當(dāng)然boost::shared_ptr的作者已經(jīng)想到這個(gè)問題，他給提供了解決方案：
1 template<class T, class U>
2 shared_ptr<T> static_pointer_cast(shared_ptr<U> const & r)
3 {
4 return shared_ptr<T>(r, boost::detail::static_cast_tag());
5 }
6
7 template<class T, class U>
8 shared_ptr<T> dynamic_pointer_cast(shared_ptr<U> const & r)
9 {
10 return shared_ptr<T>(r, boost::detail::dynamic_cast_tag());
11 }
需要用static_cast 轉(zhuǎn)換普通指針的地方，用shared_static_cast 轉(zhuǎn)換shared_ptr,
需要用dynamic_cast 轉(zhuǎn)換普通指針的地方，用shared_dynamic_cast 轉(zhuǎn)換shared_ptr.
前面說過，沒有const的shared_ptr,但是有
1 const A* pA = new B();
2 shared_ptr<const A> cpA(pA); //const
3 APtr spA = const_pointer_cast<A>(cpA);
總結(jié)一下：
const_cast const_pointer_cast
static_cast static_pointer_cast
dynamic_cast dynamic_pointer_cast
最后一個(gè)小問題：以前，boost中的shared_ptr的cast函數(shù)的名字是：shared_xxxx_cast,
后來，為了IDE自動(dòng)提供幫助，改成了xxxx_pointer_cast。由此可見，設(shè)計(jì)庫還是要用戶至上。
posted on 2009-04-30 21:43
尹東斐 閱讀(5208)
評(píng)論(2) 編輯 收藏 引用