more policy splitting

include/yorel/yomm2/detail.hpp

@@ -1,13 +1,10 @@
 #ifndef YOREL_YOMM2_DETAIL_HPP
 #define YOREL_YOMM2_DETAIL_HPP
 
-#include <boost/assert.hpp>
-#include <boost/dynamic_bitset.hpp>
-#include <boost/mp11/algorithm.hpp>
-#include <boost/mp11/bind.hpp>
-
 #include <yorel/yomm2/detail/static_list.hpp>
 
+#include <boost/assert.hpp>
+
 namespace yorel {
 namespace yomm2 {
 namespace detail {

include/yorel/yomm2/detail/compiler.hpp

@@ -25,7 +25,6 @@
 #include <boost/assert.hpp>
 #include <boost/dynamic_bitset.hpp>
 
-
 namespace yorel {
 namespace yomm2 {
 namespace detail {
@@ -37,20 +36,26 @@ struct aggregate_reports;
 
 template<class... Reports, class Facet, class... MoreFacets>
 struct aggregate_reports<
-    types<Reports...>, types<Facet, MoreFacets...>,
+    types<Reports...>,
+    types<Facet, MoreFacets...>,
     std::void_t<typename Facet::report>> {
     using type = typename aggregate_reports<
-        types<Reports..., typename Facet::report>, types<MoreFacets...>>::type;
+        types<Reports..., typename Facet::report>,
+        types<MoreFacets...>>::type;
 };
 
 template<class... Reports, class Facet, class... MoreFacets, typename Void>
-struct aggregate_reports<types<Reports...>, types<Facet, MoreFacets...>, Void> {
+struct aggregate_reports<
+    types<Reports...>,
+    types<Facet, MoreFacets...>, Void> {
     using type = typename aggregate_reports<
-        types<Reports...>, types<MoreFacets...>>::type;
+        types<Reports...>,
+        types<MoreFacets...>>::type;
 };
 
 template<class... Reports, typename Void>
-struct aggregate_reports<types<Reports...>, types<>, Void> {
+struct aggregate_reports<
+    types<Reports...>, types<>, Void> {
     struct type : Reports... {};
 };
 
@@ -224,7 +229,8 @@ struct compiler : generic_compiler {
     using type_index_type = decltype(Policy::type_index(0));
 
     typename aggregate_reports<
-        types<update_report>, typename Policy::facets>::type report;
+        types<update_report>, typename Policy::facets>::type
+        report;
 
     std::unordered_map<type_index_type, class_*> class_map;
 

include/yorel/yomm2/detail/ostdstream.hpp

@@ -3,6 +3,8 @@
 
 #include <array>
 #include <cstdio>
+#include <charconv>
+#include <random>
 
 namespace yorel {
 namespace yomm2 {

include/yorel/yomm2/detail/trace.hpp

@@ -1,6 +1,8 @@
 #ifndef YOREL_YOMM2_DETAIL_TRACE_HPP
 #define YOREL_YOMM2_DETAIL_TRACE_HPP
 
+#include <boost/dynamic_bitset.hpp>
+
 namespace yorel {
 namespace yomm2 {
 namespace detail {

include/yorel/yomm2/detail/types.hpp

@@ -0,0 +1,40 @@
+#ifndef YOREL_YOMM2_DETAIL_TYPES_HPP
+#define YOREL_YOMM2_DETAIL_TYPES_HPP
+
+#include <cstdint>
+#include <limits>
+
+#if defined(YOMM2_SHARED)
+#if defined(_MSC_VER)
+#if !defined(yOMM2_API_msc)
+#define yOMM2_API_msc __declspec(dllimport)
+#endif
+#endif
+#endif
+
+#if !defined(yOMM2_API_gcc)
+#define yOMM2_API_gcc
+#endif
+
+#if !defined(yOMM2_API_msc)
+#define yOMM2_API_msc
+#endif
+
+#define yOMM2_API yOMM2_API_gcc yOMM2_API_msc
+
+namespace yorel {
+namespace yomm2 {
+
+using type_id = std::uintptr_t;
+constexpr type_id invalid_type = (std::numeric_limits<type_id>::max)();
+
+namespace detail {
+
+template<typename... Types>
+struct types;
+
+}
+} // namespace yomm2
+} // namespace yorel
+
+#endif

include/yorel/yomm2/policies/basic_error_output.hpp

@@ -0,0 +1,28 @@
+
+// Copyright (c) 2018-2024 Jean-Louis Leroy
+// 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)
+
+#ifndef YOREL_YOMM2_POLICY_BASIC_ERROR_OUTPUT_HPP
+#define YOREL_YOMM2_POLICY_BASIC_ERROR_OUTPUT_HPP
+
+#include <yorel/yomm2/policies/core.hpp>
+
+namespace yorel {
+namespace yomm2 {
+namespace policy {
+
+template<class Policy, typename Stream = detail::ostderr>
+struct yOMM2_API_gcc basic_error_output : virtual error_output {
+    static Stream error_stream;
+};
+
+template<class Policy, typename Stream>
+Stream basic_error_output<Policy, Stream>::error_stream;
+
+}
+}
+}
+
+#endif

include/yorel/yomm2/policies/basic_indirect_vptr.hpp

@@ -0,0 +1,29 @@
+
+// Copyright (c) 2018-2024 Jean-Louis Leroy
+// 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)
+
+#ifndef YOREL_YOMM2_POLICY_BASIC_INDIRECT_VPTR_HPP
+#define YOREL_YOMM2_POLICY_BASIC_INDIRECT_VPTR_HPP
+
+#include <yorel/yomm2/policies/core.hpp>
+
+namespace yorel {
+namespace yomm2 {
+namespace policy {
+
+template<class Policy>
+struct yOMM2_API_gcc basic_indirect_vptr : virtual indirect_vptr {
+    static std::vector<std::uintptr_t const* const*> indirect_vptrs;
+};
+
+template<class Policy>
+std::vector<std::uintptr_t const* const*>
+    basic_indirect_vptr<Policy>::indirect_vptrs;
+
+}
+}
+}
+
+#endif

include/yorel/yomm2/policies/basic_trace_output.hpp

@@ -0,0 +1,35 @@
+
+// Copyright (c) 2018-2024 Jean-Louis Leroy
+// 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)
+
+#ifndef YOREL_YOMM2_POLICY_BASIC_TRACE_OUTPUT_HPP
+#define YOREL_YOMM2_POLICY_BASIC_TRACE_OUTPUT_HPP
+
+#include <yorel/yomm2/policies/core.hpp>
+
+namespace yorel {
+namespace yomm2 {
+namespace policy {
+
+template<class Policy, typename Stream = detail::ostderr>
+struct yOMM2_API_gcc basic_trace_output : virtual trace_output {
+    static Stream trace_stream;
+    static bool trace_enabled;
+};
+
+template<class Policy, typename Stream>
+Stream basic_trace_output<Policy, Stream>::trace_stream;
+
+template<class Policy, typename Stream>
+bool basic_trace_output<Policy, Stream>::trace_enabled([]() {
+    auto env = getenv("YOMM2_TRACE");
+    return env && *env++ == '1' && *env++ == 0;
+}());
+
+}
+}
+}
+
+#endif

include/yorel/yomm2/policies/core.hpp

@@ -1,38 +1,21 @@
+// Copyright (c) 2018-2024 Jean-Louis Leroy
+// 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)
+
 #ifndef YOREL_YOMM2_POLICIES_CORE_HPP
 #define YOREL_YOMM2_POLICIES_CORE_HPP
 
+#include <yorel/yomm2/detail/types.hpp>
 #include <yorel/yomm2/detail/static_list.hpp>
 
-#if defined(YOMM2_SHARED)
-#if defined(_MSC_VER)
-#if !defined(yOMM2_API_msc)
-#define yOMM2_API_msc __declspec(dllimport)
-#endif
-#endif
-#endif
+#include <boost/mp11/algorithm.hpp>
+#include <boost/mp11/bind.hpp>
 
-#if !defined(yOMM2_API_gcc)
-#define yOMM2_API_gcc
-#endif
-
-#if !defined(yOMM2_API_msc)
-#define yOMM2_API_msc
-#endif
-
-#define yOMM2_API yOMM2_API_gcc yOMM2_API_msc
-
-// -----------------------------------------------------------------------------
-// Forward declarations needed by "detail.hpp"
+#include <string_view>
 
 namespace yorel {
 namespace yomm2 {
-
-struct context;
-struct catalog;
-
-using type_id = std::uintptr_t;
-constexpr type_id invalid_type = (std::numeric_limits<type_id>::max)();
-
 namespace detail {
 
 // -----------------------------------------------------------------------------
@@ -193,6 +176,75 @@ detail::method_catalog basic_domain<Key>::methods;
 template<class Key>
 std::vector<std::uintptr_t> basic_domain<Key>::dispatch_data;
 
+template<typename Policy, class Facet>
+struct rebind_facet {
+    using type = Facet;
+};
+
+template<
+    typename NewPolicy, typename OldPolicy,
+    template<typename...> class GenericFacet, typename... Args>
+struct rebind_facet<NewPolicy, GenericFacet<OldPolicy, Args...>> {
+    using type = GenericFacet<NewPolicy, Args...>;
+};
+
+template<class Policy, class... Facets>
+struct basic_policy : virtual abstract_policy,
+                      virtual basic_domain<Policy>,
+                      virtual Facets... {
+    using facets = detail::types<Facets...>;
+
+    template<class Facet>
+    static constexpr bool has_facet = std::is_base_of_v<Facet, Policy>;
+
+    template<class Facet>
+    using use_facet = boost::mp11::mp_first<boost::mp11::mp_filter_q<
+        boost::mp11::mp_bind_front_q<
+            boost::mp11::mp_quote_trait<std::is_base_of>, Facet>,
+        facets>>;
+
+    template<class NewPolicy>
+    using rebind = basic_policy<
+        NewPolicy, typename rebind_facet<NewPolicy, Facets>::type...>;
+
+    template<class Base, class Facet>
+    using replace = boost::mp11::mp_apply<
+        basic_policy,
+        boost::mp11::mp_push_front<
+            boost::mp11::mp_replace_if_q<
+                facets,
+                boost::mp11::mp_bind_front_q<
+                    boost::mp11::mp_quote_trait<std::is_base_of>, Base>,
+                Facet>,
+            Policy>>;
+
+    template<class Base>
+    using remove = boost::mp11::mp_apply<
+        basic_policy,
+        boost::mp11::mp_push_front<
+            boost::mp11::mp_remove_if_q<
+                facets,
+                boost::mp11::mp_bind_front_q<
+                    boost::mp11::mp_quote_trait<std::is_base_of>, Base>>,
+            Policy>>;
+};
+
+template<class Policy, class Facet>
+constexpr bool has_facet = Policy::template has_facet<Facet>;
+
+struct rtti {
+    static type_id type_index(type_id type) {
+        return type;
+    }
+
+    template<typename Stream>
+    static void type_name(type_id type, Stream& stream) {
+        stream << "type_id(" << type << ")";
+    }
+};
+
+struct deferred_static_rtti : virtual rtti {};
+
 } // namespace policy
 
 } // namespace yomm2