statically assert that template types passed to Crow are a subset of …

…the types of the arguments passed to the constructor
CrowCpp · Aug 6, 2024 · b46f6d5 · b46f6d5
1 parent 9bf2f1e
commit b46f6d5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/include/crow/app.h b/include/crow/app.h
@@ -708,6 +708,8 @@ namespace crow
         template<typename... Ts>
         std::tuple<Middlewares...> make_middleware_tuple(Ts&&... ts)
         {
+            static_assert(black_magic::type_pack<Middlewares...>::template is_superset_of<Ts...>::value, "Constructor argument types must be a subset of the Crow template types");
+
             auto fwd = std::forward_as_tuple((ts)...);
             return std::make_tuple(
               std::forward<Middlewares>(