CArray.h

#pragma once

#include <concepts>
#include <cstdio>
#include <ranges>
#include <tuple>
#include <type_traits>
#include <utility>

#include "CEnumerable.h"

namespace Platform::Abstractions {
  namespace Internal {
    template <typename TSelf, typename... TItems>
    consteval bool CArrayHelpFunction() {
      constexpr bool member_indexator = requires(TSelf self, std::size_t index) { {self[index]} /*-> std::same_as<typename Enumerable<TSelf>::ItemReference>*/; };

      if constexpr (sizeof...(TItems) == 1) {
        using SelfItem = typename Enumerable<TSelf>::Item;
        using RequiredItem = std::remove_reference_t<decltype(std::get<0>(std::declval<std::tuple<TItems...>>()))>;

        return member_indexator && std::ranges::random_access_range<TSelf> && std::same_as<SelfItem, RequiredItem>;
      }
      if constexpr (sizeof...(TItems) == 0) {
        return member_indexator && std::ranges::random_access_range<TSelf>;
      }

      return false;
    }
  }  // namespace Internal

  template <typename TSelf, typename... TItems>
  concept CArray = CEnumerable<TSelf> && Internal::CArrayHelpFunction<TSelf, TItems...>();

  template <CArray TSelf>
  struct Array : Enumerable<TSelf> {};
}  // namespace Platform::Abstractions