From f3e0c75848e1094bcbba5020750dd7fcaf0946be Mon Sep 17 00:00:00 2001
From: Stanislaw Halik <sthalik@misaki.pl>
Date: Tue, 16 Jan 2024 01:21:59 +0100
Subject: a

---
 serialize/packbits-write.cpp | 10 +++++-----
 serialize/packbits-write.hpp | 10 ++++++----
 2 files changed, 11 insertions(+), 9 deletions(-)

(limited to 'serialize')

diff --git a/serialize/packbits-write.cpp b/serialize/packbits-write.cpp
index 84126ea4..76b1398a 100644
--- a/serialize/packbits-write.cpp
+++ b/serialize/packbits-write.cpp
@@ -7,17 +7,17 @@ using u8 = uint8_t;
 template<size_t N> using f32 = output_field<u32, N>;
 template<size_t N> using f8 = output_field<u8, N>;
 
-static_assert(count_bits<u32, std::tuple< f32<2>, f32<3>, f32<5>> >::length == 10);
-static_assert(count_bits<u8, std::tuple<>>::length == 0);
-//static_assert(count_bits<u8, std::tuple<f8<9>>>::length == 0);
+static_assert(count_bits<u32, std::tuple< f32<2>, f32<3>, f32<5> >> == 10);
+static_assert(count_bits<uint8_t, std::tuple< f8<1>, f8<2>, f8<4> >> == 7);
+static_assert(count_bits<u8, std::tuple<>> == 0);
+//static_assert(count_bits<u8, std::tuple< f8<9> >> == 0);
+//static_assert(count_bits<u8, std::tuple< f8<7>, f8<2> >> == 9);
 
 template u32 write_(output<u32, 32>, std::index_sequence<0>, const std::tuple<f32<1>>&);
 
 static_assert(output<u32, 32>::next<1>::Capacity == 31);
 static_assert(output<u32, 32>::next<1>::next<2>::Capacity == 29);
 
-template<size_t N> using f32 = output_field<u32, N>;
-
 #if 0
 static_assert(write_(output<u32, 32>{0},
                      f32<2>{0b10},
diff --git a/serialize/packbits-write.hpp b/serialize/packbits-write.hpp
index c62b8e39..8bcd14af 100644
--- a/serialize/packbits-write.hpp
+++ b/serialize/packbits-write.hpp
@@ -56,20 +56,22 @@ struct output_field
     static constexpr size_t Length = LENGTH;
 };
 
-template<std::unsigned_integral Type, typename Tuple> struct count_bits;
+template<std::unsigned_integral Type, typename Tuple> struct count_bits_;
 
 
-template<std::unsigned_integral Int, size_t N, typename... Ts> struct count_bits<Int, std::tuple<output_field<Int, N>, Ts...>>
+template<std::unsigned_integral Int, size_t N, typename... Ts> struct count_bits_<Int, std::tuple<output_field<Int, N>, Ts...>>
 {
-    static constexpr size_t length = N + count_bits<Int, std::tuple<Ts...>>::length;
+    static constexpr size_t length = N + count_bits_<Int, std::tuple<Ts...>>::length;
     static_assert(length <= sizeof(Int)*8);
 };
 
-template<std::unsigned_integral Int> struct count_bits<Int, std::tuple<>>
+template<std::unsigned_integral Int> struct count_bits_<Int, std::tuple<>>
 {
     static constexpr size_t length = 0;
 };
 
+template<typename T, typename Tuple> constexpr inline size_t count_bits = count_bits_<T, Tuple>::length;
+
 template <std::size_t ... Is>
 constexpr std::index_sequence<sizeof...(Is)-1uz-Is...> reverse_index_sequence(std::index_sequence<Is...> const&);
 
-- 
cgit v1.2.3