From c8d19f959949dccd0bdbd0389f7653263ce3ff19 Mon Sep 17 00:00:00 2001 From: "Ralf W. Grosse-Kunstleve" Date: Mon, 11 Jan 2021 15:37:23 -0800 Subject: [PATCH] Hard-coding smart_holder into classh. --- include/pybind11/classh.h | 25 ++++++++----------------- 1 file changed, 8 insertions(+), 17 deletions(-) diff --git a/include/pybind11/classh.h b/include/pybind11/classh.h index fc3ffabb6..61bc50d4b 100644 --- a/include/pybind11/classh.h +++ b/include/pybind11/classh.h @@ -1,23 +1,23 @@ #pragma once +#include "smart_holder_poc.h" #include "pybind11.h" PYBIND11_NAMESPACE_BEGIN(PYBIND11_NAMESPACE) template class classh : public detail::generic_type { - template using is_holder = detail::is_holder_type; template using is_subtype = detail::is_strict_base_of; template using is_base = detail::is_strict_base_of; // struct instead of using here to help MSVC: template struct is_valid_class_option : - detail::any_of, is_subtype, is_base> {}; + detail::any_of, is_base> {}; public: using type = type_; using type_alias = detail::exactly_one_t; constexpr static bool has_alias = !std::is_void::value; - using holder_type = detail::exactly_one_t, options...>; + using holder_type = pybindit::memory::smart_holder; static_assert(detail::all_of...>::value, "Unknown/invalid classh template parameters provided"); @@ -48,7 +48,7 @@ public: record.holder_size = sizeof(holder_type); record.init_instance = init_instance; record.dealloc = dealloc; - record.default_holder = detail::is_instantiation::value; + record.default_holder = false; set_operator_new(&record); @@ -271,7 +271,7 @@ private: static void init_holder(detail::instance *inst, detail::value_and_holder &v_h, const holder_type * /* unused */, const std::enable_shared_from_this * /* dummy */) { try { - auto sh = std::dynamic_pointer_cast( + auto sh = std::dynamic_pointer_cast( // Was: typename holder_type::element_type v_h.value_ptr()->shared_from_this()); if (sh) { new (std::addressof(v_h.holder())) holder_type(std::move(sh)); @@ -285,24 +285,15 @@ private: } } - static void init_holder_from_existing(const detail::value_and_holder &v_h, - const holder_type *holder_ptr, std::true_type /*is_copy_constructible*/) { - new (std::addressof(v_h.holder())) holder_type(*reinterpret_cast(holder_ptr)); - } - - static void init_holder_from_existing(const detail::value_and_holder &v_h, - const holder_type *holder_ptr, std::false_type /*is_copy_constructible*/) { - new (std::addressof(v_h.holder())) holder_type(std::move(*const_cast(holder_ptr))); - } - /// Initialize holder object, variant 2: try to construct from existing holder object, if possible static void init_holder(detail::instance *inst, detail::value_and_holder &v_h, const holder_type *holder_ptr, const void * /* dummy -- not enable_shared_from_this) */) { if (holder_ptr) { - init_holder_from_existing(v_h, holder_ptr, std::is_copy_constructible()); + new (std::addressof(v_h.holder())) holder_type(*reinterpret_cast(holder_ptr)); v_h.set_holder_constructed(); } else if (inst->owned || detail::always_construct_holder::value) { - new (std::addressof(v_h.holder())) holder_type(v_h.value_ptr()); + new (std::addressof(v_h.holder())) holder_type( + std::move(holder_type::from_raw_ptr_take_ownership(v_h.value_ptr()))); v_h.set_holder_constructed(); } }