chip.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_CORE_TENSOR_VIEWS_CHIP_H
#define pRC_CORE_TENSOR_VIEWS_CHIP_H
 
#include <prc/core/basic/sequence.hpp>
#include <prc/core/functors/subscript.hpp>
#include <prc/core/log/log.hpp>
#include <prc/core/tensor/declarations.hpp>
 
namespace pRC::TensorViews
{
    template<class T, class N, Index D, class V>
        requires IsTensorView<V>
    class Chip
        : public Conditional<IsAssignable<V>,
              Assignable<T, N, Chip<T, N, D, V>>, View<T, N, Chip<T, N, D, V>>>
    {
    private:
        using Base = Conditional<IsAssignable<V>, Assignable<T, N, Chip>,
            View<T, N, Chip>>;
 
    public:
        template<class X>
            requires IsSame<V, RemoveReference<X>>
        Chip(X &&a, Index const index)
            : mA(forward<X>(a))
            , mIndex(index)
        {
            if constexpr(cDebugLevel >= DebugLevel::Low)
            {
                if(!(mIndex < V::size(D)))
                {
                    Logging::error("Chip index out of range.");
                }
            }
        }
 
        using Base::operator=;
 
        template<IsConvertible<Index>... Is>
            requires(sizeof...(Is) == Base::Dimension)
        constexpr decltype(auto) operator()(Is const... indices)
        {
            return this->call(indices...);
        }
 
        template<IsConvertible<Index>... Is>
            requires(sizeof...(Is) == Base::Dimension)
        constexpr decltype(auto) operator()(Is const... indices) const
        {
            return this->call(indices...);
        }
 
        constexpr decltype(auto) operator()(
            typename Base::Subscripts const &subscripts)
        {
            return operator()(subscripts, makeRange<Index, 0, D>(),
                makeRange<Index, D, Base::Dimension>());
        }
 
        constexpr decltype(auto) operator()(
            typename Base::Subscripts const &subscripts) const
        {
            return operator()(subscripts, makeRange<Index, 0, D>(),
                makeRange<Index, D, Base::Dimension>());
        }
 
        constexpr decltype(auto) operator[](Index const index)
            requires IsSubscriptable<V> && (D == 0 || D == Base::Dimension)
        {
            if constexpr(D == 0)
            {
                return mA[V::size(0) * index + mIndex];
            }
            else
            {
                return mA[Base::size() * mIndex + index];
            }
        }
 
        constexpr decltype(auto) operator[](Index const index) const
            requires IsSubscriptable<V> && (D == 0 || D == Base::Dimension)
        {
            if constexpr(D == 0)
            {
                return mA[V::size(0) * index + mIndex];
            }
            else
            {
                return mA[Base::size() * mIndex + index];
            }
        }
 
    private:
        template<Index... Ss, Index... Es>
        constexpr decltype(auto) operator()(
            typename Base::Subscripts const &subscripts,
            Sequence<Index, Ss...> const, Sequence<Index, Es...> const)
        {
            return mA(subscripts[Ss]..., mIndex, subscripts[Es]...);
        }
 
        template<Index... Ss, Index... Es>
        constexpr decltype(auto) operator()(
            typename Base::Subscripts const &subscripts,
            Sequence<Index, Ss...> const, Sequence<Index, Es...> const) const
        {
            return mA(subscripts[Ss]..., mIndex, subscripts[Es]...);
        }
 
    private:
        V mA;
        Index const mIndex;
    };
}
#endif // pRC_CORE_TENSOR_VIEWS_CHIP_H