move IsSpecializatinoOf to PMacc

Author: ikbuibui

include/picongpu/plugins/binning/FieldInfo.hpp

@@ -1,9 +1,8 @@
 #pragma once
 
-#include "picongpu/plugins/binning/utility.hpp"
-
 #include <pmacc/Environment.hpp>
 #include <pmacc/dataManagement/DataConnector.hpp>
+#include <pmacc/traits/IsSpecializationOf.hpp>
 
 #include <string>
 #include <string_view>
@@ -33,9 +32,9 @@ namespace picongpu::plugins::binning
         }
     };
 
-    auto transformFieldInfo(auto&& arg) -> decltype(auto)
+    decltype(auto) transformFieldInfo(auto&& arg)
     {
-        if constexpr(IsSpecializationOf<std::decay_t<decltype(arg)>, FieldInfo>)
+        if constexpr(pmacc::concepts::SpecializationOf<std::decay_t<decltype(arg)>, FieldInfo>)
         {
             pmacc::DataConnector& dc = pmacc::Environment<>::get().DataConnector();
             return dc

include/picongpu/plugins/binning/utility.hpp

@@ -107,22 +107,5 @@ namespace picongpu
             return std::unique_ptr<std::remove_cvref_t<decltype(*ptr)>>(ptr);
         }
 
-        template<typename, template<typename...> typename>
-        struct is_specialization_of : std::false_type
-        {
-        };
-
-        template<template<typename...> typename Template, typename... Args>
-        struct is_specialization_of<Template<Args...>, Template> : std::true_type
-        {
-        };
-
-        // TODO reverse this order
-        template<typename T, template<typename...> typename Template>
-        inline constexpr bool is_specialization_of_v = is_specialization_of<T, Template>::value;
-
-        template<typename T, template<typename...> typename Template>
-        concept IsSpecializationOf = is_specialization_of_v<T, Template>;
-
     } // namespace plugins::binning
 } // namespace picongpu

include/pmacc/traits/IsSpecializationOf.hpp

@@ -0,0 +1,61 @@
+/* Copyright 2025 Tapish Narwal
+ *
+ * This file is part of PMacc.
+ *
+ * PMacc is free software: you can redistribute it and/or modify
+ * it under the terms of either the GNU General Public License or
+ * the GNU Lesser General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * PMacc is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ * GNU General Public License and the GNU Lesser General Public License
+ * for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * and the GNU Lesser General Public License along with PMacc.
+ * If not, see <http://www.gnu.org/licenses/>.
+ */
+
+#pragma once
+
+#include <type_traits>
+
+namespace pmacc
+{
+    namespace traits
+    {
+
+        /**
+         * Type trait to check if a type is a specialization of a template
+         * Similar to P2078 - https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p2098r0.pdf
+         * Note that this cant be used with template types which have NTTPs
+         * To fix this limitation we need PR1985 Universal Template Parameters
+         * https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p1985r3.pdf
+         */
+
+        template<typename, template<typename...> typename>
+        struct IsSpecializationOf : std::false_type
+        {
+        };
+
+        template<template<typename...> typename Template, typename... Args>
+        struct IsSpecializationOf<Template<Args...>, Template> : std::true_type
+        {
+        };
+
+    } // namespace traits
+
+    template<typename T, template<typename...> typename Template>
+    inline constexpr bool isSpecializationOf_v = traits::IsSpecializationOf<T, Template>::value;
+
+    namespace concepts
+    {
+        template<typename T, template<typename...> typename Template>
+        concept SpecializationOf = isSpecializationOf_v<T, Template>;
+
+    } // namespace concepts
+
+} // namespace pmacc