check_return_type.hpp 907 B

123456789101112131415161718192021222324252627282930313233
  1. // Copyright 2005-2009 Daniel James.
  2. // Distributed under the Boost Software License, Version 1.0. (See accompanying
  3. // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  4. #if !defined(BOOST_UNORDERED_TEST_HELPERS_CHECK_RETURN_TYPE_HEADER)
  5. #define BOOST_UNORDERED_TEST_HELPERS_CHECK_RETURN_TYPE_HEADER
  6. #include <boost/static_assert.hpp>
  7. #include <boost/type_traits/is_convertible.hpp>
  8. #include <boost/type_traits/is_same.hpp>
  9. namespace test {
  10. template <class T1> struct check_return_type
  11. {
  12. template <class T2> static void equals(T2)
  13. {
  14. BOOST_STATIC_ASSERT((boost::is_same<T1, T2>::value));
  15. }
  16. template <class T2> static void equals_ref(T2&)
  17. {
  18. BOOST_STATIC_ASSERT((boost::is_same<T1, T2>::value));
  19. }
  20. template <class T2> static void convertible(T2)
  21. {
  22. BOOST_STATIC_ASSERT((boost::is_convertible<T2, T1>::value));
  23. }
  24. };
  25. }
  26. #endif