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
00027 #ifndef MLN_VALUE_EQUIV_HH
00028 # define MLN_VALUE_EQUIV_HH
00029
00039 # include <mln/core/concept/value.hh>
00040
00041
00042 # define mln_value_equiv(V) typename mln::value::internal::equiv_<V>::ret
00043 # define mln_value_equiv_(V) mln::value::internal::equiv_<V>::ret
00044
00045
00046
00047 namespace mln
00048 {
00049
00050 namespace value
00051 {
00052
00053
00054 namespace internal { template <typename T> struct equiv_; }
00055
00056
00057
00059 template <typename V>
00060 typename internal::equiv_<V>::ret
00061 equiv(const mln::Value<V>& v);
00062
00063
00064
00065 # ifndef MLN_INCLUDE_ONLY
00066
00067 namespace internal
00068 {
00069
00070 typedef char yes_;
00071 struct no_ { char dummy[2]; };
00072
00073 template <typename T>
00074 struct make_
00075 {
00076 static T* ptr();
00077 };
00078
00079
00080
00081 template <unsigned id, typename T>
00082 struct equiv_ret_;
00083
00084
00085 template <typename V>
00086 typename internal::equiv_<V>::ret
00087 run_equiv_(const V& v);
00088
00089
00090 template <typename V, typename T>
00091 inline
00092 typename internal::equiv_<V>::ret
00093 run_equiv_(const Value<V>* v, const T*)
00094 {
00095 return run_equiv_(exact(v)->to_equiv());
00096 }
00097
00098 template <typename V>
00099 inline
00100 V
00101 run_equiv_(const void*, const V* v)
00102 {
00103 return *v;
00104 }
00105
00106 template <typename V>
00107 inline
00108 typename internal::equiv_<V>::ret
00109 run_equiv_(const V& v)
00110 {
00111 return run_equiv_(&v, &v);
00112 }
00113
00114
00115 template <typename T>
00116 struct equiv_ret_< 1, T >
00117 {
00118 typedef typename T::equiv V;
00119 typedef typename equiv_<V>::ret ret;
00120 };
00121
00122 template <typename T>
00123 struct equiv_ret_< 2, T >
00124 {
00125 typedef T ret;
00126 };
00127
00128 template <typename V>
00129 yes_ equiv_selector_(Value<V>*);
00130
00131 no_ equiv_selector_(void*);
00132
00133 template <typename T>
00134 struct equiv_
00135 {
00136 enum { id = sizeof(equiv_selector_(make_<T>::ptr())) };
00137 typedef typename equiv_ret_<id, T>::ret ret;
00138
00139 inline
00140 static ret run(const T& t)
00141 {
00142 return ret::run(t);
00143 }
00144 };
00145
00146 }
00147
00148
00149
00150 template <typename V>
00151 inline
00152 typename internal::equiv_<V>::ret
00153 equiv(const mln::Value<V>& v)
00154 {
00155 return internal::run_equiv_(exact(v));
00156 }
00157
00158
00159 # endif // ! MLN_INCLUDE_ONLY
00160
00161 }
00162
00163 }
00164
00165 # include <mln/value/cast.hh>
00166
00167 #endif // ! MLN_VALUE_EQUIV_HH