一個(gè)類(lèi)型轉(zhuǎn)換元編程問(wèn)題

幻の上帝

求一個(gè)元編程實(shí)現(xiàn)的根據(jù)源類(lèi)型在編譯期選擇策略的類(lèi)型轉(zhuǎn)換模板（C++03），具體需求如下：
1.對(duì)于非類(lèi)類(lèi)型引用/指針，使用static_cast；
2.對(duì)于非多態(tài)類(lèi)的類(lèi)類(lèi)型引用/指針，使用static_cast；
3.對(duì)于安全的upcast（源類(lèi)型是目標(biāo)類(lèi)型的派生類(lèi)），使用static_cast；
4.對(duì)于非安全的upcast（源類(lèi)型不是目標(biāo)類(lèi)型的派生類(lèi)）或者非多態(tài)虛基類(lèi)的downcast，產(chǎn)生編譯錯(cuò)誤；
5.對(duì)于源類(lèi)型是目標(biāo)類(lèi)型（去除引用/指針）的虛基類(lèi)的引用/指針的downcast，使用dynamic_cast；
6.對(duì)于其它的crosscast，使用dynamic_cast；
7.對(duì)于其它的downcast，使用類(lèi)似boost::polymorphic_downcast的實(shí)現(xiàn)。
貌似過(guò)于復(fù)雜了……所以我實(shí)現(xiàn)不出來(lái)- -...
一個(gè)問(wèn)題是不知道是不是有辦法能在編譯期確定是不是有虛基類(lèi)……
附現(xiàn)有實(shí)現(xiàn)：

1. 
   
2.     namespace _impl
   
3.     {
   
4.         template<typename _type, typename _type2, bool _bIsPolymorphicClass>
   
5.         struct _general_cast_helper
   
6.         {
   
7.             inline static _type
   
8.             cast(_type2 s)
   
9.             {
   
10.                 return dynamic_cast<_type>(s);
    
11.             }
    
12.         };
    
13.         template<typename _type, typename _type2>
    
14.         struct _general_cast_helper<_type, _type2, false>
    
15.         {
    
16.             inline static _type
    
17.             cast(_type2 s)
    
18.             {
    
19.                 return static_cast<_type>(s);
    
20.             }
    
21.         };
    
22.         template<typename _type>
    
23.         struct _general_cast_helper<_type, _type, true>
    
24.         {
    
25.             inline static _type
    
26.             cast(_type s)
    
27.             {
    
28.                 return s;
    
29.             }
    
30.         };
    
31.         template<typename _type>
    
32.         struct _general_cast_helper<_type, _type, false>
    
33.         {
    
34.             inline static _type
    
35.             cast(_type s)
    
36.             {
    
37.                 return s;
    
38.             }
    
39.         };
    
40.     }
    
41. 
    
42.     /*!
    
43.     \brief 類(lèi)型轉(zhuǎn)換：源類(lèi)型為多態(tài)類(lèi)時(shí)同 dynamic_cast ，否則同 static_cast 。
    
44.     */
    
45.     template<typename _tDst, typename _tSrc>
    
46.     inline _tDst
    
47.     general_cast(_tSrc* s)
    
48.     {
    
49.         return _impl::_general_cast_helper<_tDst, _tSrc*,
    
50.             std::tr1::is_polymorphic<_tSrc>::value>::cast(s);
    
51.     }
    
52.     /*!
    
53.     \brief 類(lèi)型轉(zhuǎn)換：源類(lèi)型為多態(tài)類(lèi)時(shí)同 dynamic_cast ，否則同 static_cast 。
    
54.     */
    
55.     template<typename _tDst, typename _tSrc>
    
56.     inline const _tDst
    
57.     general_cast(const _tSrc* s)
    
58.     {
    
59.         return _impl::_general_cast_helper<_tDst, _tSrc*,
    
60.             std::tr1::is_polymorphic<_tSrc>::value>::cast(s);
    
61.     }
    
62.     /*!
    
63.     \brief 類(lèi)型轉(zhuǎn)換：源類(lèi)型為多態(tài)類(lèi)時(shí)同 dynamic_cast ，否則同 static_cast 。
    
64.     */
    
65.     template<typename _tDst, typename _tSrc>
    
66.     inline _tDst
    
67.     general_cast(_tSrc& s)
    
68.     {
    
69.         return _impl::_general_cast_helper<_tDst, _tSrc&,
    
70.             std::tr1::is_polymorphic<_tSrc>::value>::cast(s);
    
71.     }
    
72.     /*!
    
73.     \brief 類(lèi)型轉(zhuǎn)換：源類(lèi)型為多態(tài)類(lèi)時(shí)同 dynamic_cast ，否則同 static_cast 。
    
74.     */
    
75.     template<typename _tDst, typename _tSrc>
    
76.     inline const _tDst
    
77.     general_cast(const _tSrc& s)
    
78.     {
    
79.         return _impl::_general_cast_helper<_tDst, _tSrc&,
    
80.             std::tr1::is_polymorphic<_tSrc>::value>::cast(s);
    
81.     }
    

復(fù)制代碼

OwnWaterloo

orz ……

設(shè)X是一個(gè)class type。
struct A : X {};
struct B : X {};
struct C : A, B {};

如果X含有虛基類(lèi)的話(huà)， C的大小應(yīng)該比A+B要小？

1. 
   
2. template<class X>
   
3. struct has_virtual_base
   
4. {
   
5.       struct A : X {};
   
6.       struct B : X {};
   
7.       struct C : A, B {};
   
8.       enum { value = sizeof(C)<sizeof(A)+sizeof(B) };
   
9. };
   

復(fù)制代碼

可行否？

幻の上帝

orz ……

設(shè)X是一個(gè)class type。
struct A : X {};
struct B : X {};
struct C : A, B {};

如果X含 ...
OwnWaterloo 發(fā)表于 2010-12-22 13:22

謝謝。
呃...應(yīng)該可以用，除非X的虛基類(lèi)都是沒(méi)有數(shù)據(jù)成員的非多態(tài)類(lèi)，估計(jì)會(huì)被優(yōu)化掉……不過(guò)非多態(tài)虛基類(lèi)downcast用static_cast和dynamic_cast都應(yīng)付不了，會(huì)出來(lái)編譯錯(cuò)誤就行了。