相信 xxx_cast 系列都很熟了。
static_cast, dynamic_cast, const_cast, reinterpret_cast.
但是當面對boost::shared_ptr的時候呢？
reinterpret_cast 可以轉換任何類型，這個在討論范圍之外。
對于下面的這個定義：
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;
想想通常對指針的使用：
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除了里面包裝的原生指針有點關系以外，他們就是完全不同的兩個類型，當然A和B也是完全不同的類型呀，可是想想看其實B是知道A的存在的。可是BPtr完全不知道APtr的存在。那這兒cast怎么進行呢？別說向下轉型了，向上轉型都成問題。
看看這段代碼：
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 };
這個構造函數可以搞定自動向上轉型，因為編譯器可以自動檢查 _p(p._p) 的合法性。那向下轉型怎么辦呢？看了上面這段代碼，相信很容易解決想想啊轉型的問題了。 只要把 _p(p._p) 改成 _p(dynamic_cast<T*>(p._p) 就可以了，當然要檢查指針的合法性，我就不多寫了。
當然boost::shared_ptr的作者已經想到這個問題，他給提供了解決方案：
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 轉換普通指針的地方，用shared_static_cast 轉換shared_ptr,
需要用dynamic_cast 轉換普通指針的地方，用shared_dynamic_cast 轉換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);
總結一下：
const_cast const_pointer_cast
static_cast static_pointer_cast
dynamic_cast dynamic_pointer_cast
最后一個小問題：以前，boost中的shared_ptr的cast函數的名字是：shared_xxxx_cast,
后來，為了IDE自動提供幫助，改成了xxxx_pointer_cast。由此可見，設計庫還是要用戶至上。
posted on 2009-04-30 21:43
尹東斐 閱讀(5215)
評論(2) 編輯 收藏 引用