loop.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_CORE_TENSOR_VIEWS_LOOP_H
#define pRC_CORE_TENSOR_VIEWS_LOOP_H
 
#include <prc/core/basic/sequence.hpp>
#include <prc/core/functors/subscript.hpp>
#include <prc/core/tensor/declarations.hpp>
 
namespace pRC::TensorViews
{
    template<class T, class N, class F, class... Vs>
        requires(IsTensorView<Vs> && ...)
    class Loop
        : public Conditional<IsAssignable<ResultOf<F,
                                 ResultOf<Vs, typename Vs::Subscripts>...>>,
              Assignable<T, N, Loop<T, N, F, Vs...>>,
              View<T, N, Loop<T, N, F, Vs...>>>
    {
    private:
        using Base = Conditional<
            IsAssignable<ResultOf<F, ResultOf<Vs, typename Vs::Subscripts>...>>,
            Assignable<T, N, Loop>, View<T, N, Loop>>;
 
    public:
        template<class... Xs>
            requires(IsSame<Vs, RemoveReference<Xs>> && ...)
        Loop(F f, Xs &&...args)
            : mF(forward<F>(f))
            , mArgs(forward<Xs>(args)...)
        {
        }
 
        using Base::operator=;
 
        template<IsConvertible<Index>... Is>
            requires(sizeof...(Is) == Base::Dimension)
        constexpr decltype(auto) operator()(Is const... indices)
        {
            return operator()(typename Base::Subscripts(indices...));
        }
 
        template<IsConvertible<Index>... Is>
            requires(sizeof...(Is) == Base::Dimension)
        constexpr decltype(auto) operator()(Is const... indices) const
        {
            return operator()(typename Base::Subscripts(indices...));
        }
 
        constexpr decltype(auto) operator()(
            typename Base::Subscripts const &subscripts)
        {
            check(subscripts);
            return expand(makeSeriesFor<Index, Vs...>(),
                [this, &subscripts](auto const... ops) -> decltype(auto)
                {
                    return mF(get<ops>(mArgs)(subscripts)...);
                });
        }
 
        constexpr decltype(auto) operator()(
            typename Base::Subscripts const &subscripts) const
        {
            check(subscripts);
            return expand(makeSeriesFor<Index, Vs...>(),
                [this, &subscripts](auto const... ops) -> decltype(auto)
                {
                    return mF(get<ops>(mArgs)(subscripts)...);
                });
        }
 
        constexpr decltype(auto) operator[](Index const index)
            requires(IsSubscriptable<Vs> && ...)
        {
            check(index);
            return expand(makeSeriesFor<Index, Vs...>(),
                [this, &index](auto const... ops) -> decltype(auto)
                {
                    return mF(get<ops>(mArgs)[index]...);
                });
        }
 
        constexpr decltype(auto) operator[](Index const index) const
            requires(IsSubscriptable<Vs> && ...)
        {
            check(index);
            return expand(makeSeriesFor<Index, Vs...>(),
                [this, &index](auto const... ops) -> decltype(auto)
                {
                    return mF(get<ops>(mArgs)[index]...);
                });
        }
 
    private:
        static constexpr auto check(
            [[maybe_unused]] typename Base::Subscripts const &subscripts)
        {
            if constexpr(sizeof...(Vs) == 0 && cDebugLevel >= DebugLevel::Mid)
            {
                if(subscripts.isOutOfRange())
                {
                    Logging::error("Tensor View Loop subscripts out of range.");
                }
            }
        }
 
        static constexpr auto check([[maybe_unused]] Index const index)
        {
            if constexpr(sizeof...(Vs) == 0 && cDebugLevel >= DebugLevel::Mid)
            {
                if(!(index < Base::size()))
                {
                    Logging::error("Tensor View Loop index out of range.");
                }
            }
        }
 
    private:
        F mF;
        Tuple<Vs...> mArgs;
    };
}
#endif // pRC_CORE_TENSOR_VIEWS_LOOP_H