#include <boost/type_traits.hpp>
#include <boost/scoped_ptr.hpp>
#include <boost/shared_ptr.hpp>
#include <memory>

#include <iostream>

namespace private_ns{

typedef char (&funny_size)[7919];  // large prime number, very rair in practice

template <class T>
funny_size operator*(const T&);

template <class T, bool isclass> 
struct is_dereferencable_imp
{
   static T& object;
   static const bool value = sizeof(*object) != sizeof(funny_size);
};
template <class T> 
struct is_dereferencable_imp<T, false>
{
   static const bool value = ::boost::is_pointer<T>::value;
};

}

template <class T> 
struct is_dereferencable
{
   typedef typename boost::remove_reference<T>::type no_ref_type;
   typedef typename boost::remove_cv<no_ref_type>::type base_type;
   static const bool value = 
      private_ns::is_dereferencable_imp<base_type, ::boost::is_class<base_type>::value>::value;
};


struct B{};

int operator*(B&)
{
   return 0;
}

struct C{};

typedef int B::*mp;
typedef int (B::*pmf)(int);
typedef void (*pf)();


int main() 
{
   // false
   std::cout << is_dereferencable<C>::value << std::endl;
   std::cout << is_dereferencable<int>::value << std::endl;
   std::cout << is_dereferencable<void>::value << std::endl;
   std::cout << is_dereferencable<char[]>::value << std::endl;
   std::cout << is_dereferencable<B[2]>::value << std::endl;
   // true
   std::cout << is_dereferencable<void*>::value << std::endl;
   std::cout << is_dereferencable<int*>::value << std::endl;
   std::cout << is_dereferencable<const int*>::value << std::endl;
   std::cout << is_dereferencable<B>::value << std::endl;
   std::cout << is_dereferencable<B&>::value << std::endl;
   std::cout << is_dereferencable<const B>::value << std::endl;
   std::cout << is_dereferencable<const B&>::value << std::endl;
   std::cout << is_dereferencable<boost::scoped_ptr<int> >::value << std::endl;
   std::cout << is_dereferencable<boost::shared_ptr<int> >::value << std::endl;
   std::cout << is_dereferencable<std::auto_ptr<int> >::value << std::endl;
   std::cout << is_dereferencable<pf>::value << std::endl;
   // false
   std::cout << is_dereferencable<mp>::value << std::endl;
   std::cout << is_dereferencable<pmf>::value << std::endl;
}