#ICE-205 State In Progress

Proof of concept on defining container operations using C++ concepts and mixin types.

Author: Dandielo

source/code/core/collections/public/ice/container/container_concepts.hxx

@@ -0,0 +1,25 @@
+#pragma once
+#include <ice/types/ncount.hxx>
+#include <ice/types/nindex.hxx>
+
+namespace ice::concepts
+{
+
+    template<typename T>
+    concept ContiguousContainer = requires(T t) {
+        { t.size() } -> std::convertible_to<ice::ncount>;
+        { t.data() } -> std::convertible_to<typename T::ValueType const*>;
+    };
+
+} // namespace ice::concepts
+
+namespace ice::container
+{
+
+    template<typename ContainerT>
+    using ValueRef = ice::const_correct_t<std::remove_reference_t<ContainerT>, typename ContainerT::ValueType>&;
+
+    template<typename ContainerT>
+    using ValuePtr = ice::const_correct_t<std::remove_reference_t<ContainerT>, typename ContainerT::ValueType>*;
+
+} // namespace ice::container

source/code/core/collections/public/ice/container/contiguous_container.hxx

@@ -0,0 +1,16 @@
+#pragma once
+#include <ice/container/container_concepts.hxx>
+
+namespace ice::container
+{
+
+    struct ContiguousContainer
+    {
+        template<ice::concepts::ContiguousContainer Self>
+        constexpr auto front(this Self& self) noexcept -> ice::container::ValueRef<Self>
+        {
+            return self.data()[0];
+        }
+    };
+
+} // namespace ice::container

source/code/core/collections/public/ice/container_types.hxx

@@ -3,13 +3,25 @@
 
 #pragma once
 #include <ice/mem_allocator.hxx>
+#include <ice/container/contiguous_container.hxx>
+
 #include <ice/container_logic.hxx>
 #include <ice/string_types.hxx>
 #include <ice/span.hxx>
 #include <array>
 
 namespace ice
 {
+    struct Test : ice::container::ContiguousContainer
+    {
+        using ValueType = int;
+
+        int foo[4];
+
+        template<typename Self>
+        constexpr auto data(this Self& self) noexcept -> ice::const_correct_t<Self, ValueType>* { return self.foo; }
+        constexpr ncount size() const noexcept { return 4; }
+    };
 
     //! \brief A simple contaier storing items in contignous memory.
     //!