sample_merge.hpp 3.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103
  1. // (C) Copyright Gennadiy Rozental 2001.
  2. // Distributed under the Boost Software License, Version 1.0.
  3. // (See accompanying file LICENSE_1_0.txt or copy at
  4. // http://www.boost.org/LICENSE_1_0.txt)
  5. // See http://www.boost.org/libs/test for the library home page.
  6. //
  7. /// @file
  8. /// Defines helper routines and types for merging monomorphic samples
  9. // ***************************************************************************
  10. #ifndef BOOST_TEST_DATA_MONOMORPHIC_SAMPLE_MERGE_HPP
  11. #define BOOST_TEST_DATA_MONOMORPHIC_SAMPLE_MERGE_HPP
  12. // Boost.Test
  13. #include <boost/test/data/config.hpp>
  14. #include <boost/test/data/index_sequence.hpp>
  15. #include <boost/test/data/monomorphic/fwd.hpp>
  16. #include <boost/test/detail/suppress_warnings.hpp>
  17. namespace boost {
  18. namespace unit_test {
  19. namespace data {
  20. namespace monomorphic {
  21. //____________________________________________________________________________//
  22. namespace ds_detail {
  23. template <class T>
  24. struct is_tuple : std::false_type {};
  25. template <class ...T>
  26. struct is_tuple<std::tuple<T...>> : std::true_type {};
  27. template <class T>
  28. struct is_tuple<T&&> : is_tuple<typename std::decay<T>::type> {};
  29. template <class T>
  30. struct is_tuple<T&> : is_tuple<typename std::decay<T>::type> {};
  31. template<typename T>
  32. inline auto as_tuple_impl_xvalues( T const & arg, std::false_type /* is_rvalue_ref */ )
  33. -> decltype(std::tuple<T const&>(arg)) {
  34. //return std::tuple<T const&>(arg);
  35. return std::forward_as_tuple(arg);
  36. }
  37. template<typename T>
  38. inline auto as_tuple_impl_xvalues( T && arg, std::true_type /* is_rvalue_ref */ )
  39. -> decltype(std::make_tuple(std::forward<T>(arg))) {
  40. return std::make_tuple(std::forward<T>(arg));
  41. }
  42. template<typename T>
  43. inline auto as_tuple_impl( T && arg, std::false_type /* is_tuple = nullptr */ )
  44. -> decltype(as_tuple_impl_xvalues(std::forward<T>(arg),
  45. typename std::is_rvalue_reference<T&&>::type())) {
  46. return as_tuple_impl_xvalues(std::forward<T>(arg),
  47. typename std::is_rvalue_reference<T&&>::type());
  48. }
  49. //____________________________________________________________________________//
  50. template<typename T>
  51. inline T &&
  52. as_tuple_impl(T && arg, std::true_type /* is_tuple */ ) {
  53. return std::forward<T>(arg);
  54. }
  55. template<typename T>
  56. inline auto as_tuple( T && arg )
  57. -> decltype( as_tuple_impl(std::forward<T>(arg),
  58. typename ds_detail::is_tuple<T>::type()) ) {
  59. return as_tuple_impl(std::forward<T>(arg),
  60. typename ds_detail::is_tuple<T>::type());
  61. }
  62. //____________________________________________________________________________//
  63. } // namespace ds_detail
  64. template<typename T1, typename T2>
  65. inline auto
  66. sample_merge( T1 && a1, T2 && a2 )
  67. -> decltype( std::tuple_cat(ds_detail::as_tuple(std::forward<T1>(a1)),
  68. ds_detail::as_tuple(std::forward<T2>(a2)) ) ) {
  69. return std::tuple_cat(ds_detail::as_tuple(std::forward<T1>(a1)),
  70. ds_detail::as_tuple(std::forward<T2>(a2)));
  71. }
  72. } // namespace monomorphic
  73. } // namespace data
  74. } // namespace unit_test
  75. } // namespace boost
  76. #include <boost/test/detail/enable_warnings.hpp>
  77. #endif // BOOST_TEST_DATA_MONOMORPHIC_SAMPLE_MERGE_HPP