checkedcast.h

Go to the documentation of this file.

// include guard
#ifndef AFF_CHECKEDCAST_H_VERSION

#define AFF_CHECKEDCAST_H_VERSION \
  "AFF_CHECKEDCAST_H   V1.0"

namespace aff {
namespace util {

  template<class T, class TT>
    class SizeCheckedCast {

      public:
        static TT* cast(T* p) {
          return(reinterpret_cast<TT*>(
                   SizeCheck<sizeof(T),sizeof(TT)>::have_same_size(
                     ConstCheck<T,TT>::respects_constness(p)))); }

      private:
        template<class Tfrom, class Tto> class ConstCheck {
          public: static T* respects_constness(T* v) { return v; }
        }; // class ConstCheck

        template<class Tfrom, class Tto> 
          class ConstCheck<Tfrom, const Tto> {
          public: static T* respects_constness(T* v) { return v; }
        }; // class ConstCheck (specialization)

        template<class Tfrom, class Tto> 
          class ConstCheck<const Tfrom, const Tto> {
          public: static T* respects_constness(T* v) { return v; }
        }; // class ConstCheck (specialization)

        template<class Tfrom, class Tto> 
          class ConstCheck<const Tfrom, Tto> 
          { }; // class ConstCheck (specialization)

        /*----------------------------------------------------------------*/

        template<int N, int M> class SizeCheck 
        { }; // class SizeCheck (specialization)

        template<int N> class SizeCheck<N,N> { 
          public: static T* have_same_size(T* v) { return v; }
        }; // class SizeCheck

    }; // class SizeCheckedCast

} // namespace util
} // namespace aff

#endif // AFF_CHECKEDCAST_H_VERSION (includeguard)

/* ----- END OF checkedcast.h ----- */