test_relaxed.cpp 961 B

123456789101112131415161718192021222324252627282930313233343536
  1. // Boost.TypeErasure library
  2. //
  3. // Copyright 2011 Steven Watanabe
  4. //
  5. // Distributed under the Boost Software License Version 1.0. (See
  6. // accompanying file LICENSE_1_0.txt or copy at
  7. // http://www.boost.org/LICENSE_1_0.txt)
  8. //
  9. // $Id$
  10. #include <boost/type_erasure/any.hpp>
  11. #include <boost/type_erasure/tuple.hpp>
  12. #include <boost/type_erasure/builtin.hpp>
  13. #include <boost/type_erasure/operators.hpp>
  14. #include <boost/type_erasure/any_cast.hpp>
  15. #include <boost/type_erasure/relaxed.hpp>
  16. #include <boost/mpl/vector.hpp>
  17. #define BOOST_TEST_MAIN
  18. #include <boost/test/unit_test.hpp>
  19. using namespace boost::type_erasure;
  20. template<class T = _self>
  21. struct common : ::boost::mpl::vector<
  22. copy_constructible<T>,
  23. typeid_<T>
  24. > {};
  25. BOOST_AUTO_TEST_CASE(test_simple)
  26. {
  27. typedef ::boost::mpl::vector<copy_constructible<>, addable<>, relaxed> src_concept;
  28. any<src_concept> x(1);
  29. any<src_concept> y(2.0);
  30. BOOST_CHECK_THROW(x + y, bad_function_call);
  31. }