00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026 #ifndef MLN_METAL_IS_A_HH
00027 # define MLN_METAL_IS_A_HH
00028
00032
00033 # include <mln/metal/bool.hh>
00034
00035
00044 # define mlc_is_a(T, M) mln::metal::is_a<T, M>
00045
00046
00047
00048
00049 # define mlc_is_a__1comma(Tleft, Tright, M) mln::metal::is_a< Tleft,Tright , M >
00050
00051
00052
00053 namespace mln
00054 {
00055
00056 namespace metal
00057 {
00058
00059 namespace internal
00060 {
00061
00062 typedef char yes_;
00063 struct no_ { char dummy[2]; };
00064
00065 template <typename T>
00066 struct make_
00067 {
00068 static T* ptr();
00069 };
00070
00071 template <typename T>
00072 struct make_< T& >
00073 {
00074 static T* ptr();
00075 };
00076
00077 template <typename T, template <class> class M>
00078 struct helper_is_a_
00079 {
00080
00081 template<class V>
00082 static yes_ selector(M<V>*);
00083 static no_ selector(...);
00084 };
00085
00086 }
00087
00088
00089
00093
00094 template <typename T, template <class> class M>
00095 struct is_a : bool_<( sizeof( internal::helper_is_a_< T, M >::selector(internal::make_< T >::ptr()) )
00096 ==
00097 sizeof( internal::yes_ ) )>
00098 {};
00099
00100 template <typename T, template <class> class M>
00101 struct is_a< const T, M > : is_a< T, M >::eval
00102 {};
00103
00104 template <typename T, template <class> class M>
00105 struct is_a< T&, M > : is_a< T, M >::eval
00106 {};
00107
00108 template <typename T, template <class> class M>
00109 struct is_a< const T&, M > : is_a< T, M >::eval
00110 {};
00111
00112
00113 }
00114
00115 }
00116
00117
00118 #endif // ! MLN_METAL_IS_A_HH