mirror of
https://github.com/bolero-MURAKAMI/Sprout.git
synced 2025-07-12 14:54:10 +00:00
add C++17 transform_exclusive_scan, transform_inclusive_scan
This commit is contained in:
bolero-MURAKAMI
parent
9ce83b0863
commit
786c4f3b1e
26 changed files with 893 additions and 1 deletions
183
sprout/numeric/fixed/transform_inclusive_scan.hpp
Normal file
183
sprout/numeric/fixed/transform_inclusive_scan.hpp
Normal file
|
|
@ -0,0 +1,183 @@
|
|||
/*=============================================================================
|
||||
Copyright (c) 2011-2017 Bolero MURAKAMI
|
||||
https://github.com/bolero-MURAKAMI/Sprout
|
||||
|
||||
Distributed under the Boost Software License, Version 1.0. (See accompanying
|
||||
file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
||||
=============================================================================*/
|
||||
#ifndef SPROUT_NUMERIC_FIXED_TRANSFORM_INCLUSIVE_SCAN_HPP
|
||||
#define SPROUT_NUMERIC_FIXED_TRANSFORM_INCLUSIVE_SCAN_HPP
|
||||
|
||||
#include <type_traits>
|
||||
#include <sprout/config.hpp>
|
||||
#include <sprout/container/traits.hpp>
|
||||
#include <sprout/container/functions.hpp>
|
||||
#include <sprout/iterator/operation.hpp>
|
||||
#include <sprout/iterator/type_traits/is_iterator_of.hpp>
|
||||
#include <sprout/type_traits/enabler_if.hpp>
|
||||
#include <sprout/algorithm/fixed/results.hpp>
|
||||
#include <sprout/pit/pit.hpp>
|
||||
#include <sprout/detail/container_complate.hpp>
|
||||
|
||||
namespace sprout {
|
||||
namespace fixed {
|
||||
namespace detail {
|
||||
template<typename InputIterator, typename Result, typename BinaryOperation, typename UnaryOperation, typename... Args>
|
||||
inline SPROUT_CONSTEXPR typename std::enable_if<
|
||||
sprout::container_traits<Result>::static_size == sizeof...(Args) + 1,
|
||||
typename sprout::fixed::results::algorithm<Result>::type
|
||||
>::type
|
||||
transform_inclusive_scan_impl_1(
|
||||
InputIterator const&, InputIterator const&, Result const& result, BinaryOperation, UnaryOperation,
|
||||
typename sprout::container_traits<Result>::size_type,
|
||||
typename sprout::container_traits<Result>::value_type const& value,
|
||||
Args const&... args
|
||||
)
|
||||
{
|
||||
return sprout::remake<Result>(result, sprout::size(result), args..., value);
|
||||
}
|
||||
template<typename InputIterator, typename Result, typename BinaryOperation, typename UnaryOperation, typename... Args>
|
||||
inline SPROUT_CONSTEXPR typename std::enable_if<
|
||||
sprout::container_traits<Result>::static_size != sizeof...(Args) + 1,
|
||||
typename sprout::fixed::results::algorithm<Result>::type
|
||||
>::type
|
||||
transform_inclusive_scan_impl_1(
|
||||
InputIterator const& first, InputIterator const& last, Result const& result, BinaryOperation binary_op, UnaryOperation unary_op,
|
||||
typename sprout::container_traits<Result>::size_type size,
|
||||
typename sprout::container_traits<Result>::value_type const& value,
|
||||
Args const&... args
|
||||
)
|
||||
{
|
||||
return first != last && sizeof...(Args) + 1 < size
|
||||
? transform_inclusive_scan_impl_1(sprout::next(first), last, result, binary_op, unary_op, size, binary_op(value, unary_op(*first)), args..., value)
|
||||
: sprout::detail::container_complate(result, args..., value)
|
||||
;
|
||||
}
|
||||
template<typename InputIterator, typename Result, typename BinaryOperation, typename UnaryOperation>
|
||||
inline SPROUT_CONSTEXPR typename std::enable_if<
|
||||
sprout::container_traits<Result>::static_size == 0,
|
||||
typename sprout::fixed::results::algorithm<Result>::type
|
||||
>::type
|
||||
transform_inclusive_scan_impl(
|
||||
InputIterator, InputIterator, Result const& result, BinaryOperation, UnaryOperation,
|
||||
typename sprout::container_traits<Result>::size_type
|
||||
)
|
||||
{
|
||||
return sprout::remake<Result>(result, sprout::size(result));
|
||||
}
|
||||
template<typename InputIterator, typename Result, typename BinaryOperation, typename UnaryOperation>
|
||||
inline SPROUT_CONSTEXPR typename std::enable_if<
|
||||
sprout::container_traits<Result>::static_size != 0,
|
||||
typename sprout::fixed::results::algorithm<Result>::type
|
||||
>::type
|
||||
transform_inclusive_scan_impl(
|
||||
InputIterator const& first, InputIterator const& last, Result const& result, BinaryOperation binary_op, UnaryOperation unary_op,
|
||||
typename sprout::container_traits<Result>::size_type size
|
||||
)
|
||||
{
|
||||
return first != last
|
||||
? transform_inclusive_scan_impl_1(sprout::next(first), last, result, binary_op, unary_op, size, unary_op(*first))
|
||||
: sprout::detail::container_complate(result)
|
||||
;
|
||||
}
|
||||
} // namespace detail
|
||||
//
|
||||
// transform_inclusive_scan
|
||||
//
|
||||
template<typename InputIterator, typename Result, typename BinaryOperation, typename UnaryOperation>
|
||||
inline SPROUT_CONSTEXPR typename sprout::fixed::results::algorithm<Result>::type
|
||||
transform_inclusive_scan(InputIterator first, InputIterator last, Result const& result, BinaryOperation binary_op, UnaryOperation unary_op) {
|
||||
return sprout::fixed::detail::transform_inclusive_scan_impl(first, last, result, binary_op, unary_op, sprout::size(result));
|
||||
}
|
||||
template<typename Result, typename InputIterator, typename BinaryOperation, typename UnaryOperation>
|
||||
inline SPROUT_CONSTEXPR typename sprout::fixed::results::algorithm<Result>::type
|
||||
transform_inclusive_scan(InputIterator first, InputIterator last, BinaryOperation binary_op, UnaryOperation unary_op) {
|
||||
return sprout::fixed::transform_inclusive_scan(first, last, sprout::pit<Result>(), binary_op, unary_op);
|
||||
}
|
||||
|
||||
namespace detail {
|
||||
template<typename InputIterator, typename Result, typename BinaryOperation, typename UnaryOperation, typename T>
|
||||
inline SPROUT_CONSTEXPR typename std::enable_if<
|
||||
sprout::container_traits<Result>::static_size == 0,
|
||||
typename sprout::fixed::results::algorithm<Result>::type
|
||||
>::type
|
||||
transform_inclusive_scan_impl(
|
||||
InputIterator, InputIterator, Result const& result, BinaryOperation, T,
|
||||
typename sprout::container_traits<Result>::size_type
|
||||
)
|
||||
{
|
||||
return sprout::remake<Result>(result, sprout::size(result));
|
||||
}
|
||||
template<typename InputIterator, typename Result, typename BinaryOperation, typename UnaryOperation, typename T>
|
||||
inline SPROUT_CONSTEXPR typename std::enable_if<
|
||||
sprout::container_traits<Result>::static_size == 1,
|
||||
typename sprout::fixed::results::algorithm<Result>::type
|
||||
>::type
|
||||
transform_inclusive_scan_impl(
|
||||
InputIterator, InputIterator, Result const& result, BinaryOperation, T init,
|
||||
typename sprout::container_traits<Result>::size_type
|
||||
)
|
||||
{
|
||||
return sprout::remake<Result>(result, sprout::size(result), init);
|
||||
}
|
||||
template<typename InputIterator, typename Result, typename BinaryOperation, typename UnaryOperation, typename T>
|
||||
inline SPROUT_CONSTEXPR typename std::enable_if<
|
||||
(sprout::container_traits<Result>::static_size > 1),
|
||||
typename sprout::fixed::results::algorithm<Result>::type
|
||||
>::type
|
||||
transform_inclusive_scan_impl(
|
||||
InputIterator const& first, InputIterator const& last, Result const& result, BinaryOperation binary_op, UnaryOperation unary_op, T init,
|
||||
typename sprout::container_traits<Result>::size_type size
|
||||
)
|
||||
{
|
||||
return first != last
|
||||
? transform_inclusive_scan_impl_1(first, last, result, binary_op, unary_op, size, init)
|
||||
: sprout::detail::container_complate(result, init)
|
||||
;
|
||||
}
|
||||
} // namespace detail
|
||||
//
|
||||
// transform_inclusive_scan
|
||||
//
|
||||
template<typename InputIterator, typename Result, typename BinaryOperation, typename UnaryOperation, typename T>
|
||||
inline SPROUT_CONSTEXPR typename sprout::fixed::results::algorithm<Result>::type
|
||||
transform_inclusive_scan(InputIterator first, InputIterator last, Result const& result, BinaryOperation binary_op, UnaryOperation unary_op, T init) {
|
||||
return sprout::fixed::detail::transform_inclusive_scan_impl(first, last, result, binary_op, unary_op, init, sprout::size(result));
|
||||
}
|
||||
template<typename Result, typename InputIterator, typename BinaryOperation, typename UnaryOperation, typename T>
|
||||
inline SPROUT_CONSTEXPR typename sprout::fixed::results::algorithm<Result>::type
|
||||
transform_inclusive_scan(InputIterator first, InputIterator last, BinaryOperation binary_op, UnaryOperation unary_op, T init) {
|
||||
return sprout::fixed::transform_inclusive_scan(first, last, sprout::pit<Result>(), binary_op, unary_op, init);
|
||||
}
|
||||
} // namespace fixed
|
||||
|
||||
template<
|
||||
typename InputIterator, typename Result, typename BinaryOperation, typename UnaryOperation,
|
||||
typename sprout::enabler_if<!sprout::is_iterator_outputable<Result>::value>::type = sprout::enabler
|
||||
>
|
||||
inline SPROUT_CONSTEXPR typename sprout::fixed::results::algorithm<Result>::type
|
||||
transform_inclusive_scan(InputIterator first, InputIterator last, Result const& result, BinaryOperation binary_op, UnaryOperation unary_op) {
|
||||
return sprout::fixed::transform_inclusive_scan(first, last, result, binary_op, unary_op);
|
||||
}
|
||||
template<typename Result, typename InputIterator, typename BinaryOperation, typename UnaryOperation>
|
||||
inline SPROUT_CONSTEXPR typename sprout::fixed::results::algorithm<Result>::type
|
||||
transform_inclusive_scan(InputIterator first, InputIterator last, BinaryOperation binary_op, UnaryOperation unary_op) {
|
||||
return sprout::fixed::transform_inclusive_scan<Result>(first, last, binary_op, unary_op);
|
||||
}
|
||||
|
||||
template<
|
||||
typename InputIterator, typename Result, typename BinaryOperation, typename UnaryOperation, typename T,
|
||||
typename sprout::enabler_if<!sprout::is_iterator_outputable<Result>::value>::type = sprout::enabler
|
||||
>
|
||||
inline SPROUT_CONSTEXPR typename sprout::fixed::results::algorithm<Result>::type
|
||||
transform_inclusive_scan(InputIterator first, InputIterator last, Result const& result, BinaryOperation binary_op, UnaryOperation unary_op, T init) {
|
||||
return sprout::fixed::transform_inclusive_scan(first, last, result, binary_op, unary_op, init);
|
||||
}
|
||||
template<typename Result, typename InputIterator, typename BinaryOperation, typename UnaryOperation, typename T>
|
||||
inline SPROUT_CONSTEXPR typename sprout::fixed::results::algorithm<Result>::type
|
||||
transform_inclusive_scan(InputIterator first, InputIterator last, BinaryOperation binary_op, UnaryOperation unary_op, T init) {
|
||||
return sprout::fixed::transform_inclusive_scan<Result>(first, last, binary_op, unary_op, unary_op, init);
|
||||
}
|
||||
} // namespace sprout
|
||||
|
||||
#endif // #ifndef SPROUT_NUMERIC_FIXED_TRANSFORM_INCLUSIVE_SCAN_HPP
|
||||
Loading…
Add table
Add a link
Reference in a new issue