# include <boost/mpl/and.hpp>
# include <boost/mpl/apply_if.hpp>
# include <boost/mpl/bool.hpp>
# include <boost/mpl/or.hpp>
# include <boost/type_traits/is_base_and_derived.hpp>
# include "boost/type_traits/is_same.hpp"
# include <iosfwd>

#include <iostream>
#include <sstream>
#include <string>

namespace detail {

typedef char One;
typedef struct { char a[2]; } Two;

} // namespace detail


#define TYPE_HAS_MEMBER_TYPE(STRUCT_NAME, MEMBER_TYPE)                 \
namespace detail {                                                     \
                                                                       \
template <typename T> One STRUCT_NAME(typename T::MEMBER_TYPE (*)());  \
template <typename T> Two STRUCT_NAME(...);                            \
                                                                       \
} /* namespace detail */                                               \
                                                                       \
template <typename T>                                                  \
struct STRUCT_NAME                                                     \
    : boost::mpl::bool_< sizeof(detail::STRUCT_NAME<T>(0)) == 1 >      \
{}

TYPE_HAS_MEMBER_TYPE(has_char_type,   char_type);
TYPE_HAS_MEMBER_TYPE(has_traits_type, traits_type);

#undef TYPE_HAS_MEMBER_TYPE


template <typename T>
struct is_derived_from_std_basic_ostream
    : boost::mpl::and_<
          boost::mpl::and_<
              has_char_type<T>
            , has_traits_type<T>
          >
        , boost::mpl::or_<
	      boost::is_same<
	          std::basic_ostream<
	              typename T::char_type,
	              typename T::traits_type
	          >
                , T
	      >
            , boost::is_base_and_derived<
	          std::basic_ostream<
	              typename T::char_type,
	              typename T::traits_type
	          >
                , T
	      >
	  >
      >
{};


int main()
{
    print(is_derived_from_std_basic_ostream<std::ostream>());
    print(is_derived_from_std_basic_ostream<std::iostream>());
    print(is_derived_from_std_basic_ostream<std::stringstream>());
    print(is_derived_from_std_basic_ostream<std::ostringstream>());
    print(is_derived_from_std_basic_ostream<std::wostringstream>());
    print(is_derived_from_std_basic_ostream<std::istream>());
    print(is_derived_from_std_basic_ostream<std::wistream>());
    print(is_derived_from_std_basic_ostream<std::istringstream>());
    print(is_derived_from_std_basic_ostream<std::wistringstream>());
    print(is_derived_from_std_basic_ostream<std::string>());
    print(is_derived_from_std_basic_ostream<bool>());
    print(is_derived_from_std_basic_ostream<char>());
    return 0;
}