From 102a596454edaba1574343b9f9d66ba621ddbd0d Mon Sep 17 00:00:00 2001
From: Kim-J-Smith <3440910457@qq.com>
Date: Sun, 26 Apr 2026 17:52:51 +0800
Subject: [PATCH 1/3] perf: Add a specialization specifically for `std::tuple`
 to improve the performance of `instantiated_t`.

---
 include/proxy/v4/proxy.h | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/include/proxy/v4/proxy.h b/include/proxy/v4/proxy.h
index b4f5495..56a9fc6 100644
--- a/include/proxy/v4/proxy.h
+++ b/include/proxy/v4/proxy.h
@@ -151,9 +151,16 @@ template <template <class...> class T, class TL, std::size_t... Is,
           class... Args>
 struct instantiated_traits<T, TL, std::index_sequence<Is...>, Args...>
     : std::type_identity<T<Args..., std::tuple_element_t<Is, TL>...>> {};
+
+template <template <class...> class T, class TL, class... Args>
+struct instantiated_traits_helper : instantiated_traits<
+    T, TL, std::make_index_sequence<std::tuple_size_v<TL>>, Args...> {};
+template <template <class...> class T, class... Ts, class... Args>
+struct instantiated_traits_helper<T, std::tuple<Ts...>, Args...> 
+    : std::type_identity<T<Args..., Ts...>> {};
+
 template <template <class...> class T, class TL, class... Args>
-using instantiated_t = typename instantiated_traits<
-    T, TL, std::make_index_sequence<std::tuple_size_v<TL>>, Args...>::type;
+using instantiated_t = typename instantiated_traits_helper<T, TL, Args...>::type;
 
 enum class qualifier_type { lv, const_lv, rv, const_rv };
 template <class T, qualifier_type Q>

From 9687240a5076ba0ac074fdd44182ad62280f3549 Mon Sep 17 00:00:00 2001
From: Kim-J-Smith <3440910457@qq.com>
Date: Sun, 26 Apr 2026 18:22:07 +0800
Subject: [PATCH 2/3] style: Fix formatting violations.

---
 include/proxy/v4/proxy.h | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/include/proxy/v4/proxy.h b/include/proxy/v4/proxy.h
index 56a9fc6..d4fad5b 100644
--- a/include/proxy/v4/proxy.h
+++ b/include/proxy/v4/proxy.h
@@ -153,14 +153,16 @@ struct instantiated_traits<T, TL, std::index_sequence<Is...>, Args...>
     : std::type_identity<T<Args..., std::tuple_element_t<Is, TL>...>> {};
 
 template <template <class...> class T, class TL, class... Args>
-struct instantiated_traits_helper : instantiated_traits<
-    T, TL, std::make_index_sequence<std::tuple_size_v<TL>>, Args...> {};
+struct instantiated_traits_helper
+    : instantiated_traits<
+          T, TL, std::make_index_sequence<std::tuple_size_v<TL>>, Args...> {};
 template <template <class...> class T, class... Ts, class... Args>
-struct instantiated_traits_helper<T, std::tuple<Ts...>, Args...> 
+struct instantiated_traits_helper<T, std::tuple<Ts...>, Args...>
     : std::type_identity<T<Args..., Ts...>> {};
 
 template <template <class...> class T, class TL, class... Args>
-using instantiated_t = typename instantiated_traits_helper<T, TL, Args...>::type;
+using instantiated_t =
+    typename instantiated_traits_helper<T, TL, Args...>::type;
 
 enum class qualifier_type { lv, const_lv, rv, const_rv };
 template <class T, qualifier_type Q>

From 2745e1939f188101679cba67889c748984820c79 Mon Sep 17 00:00:00 2001
From: Kim-J-Smith <3440910457@qq.com>
Date: Sun, 26 Apr 2026 20:38:35 +0800
Subject: [PATCH 3/3] style: Remove the empty lines.

---
 include/proxy/v4/proxy.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/include/proxy/v4/proxy.h b/include/proxy/v4/proxy.h
index d4fad5b..a3a1d9b 100644
--- a/include/proxy/v4/proxy.h
+++ b/include/proxy/v4/proxy.h
@@ -151,7 +151,6 @@ template <template <class...> class T, class TL, std::size_t... Is,
           class... Args>
 struct instantiated_traits<T, TL, std::index_sequence<Is...>, Args...>
     : std::type_identity<T<Args..., std::tuple_element_t<Is, TL>...>> {};
-
 template <template <class...> class T, class TL, class... Args>
 struct instantiated_traits_helper
     : instantiated_traits<
@@ -159,7 +158,6 @@ struct instantiated_traits_helper
 template <template <class...> class T, class... Ts, class... Args>
 struct instantiated_traits_helper<T, std::tuple<Ts...>, Args...>
     : std::type_identity<T<Args..., Ts...>> {};
-
 template <template <class...> class T, class TL, class... Args>
 using instantiated_t =
     typename instantiated_traits_helper<T, TL, Args...>::type;