array.h

Go to the documentation of this file.

#pragma once
#include <cstddef>
#include <concepts>
#include <string>
#include <type_traits>
#include "category.h"
 
namespace librepr {
 
template <typename T>
struct Reflect;
 
template <typename T, std::size_t N>
  requires(not std::same_as<std::remove_reference_t<T>, char const>)  // TODO exclude other string literals
struct Reflect<T[N]> : category::Type<T[N]> {
  using type = T[N];
  using element_type = T;
  
  constexpr static auto extent = N;
  constexpr static bool can_descend = true;
  constexpr static bool iterable = true;
 
  template <typename V>
  static void visit(V&& visitor, T (&obj)[N]) {
    for (std::size_t idx = 0; idx < N; ++idx) {
      visitor(category::Value{obj[idx]});
    }
  }
  static void visit(V&& visitor, T (&obj)[N]) {…}
 
  template <typename V>
  static void visit(V&& visitor) {
    visitor(Reflect<element_type>{});
  }
  static void visit(V&& visitor) {…}
};
struct Reflect<T[N]> : category::Type<T[N]> {…};
 
template <typename T>
struct Reflect<T[]> : category::Type<T[]> {  // NOLINT
  using type = T[];
  using element_type = T;
  constexpr static bool can_descend = true;
  constexpr static bool iterable = true;
 
  template <typename V>
  static void visit(V&& /* visitor */, T const& /* obj */) { }
  
  template <typename V>
  static void visit(V&& /* visitor */) { }
};
struct Reflect<T[]> : category::Type<T[]> {  // NOLINT {…};
 
}  // namespace librepr