1
0
forked from boostorg/mp11

Restrict msvc-12.0 to one tuple in tuple_transform

This commit is contained in:
Peter Dimov
2020-05-24 00:56:43 +03:00
parent 857ba905e4
commit 917ac15ee1
3 changed files with 73 additions and 7 deletions

View File

@@ -89,6 +89,41 @@ template<class Tp, class F> BOOST_MP11_CONSTEXPR F tuple_for_each( Tp && tp, F &
}
// tuple_transform
namespace detail
{
template<class... T> BOOST_MP11_CONSTEXPR auto tp_forward( T&&... t ) -> std::tuple<T...>
{
return std::tuple<T...>( std::forward<T>( t )... );
}
} // namespace detail
#if BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
namespace detail
{
template<class F, class Tp, std::size_t... J>
BOOST_MP11_CONSTEXPR auto tuple_transform_impl( integer_sequence<std::size_t, J...>, F const& f, Tp&& tp )
-> decltype( tp_forward( f( std::get<J>( std::forward<Tp>(tp) ) )... ) )
{
return tp_forward( f( std::get<J>( std::forward<Tp>(tp) ) )... );
}
} // namespace detail
template<class F, class Tp,
class Seq = make_index_sequence<std::tuple_size<typename std::remove_reference<Tp>::type>::value>>
BOOST_MP11_CONSTEXPR auto tuple_transform( F const& f, Tp&& tp )
-> decltype( detail::tuple_transform_impl( Seq(), f, std::forward<Tp>(tp) ) )
{
return detail::tuple_transform_impl( Seq(), f, std::forward<Tp>(tp) );
}
#else
namespace detail
{
@@ -99,11 +134,6 @@ BOOST_MP11_CONSTEXPR auto tp_extract( Tp&&... tp )
return std::forward_as_tuple( std::get<J>( std::forward<Tp>( tp ) )... );
}
template<class... T> BOOST_MP11_CONSTEXPR auto tp_forward( T&&... t ) -> std::tuple<T...>
{
return std::tuple<T...>( std::forward<T>( t )... );
}
template<class F, class... Tp, std::size_t... J>
BOOST_MP11_CONSTEXPR auto tuple_transform_impl( integer_sequence<std::size_t, J...>, F const& f, Tp&&... tp )
-> decltype( tp_forward( tuple_apply( f, tp_extract<J>( std::forward<Tp>(tp)... ) )... ) )
@@ -135,7 +165,9 @@ BOOST_MP11_CONSTEXPR auto tuple_transform( F const& f, Tp&&... tp )
return detail::tuple_transform_impl( Seq(), f, std::forward<Tp>(tp)... );
}
#endif
#endif // BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1910 )
#endif // BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
} // namespace mp11
} // namespace boost

View File

@@ -58,6 +58,8 @@ int main()
BOOST_TEST_EQ( std::get<2>(s).value, 5 );
}
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
{
std::tuple<T<5>, T<7>, T<9>> s = tuple_transform( F{}, tp, tp2 );
BOOST_TEST_EQ( std::get<0>(s).value, 6 );
@@ -73,6 +75,8 @@ int main()
BOOST_TEST_EQ( std::get<1>(s).value, 8 );
BOOST_TEST_EQ( std::get<2>(s).value, 10 );
}
#endif
}
{
@@ -93,6 +97,8 @@ int main()
BOOST_TEST_EQ( std::get<2>(s).value, 5 );
}
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
{
std::tuple<T<5>, T<7>, T<9>> s = tuple_transform( F{}, tp, tp2 );
BOOST_TEST_EQ( std::get<0>(s).value, 6 );
@@ -108,6 +114,8 @@ int main()
BOOST_TEST_EQ( std::get<1>(s).value, 8 );
BOOST_TEST_EQ( std::get<2>(s).value, 10 );
}
#endif
}
{
@@ -126,6 +134,8 @@ int main()
BOOST_TEST_EQ( std::get<1>(s).value, 4 );
}
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
{
std::tuple<T<4>, T<6>> s = tuple_transform( F{}, tp, tp2 );
BOOST_TEST_EQ( std::get<0>(s).value, 5 );
@@ -139,6 +149,9 @@ int main()
BOOST_TEST_EQ( std::get<0>(s).value, 5 );
BOOST_TEST_EQ( std::get<1>(s).value, 7 );
}
#endif
}
{
@@ -157,6 +170,8 @@ int main()
BOOST_TEST_EQ( std::get<1>(s).value, 4 );
}
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
{
std::tuple<T<4>, T<6>> s = tuple_transform( F{}, tp, tp2 );
BOOST_TEST_EQ( std::get<0>(s).value, 5 );
@@ -170,6 +185,9 @@ int main()
BOOST_TEST_EQ( std::get<0>(s).value, 5 );
BOOST_TEST_EQ( std::get<1>(s).value, 7 );
}
#endif
}
{

View File

@@ -63,6 +63,8 @@ int main()
BOOST_TEST_EQ( std::get<0>( r ), 2 );
}
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
{
std::tuple<int> r = tuple_transform( g, ::make_array( 1 ), std::make_tuple( 2 ) );
@@ -75,6 +77,8 @@ int main()
BOOST_TEST_EQ( std::get<0>( r ), 6 );
}
#endif
//
{
@@ -98,6 +102,8 @@ int main()
BOOST_TEST_EQ( std::get<1>( r ), 3 );
}
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
{
std::tuple<int, int> r = tuple_transform( g, ::make_array( 1, 2 ), std::make_pair( 3, 4 ) );
@@ -112,6 +118,8 @@ int main()
BOOST_TEST_EQ( std::get<1>( r ), 12 );
}
#endif
//
{
@@ -130,6 +138,8 @@ int main()
BOOST_TEST_EQ( std::get<2>( r ), 4 );
}
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
{
std::tuple<int, int, int> r = tuple_transform( g, ::make_array( 1, 2, 3 ), std::make_tuple( 4, 5, 6 ) );
@@ -146,6 +156,10 @@ int main()
BOOST_TEST_EQ( std::get<2>( r ), 18 );
}
#endif
#if !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
{
using namespace boost::mp11;
@@ -158,5 +172,7 @@ int main()
mp_for_each<Tp>( test_element<decltype(r)>{ r } );
}
#endif
return boost::report_errors();
}