From 471836beff71c3c1c5fc3627e5cf7fadb3424b56 Mon Sep 17 00:00:00 2001
From: Alex <dornbirndevelops@gmail.com>
Date: Thu, 4 Jun 2026 09:08:18 +0200
Subject: [PATCH 1/3] fix: re-enable const lvalue reference dependency usage

attempts to solve the issue described in https://github.com/boost-ext/sml/issues/711
---
 include/boost/sml.hpp | 48 +++++++++++++++++++++++++------------------
 1 file changed, 28 insertions(+), 20 deletions(-)

diff --git a/include/boost/sml.hpp b/include/boost/sml.hpp
index bb8900de..29a46592 100644
--- a/include/boost/sml.hpp
+++ b/include/boost/sml.hpp
@@ -611,6 +611,23 @@ struct is_unique<type_wrapper<Rs...>, T, Ts...>
     : conditional_t<is_base_of<type_wrapper<T>, inherit<type_wrapper<Rs>...>>::value, false_type, is_unique<type_wrapper<Rs..., T>, Ts...>> {};
 template <class... Ts>
 using is_unique_t = is_unique<type_wrapper<>, Ts...>;
+template <class TSet, class T>
+struct dep_is_kept : true_type {};
+template <class TSet, class U>
+struct dep_is_kept<TSet, const U &> : integral_constant<bool, !is_base_of<type_wrapper<U &>, TSet>::value> {};
+template <class>
+struct collapse_const_refs;
+template <class... Ts>
+struct collapse_const_refs<type_list<Ts...>> {
+  using set = inherit<type_wrapper<Ts>...>;
+  using type = join_t<conditional_t<dep_is_kept<set, Ts>::value, type_list<Ts>, type_list<>>...>;
+};
+// const U&, U& -> U&
+// const U& -> const U&
+template <class TList>
+using collapse_const_refs_t = typename collapse_const_refs<TList>::type;
+static_assert(aux::is_same<collapse_const_refs_t<type_list<const none_type &>>, type_list<const none_type &>>::value, "`const U &` should collapse to `const U &` if only const refs are present");
+static_assert(aux::is_same<collapse_const_refs_t<type_list<const none_type &, none_type &>>, type_list<none_type &>>::value, "`const U &` should collapse to `U &` if at least one non-const ref is present");
 template <template <class...> class, class>
 struct apply;
 template <template <class...> class T, template <class...> class U, class... Ts>
@@ -2387,7 +2404,7 @@ class sm {
   using explicit_dep_list = typename get_explicit_deps<typename Tsm::explicit_deps_policy>::type;
   using deps_t =
       aux::apply_t<aux::pool,
-                   aux::apply_t<aux::unique_t, aux::join_t<explicit_dep_list, dep_list, sm_all_t, logger_dep_t, aux::apply_t<merge_deps, sub_sms_t>>>>;
+                   aux::collapse_const_refs_t<aux::apply_t<aux::unique_t, aux::join_t<explicit_dep_list, dep_list, sm_all_t, logger_dep_t, aux::apply_t<merge_deps, sub_sms_t>>>>>;
   struct events_ids : aux::apply_t<aux::inherit, events> {};
 
  public:
@@ -2572,21 +2589,20 @@ template <class... TEvents, class TEvent, class Tsm, class TDeps, class TSubs>
 constexpr decltype(auto) get_arg(const aux::type_wrapper<back::process<TEvents...>> &, const TEvent &, Tsm &, TDeps &, TSubs &subs, int) {
   return back::process<TEvents...>{aux::get<get_root_sm_t<TSubs>>(subs).process_};
 }
-// For const lvalue-ref dep parameters (`const State &`): look up the non-const
-// `State &` pool slot instead of a separate `const State &` slot.
-// Combined with the normalisation in ignore::non_events (which maps `const T &`
-// → `T &` in the dep_list so no separate pool slot is created), this ensures
-// that a guard taking `const State &` sees the same live object that actions
-// taking `State &` mutate.  Without this overload the generic get_arg below
-// would do aux::get<const State &>(deps) which static_cast-fails or (with
-// BOOST_SML_CREATE_DEFAULT_CONSTRUCTIBLE_DEPS) hits the primary-template
-// pool_type_impl whose reference member dangles after construction. (#530)
+// access via `const U &` when pool stores `U &`.
 template <class T, class TEvent, class Tsm, class TDeps,
           BOOST_SML_DETAIL_REQUIRES(!aux::is_same<aux::remove_const_t<aux::remove_reference_t<back::get_event_t<TEvent>>>,
-                                             T>::value)>
+                                             T>::value && aux::is_base_of<aux::pool_type<T &>, TDeps>::value)>
 constexpr const T &get_arg(const aux::type_wrapper<const T &> &, const TEvent &, Tsm &, TDeps &deps) {
   return aux::get<T &>(deps);
 }
