1 files changed, 82 insertions, 0 deletions
diff --git a/serialize/binary-serializer.hpp b/serialize/binary-serializer.hpp
new file mode 100644
index 00000000..19aa5548
--- /dev/null
+++ b/serialize/binary-serializer.hpp
@@ -0,0 +1,82 @@
+#pragma once
+#include "compat/integer-types.hpp"
+#include "compat/defs.hpp"
+
+#include <bit>
+#include <iterator>
+#include <concepts>
+#include <type_traits>
+
+namespace floormat::Serialize {
+
+static_assert(std::endian::native == std::endian::big || std::endian::native == std::endian::little);
+
+enum class value_type : std::uint8_t {
+    none, uc, u8, u16, u32, u64,
+    f32, f64,
+    COUNT
+};
+
+template<std::size_t N> struct make_integer;
+template<std::size_t N> using make_integer_t = typename make_integer<N>::type;
+
+#define FM_SERIALIZE_MAKE_INTEGER(T) template<> struct make_integer<sizeof(T)> { using type = T; }
+FM_SERIALIZE_MAKE_INTEGER(std::uint8_t);
+FM_SERIALIZE_MAKE_INTEGER(std::uint16_t);
+FM_SERIALIZE_MAKE_INTEGER(std::uint32_t);
+FM_SERIALIZE_MAKE_INTEGER(std::uint64_t);
+#undef FN_SERIALIZE_MAKE_INTEGER
+
+template<typename T>
+concept integer = requires(T x) {
+    requires std::integral<T>;
+    requires sizeof(T) == sizeof(make_integer_t<sizeof(T)>);
+};
+
+union value_u {
+    alignas(alignof(double)) char bytes[8];
+    unsigned char uc;
+    std::uint8_t u8;
+    std::uint16_t u16;
+    std::uint32_t u32;
+    std::uint64_t u64;
+    float f32;
+    double f64;
+};
+
+static_assert(sizeof(value_u) == 8);
+
+template<typename T>
+concept char_sequence = requires(T& x, const T& cx) {
+    requires std::same_as<decltype(std::begin(x)), decltype(std::end(x))>;
+    requires std::same_as<decltype(std::cbegin(cx)), decltype(std::cend(cx))>;
+    requires std::forward_iterator<decltype(std::begin(x))>;
+    requires std::forward_iterator<decltype(std::cbegin(cx))>;
+    requires std::same_as<char, std::decay_t<decltype(*std::begin(x))>>;
+    requires std::same_as<char, std::decay_t<decltype(*std::cbegin(x))>>;
+};
+
+template<std::forward_iterator It>
+struct binary_reader final {
+    fm_DECLARE_DEFAULT_MOVE_COPY_ASSIGNMENTS(binary_reader<It>);
+    constexpr binary_reader(It begin, It end) noexcept : it{begin}, end{end} {}
+    template<char_sequence Seq>
+    explicit constexpr binary_reader(const Seq& seq) noexcept : it{std::begin(seq)}, end{std::end(seq)} {}
+    constexpr ~binary_reader() noexcept;
+
+    template<integer T> constexpr value_u read_u() noexcept;
+    template<std::floating_point T> constexpr value_u read_u() noexcept;
+    template<typename T> T read() noexcept;
+
+    static_assert(std::is_same_v<char, std::decay_t<decltype(*std::declval<It>())>>);
+
+private:
+    It it, end;
+};
+
+template<std::forward_iterator It> binary_reader(It&& begin, It&& end) -> binary_reader<std::decay_t<It>>;
+
+template<typename Array>
+binary_reader(Array&& array) -> binary_reader<std::decay_t<decltype(std::begin(array))>>;
+
+} // namespace floormat::Serialize