From 475d310f6710eaecca5138ffafffd43ca13d9728 Mon Sep 17 00:00:00 2001
From: sha512sum <linuxnyasha@tutanota.com>
Date: Fri, 28 Jun 2024 14:01:49 +0000
Subject: [PATCH] Add CountValue

---
 include/utempl/loopholes/counter.hpp | 33 ++++++++++++++++++++++++----
 1 file changed, 29 insertions(+), 4 deletions(-)

diff --git a/include/utempl/loopholes/counter.hpp b/include/utempl/loopholes/counter.hpp
index eab2e0e..c765452 100644
--- a/include/utempl/loopholes/counter.hpp
+++ b/include/utempl/loopholes/counter.hpp
@@ -10,24 +10,49 @@ namespace impl {
 template <typename Tag, std::size_t Value>
 struct TagWithValue {};
 
-template <typename Tag, std::size_t I, typename... Ts>
+template <bool Add, typename Tag, std::size_t I, typename... Ts>
 consteval auto Counter() -> std::size_t {
   if constexpr(requires{Magic(Getter<TagWithValue<Tag, I>{}>{});}) {
-    return Counter<Tag, I + 1, Ts...>();
+    return Counter<Add, Tag, I + 1, Ts...>();
+  };
+  if constexpr(Add) {
+    return (std::ignore = Injector<TagWithValue<Tag, I>{}, 0>{}, I);
+  } else {
+    return I;
   };
-  return (std::ignore = Injector<TagWithValue<Tag, I>{}, 0>{}, I);
 };
+
+
 } // namespace impl;
 
 // For incerement counter need a unique Ts...
 template <
   typename Tag,
   typename... Ts,
-  std::size_t R = impl::Counter<Tag, 0, Ts...>()
+  std::size_t R = impl::Counter<true, Tag, 0, Ts...>()
 >
 consteval auto Counter(auto...) -> std::size_t {
   return R;
 };
 
 
+
+// Without increment
+template <
+  typename Tag,
+  typename... Ts,
+  std::size_t R = impl::Counter<false, Tag, 0, Ts...>()
+>
+consteval auto CountValue(auto...) -> std::size_t { 
+  return R;
+};
+
+
+/*
+static_assert(Counter<void>() == 0);
+static_assert(Counter<void, void>() == 1);
+static_assert(CountValue<void>() == 2);
+static_assert(CountValue<void, void>() == 2);
+*/
+
 } // namespace utempl::loopholes