+// access via `const U &` when pool stores `const U &`.
+template <class T, class TEvent, class Tsm, class TDeps,
+          BOOST_SML_DETAIL_REQUIRES(!aux::is_same<aux::remove_const_t<aux::remove_reference_t<back::get_event_t<TEvent>>>,
+                                             T>::value && !aux::is_base_of<aux::pool_type<T &>, TDeps>::value)>
+constexpr const T &get_arg(const aux::type_wrapper<const T &> &, const TEvent &, Tsm &, TDeps &deps) {
+  return aux::get<const T &>(deps);
+}
 // 6-parameter overloads: look in sub_sms for submachine state types (issue #659)
 // Excluded: the current SM's own type (Tsm::sm_t), which belongs in deps
 template <class T, class TEvent, class Tsm, class TDeps, class TSubs,
@@ -3037,18 +3053,10 @@ template <class E, class... Ts>
 struct ignore<E, aux::type_list<Ts...>> {
   template <class T>
   struct non_events {
-    // Normalise const lvalue refs: `const U &` → `U &`.
-    // This ensures that a guard taking `const State &` and an action taking
-    // `State &` share the same pool slot, so mutations through the mutable ref
-    // are visible through the const ref.  Without normalisation a separate
-    // pool_type<const State &> entry would be created, carrying a stale copy
-    // of the original default-constructed State value. (#530)
-    using stripped_ = aux::remove_const_t<aux::remove_reference_t<T>>;
-    using norm_ = aux::conditional_t<aux::is_same<T, const stripped_ &>::value, stripped_ &, T>;
     using type =
         aux::conditional_t<aux::is_same<back::get_event_t<E>, aux::remove_const_t<aux::remove_reference_t<T>>>::value ||
                                aux::is_same<T, action_base>::value,
-                           aux::type_list<>, aux::type_list<norm_>>;
+                           aux::type_list<>, aux::type_list<T>>;
   };
   using type = aux::join_t<typename non_events<Ts>::type...>;
 };

From d3d0540fb6de32cf6996949531929672e346bd5b Mon Sep 17 00:00:00 2001
From: alexander-dengg <alexander.dengg@leica-geosystems.com>
Date: Thu, 4 Jun 2026 10:40:44 +0200
Subject: [PATCH 2/3] add test for non owning dependencies test covers both
 const and non-const dependencies

---
 test/ft/CMakeLists.txt              |  3 ++
 test/ft/non_owning_dependencies.cpp | 45 +++++++++++++++++++++++++++++
 2 files changed, 48 insertions(+)
 create mode 100644 test/ft/non_owning_dependencies.cpp

diff --git a/test/ft/CMakeLists.txt b/test/ft/CMakeLists.txt
index a9e8811c..e0af6063 100644
--- a/test/ft/CMakeLists.txt
+++ b/test/ft/CMakeLists.txt
@@ -25,6 +25,9 @@ endif()
 add_executable(test_dependencies dependencies.cpp)
 add_test(test_dependencies test_dependencies)
 
+add_executable(test_non_owning_dependencies non_owning_dependencies.cpp)
+add_test(test_non_owning_dependencies test_non_owning_dependencies)
+
 add_executable(test_wrap wrap.cpp)
 add_test(test_wrap test_wrap)
 
diff --git a/test/ft/non_owning_dependencies.cpp b/test/ft/non_owning_dependencies.cpp
new file mode 100644
index 00000000..3734757b
--- /dev/null
+++ b/test/ft/non_owning_dependencies.cpp
@@ -0,0 +1,45 @@
+//
+// Copyright (c) 2016-2020 Kris Jusiak (kris at jusiak dot net)
+//
+// Distributed under the Boost Software License, Version 1.0.
+// (See accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+//
+#include <boost/sml.hpp>
+
+namespace sml = boost::sml;
+
+struct settings {
+  bool ok = false;
+};
+struct context {
+  int value = 0;
+};
+
+struct e1 {};
+
+const auto idle = sml::state<class idle>;
+
+struct root {
+  auto operator()() const noexcept {
+    using namespace sml;
+    const auto guard = [](const settings& s, const context& c) {
+      expect(c.value == 0);
+      return s.ok;
+    };
+    const auto action = [](const settings&, context& c) {
+      c.value = 42;
+    };
+    return make_transition_table(*idle + event<e1> [guard] / action = X);
+  }
+};
+
+test const_lvalue_dependency_injection = [] {
+  const settings s{true};
+  context c{};
+  sml::sm<root> sm{s, c};
+  expect(sm.is(idle));
+  sm.process_event(e1{});
+  expect(sm.is(sml::X));
+  expect(c.value == 42);
+};

From ba600ce0bb14be863f5ef2e2dfeb6d281920fba6 Mon Sep 17 00:00:00 2001
From: alexander-dengg <alexander.dengg@leica-geosystems.com>
Date: Thu, 4 Jun 2026 11:22:34 +0200
Subject: [PATCH 3/3] cppcheck: suppress missingIncludeSystem

---
 test/ft/non_owning_dependencies.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/test/ft/non_owning_dependencies.cpp b/test/ft/non_owning_dependencies.cpp
index 3734757b..da340aeb 100644
--- a/test/ft/non_owning_dependencies.cpp
+++ b/test/ft/non_owning_dependencies.cpp
@@ -5,6 +5,7 @@
 // (See accompanying file LICENSE_1_0.txt or copy at
 // http://www.boost.org/LICENSE_1_0.txt)
 //
+// cppcheck-suppress missingIncludeSystem
 #include <boost/sml.hpp>
 
 namespace sml = boost::sml;