Introduce sub_struct_view

BUILD.bazel

@@ -855,6 +855,27 @@ cc_library(
     copts = ["-std=c++20"],
 )
 
+cc_library(
+    name = "sub_struct_view",
+    hdrs = ["include/fixed_containers/sub_struct_view.hpp"],
+    includes = includes_config(),
+    strip_include_prefix = strip_include_prefix_config(),
+    deps = [
+        ":assert_or_abort",
+        ":fixed_vector",
+        ":fixed_map",
+        ":fixed_set",
+        ":iterator_utils",
+        ":memory",
+        ":in_out",
+        ":out",
+        ":random_access_iterator",
+        ":reflection",
+        ":type_name"
+    ],
+    copts = ["-std=c++20"],
+)
+
 cc_library(
     name = "tuples",
     hdrs = [
@@ -1588,6 +1609,20 @@ cc_test(
     copts = ["-std=c++20"],
 )
 
+cc_test(
+    name = "sub_struct_view_test",
+    srcs = ["test/sub_struct_view_test.cpp"],
+    deps = [
+        ":fixed_vector",
+        ":out",
+        ":sub_struct_view",
+        ":source_location",
+        "@com_google_googletest//:gtest",
+        "@com_google_googletest//:gtest_main",
+    ],
+    copts = ["-std=c++20"],
+)
+
 cc_test(
     name = "tuples_test",
     srcs = ["test/tuples_test.cpp"],

CMakeLists.txt

@@ -223,6 +223,8 @@ if(BUILD_TESTS)
     add_test_dependencies(stack_adapter_test)
     add_executable(string_literal_test test/string_literal_test.cpp)
     add_test_dependencies(string_literal_test)
+    add_executable(sub_struct_view_test test/sub_struct_view_test.cpp)
+    add_test_dependencies(sub_struct_view_test)
     add_executable(tuples_test test/tuples_test.cpp)
     add_test_dependencies(tuples_test)
     add_executable(type_name_test test/type_name_test.cpp)

include/fixed_containers/index_or_value_storage.hpp

@@ -17,7 +17,7 @@ union IndexOrValueStorage
     explicit constexpr IndexOrValueStorage(const T& var) : value{var} { }
     explicit constexpr IndexOrValueStorage(T&& var) : value{std::move(var)} { }
     template <class... Args>
-    explicit constexpr IndexOrValueStorage(std::in_place_t /*unused*/, Args&&... args) : value(std::forward<Args>(args)...) { }
+    explicit constexpr IndexOrValueStorage(std::in_place_t /*unused*/, Args&&... args) : value{std::forward<Args>(args)...} { }
 
     constexpr IndexOrValueStorage(const IndexOrValueStorage&) requires TriviallyCopyConstructible<T> = default;
     constexpr IndexOrValueStorage(IndexOrValueStorage&&) noexcept requires TriviallyMoveConstructible<T> = default;
@@ -61,7 +61,7 @@ union IndexOrValueStorage<T>
     explicit constexpr IndexOrValueStorage(const T& var) : value{var} { }
     explicit constexpr IndexOrValueStorage(T&& var) : value{std::move(var)} { }
     template <class... Args>
-    explicit constexpr IndexOrValueStorage(std::in_place_t /*unused*/, Args&&... args) : value(std::forward<Args>(args)...) { }
+    explicit constexpr IndexOrValueStorage(std::in_place_t /*unused*/, Args&&... args) : value{std::forward<Args>(args)...} { }
     // clang-format on
     constexpr IndexOrValueStorage(const IndexOrValueStorage&) = default;
     constexpr IndexOrValueStorage(IndexOrValueStorage&&) noexcept = default;

include/fixed_containers/memory.hpp

@@ -34,4 +34,15 @@ constexpr void destroy_and_construct_at_address_of(T& ref, Args&&... args)
     construct_at_address_of(ref, std::forward<Args>(args)...);
 }
 
+template <typename T>
+const std::byte* addressof_as_const_byte_ptr(T& ref)
+{
+    return reinterpret_cast<const std::byte*>(std::addressof(ref));
+}
+template <typename T>
+std::byte* addressof_as_mutable_byte_ptr(T& ref)
+{
+    return reinterpret_cast<std::byte*>(std::addressof(ref));
+}
+
 }  // namespace fixed_containers::memory

include/fixed_containers/optional_storage.hpp

@@ -22,7 +22,7 @@ union OptionalStorage
     explicit constexpr OptionalStorage(const T& var) : value{var} { }
     explicit constexpr OptionalStorage(T&& var) : value{std::move(var)} { }
     template <class... Args>
-    explicit constexpr OptionalStorage(std::in_place_t /*unused*/, Args&&... args) : value(std::forward<Args>(args)...) { }
+    explicit constexpr OptionalStorage(std::in_place_t /*unused*/, Args&&... args) : value{std::forward<Args>(args)...} { }
 
     constexpr OptionalStorage(const OptionalStorage&) requires TriviallyCopyConstructible<T> = default;
     constexpr OptionalStorage(OptionalStorage&&) noexcept requires TriviallyMoveConstructible<T> = default;
@@ -70,7 +70,7 @@ union OptionalStorage<T>
     explicit constexpr OptionalStorage(const T& var) : value{var} { }
     explicit constexpr OptionalStorage(T&& var) : value{std::move(var)} { }
     template <class... Args>
-    explicit constexpr OptionalStorage(std::in_place_t /*unused*/, Args&&... args) : value(std::forward<Args>(args)...) { }
+    explicit constexpr OptionalStorage(std::in_place_t /*unused*/, Args&&... args) : value{std::forward<Args>(args)...} { }
 
     // clang-format on
     constexpr OptionalStorage(const OptionalStorage&) = default;