一个类型转换元编程问题

幻の上帝

求一个元编程实现的根据源类型在编译期选择策略的类型转换模板（C++03），具体需求如下：
1.对于非类类型引用/指针，使用static_cast；
2.对于非多态类的类类型引用/指针，使用static_cast；
3.对于安全的upcast（源类型是目标类型的派生类），使用static_cast；
4.对于非安全的upcast（源类型不是目标类型的派生类）或者非多态虚基类的downcast，产生编译错误；
5.对于源类型是目标类型（去除引用/指针）的虚基类的引用/指针的downcast，使用dynamic_cast；
6.对于其它的crosscast，使用dynamic_cast；
7.对于其它的downcast，使用类似boost::polymorphic_downcast的实现。
貌似过于复杂了……所以我实现不出来- -...
一个问题是不知道是不是有办法能在编译期确定是不是有虚基类……
附现有实现：

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 类型转换：源类型为多态类时同 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 类型转换：源类型为多态类时同 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 类型转换：源类型为多态类时同 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 类型转换：源类型为多态类时同 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.     }
    

复制代码

OwnWaterloo

orz ……

设X是一个class type。
struct A : X {};
struct B : X {};
struct C : A, B {};

如果X含有虚基类的话， C的大小应该比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. };
   

复制代码

可行否？

幻の上帝

orz ……

设X是一个class type。
struct A : X {};
struct B : X {};
struct C : A, B {};

如果X含 ...
OwnWaterloo 发表于 2010-12-22 13:22

谢谢。
呃...应该可以用，除非X的虚基类都是没有数据成员的非多态类，估计会被优化掉……不过非多态虚基类downcast用static_cast和dynamic_cast都应付不了，会出来编译错误就行了。