mirror of
https://github.com/pybind/pybind11.git
synced 2026-06-29 19:07:03 +00:00
* Pure `git merge --squash smart_holder` (no manual interventions). * Remove ubench/ directory. * Remove include/pybind11/smart_holder.h * [ci skip] smart_ptrs.rst updates [WIP/unfinished] * [ci skip] smart_ptrs.rst updates continued; also updating classes.rst, advanced/classes.rst * Remove README_smart_holder.rst * Restore original README.rst from master * [ci skip] Minimal change to README.rst, to leave a hint that this is pybind11v3 * [ci skip] Work in ChatGPT suggestions. * Change macro name to PYBIND11_RUN_TESTING_WITH_SMART_HOLDER_AS_DEFAULT_BUT_NEVER_USE_IN_PRODUCTION_PLEASE * Add a note pointing to the holder reinterpret_cast. * Incorporate suggestion by @virtuald: https://github.com/pybind/pybind11/pull/5542#discussion_r1967000989 * Systematically change most py::class_ to py::classh under docs/ * Remove references to README_smart_holder.rst This should have been part of commiteb550d03d3. * [ci skip] Fix minor oversight (``class_`` -> ``py::class_``) noticed by chance. * [ci skip] Resolve suggestion by @virtuald https://github.com/pybind/pybind11/pull/5542#discussion_r1969940605 * [ci skip] Apply suggestions by @timohl (thanks!) * https://github.com/pybind/pybind11/pull/5542#discussion_r1970714551 * https://github.com/pybind/pybind11/pull/5542#discussion_r1971315329 * https://github.com/pybind/pybind11/pull/5542#discussion_r1971322821 * Replace `classh : class_` inhertance with `using`, as suggested by @henryiii https://github.com/pybind/pybind11/pull/5542#issuecomment-2689034104 * Revert "Systematically change most py::class_ to py::classh under docs/" This reverts commitac9d31e13f. * docs: focus on py::smart_holder instead of py::classh Signed-off-by: Henry Schreiner <henryschreineriii@gmail.com> * Restore minor general fixes that got lost whenac9d31e13fwas reverted. * Remove `- smart_holder` from list of branches in all .github/workflows * Extend classh note to explain whitespace noise motivation. * Suggest `py::smart_holder` for "most situations for safety" * Add back PYBIND11_HAS_INTERNALS_WITH_SMART_HOLDER_SUPPORT This define was * introduced with https://github.com/pybind/pybind11/pull/5286 * removed with https://github.com/pybind/pybind11/pull/5531 It is has been in use here: *f02a2b7653/pybind11_protobuf/native_proto_caster.h (L89-L101)Currently pybind11 unit tests for the two holder caster backwards compatibility traits * `copyable_holder_caster_shared_ptr_with_smart_holder_support_enabled` * `move_only_holder_caster_unique_ptr_with_smart_holder_support_enabled` are missing. * Add py::trampoline_self_life_support to all trampoline examples under docs/. Address suggestion by @timohl: * https://github.com/pybind/pybind11/pull/5542#issuecomment-2686452062 Add to the "please think twice" note: the overhead for safety is likely in the noise. Also fix a two-fold inconsistency introduced by revert-commit1e646c91b4: 1. py::trampoline_self_life_support is mentioned in a note, but is missing in the example right before. 2. The section starting with To enable safely passing a ``std::unique_ptr`` to a trampoline object between is obsolete. * Fix whitespace accident (indentation) introduced with1e646c91b4Apparently the mis-indentation was introduced when resolving merge conflicts for what became1e646c91b4* WHITESPACE CHANGES ONLY in README.rst (list of people that made significant contributions) * Add Ethan Steinberg to list of people that made significant contributions (for completeness, unrelated to smart_holder work). * [ci skip] Add to list of people that made significant contributions: major and/or influential contributors to smart_holder branch * #2904 by @rhaschke was merged on Mar 16, 2021 * #3012 by @rhaschke was merged on May 28, 2021 * #3039 by @jakobandersen was merged on Jun 29, 2021 * #3048 by @Skylion007 was merged on Jun 18, 2021 * #3588 by @virtuald was merged on Jan 3, 2022 * #3633 by @wangxf123456 was merged on Jan 25, 2022 * #3635 by @virtuald was merged on Jan 26, 2022 * #3645 by @wangxf123456 was merged on Jan 25, 2022 * #3796 by @wangxf123456 was merged on Mar 10, 2022 * #3807 by @wangxf123456 was merged on Mar 18, 2022 * #3838 by @wangxf123456 was merged on Apr 15, 2022 * #3929 by @tomba was merged on May 7, 2022 * #4031 by @wangxf123456 was merged on Jun 27, 2022 * #4343 by @wangxf123456 was merged on Nov 18, 2022 * #4381 by @wangxf123456 was merged on Dec 5, 2022 * #4539 by @wangxf123456 was merged on Feb 28, 2023 * #4609 by @wangxf123456 was merged on Apr 6, 2023 * #4775 by @wangxf123456 was merged on Aug 3, 2023 * #4921 by @iwanders was merged on Nov 7, 2023 * #4924 by @iwanders was merged on Nov 6, 2023 * #5401 by @msimacek was merged on Oct 8, 2024 Co-authored-by: Aaron Gokaslan <aaronGokaslan@gmail.com> Co-authored-by: Dustin Spicuzza <dustin@virtualroadside.com> Co-authored-by: Ivor Wanders <iwanders@users.noreply.github.com> Co-authored-by: Jakob Lykke Andersen <Jakob@caput.dk> Co-authored-by: Michael Šimáček <michael.simacek@oracle.com> Co-authored-by: Robert Haschke <rhaschke@users.noreply.github.com> Co-authored-by: Tomi Valkeinen <tomi.valkeinen@iki.fi> Co-authored-by: Xiaofei Wang <6218006+wangxf123456@users.noreply.github.com> --------- Signed-off-by: Henry Schreiner <henryschreineriii@gmail.com> Co-authored-by: Henry Schreiner <henryschreineriii@gmail.com> Co-authored-by: Aaron Gokaslan <aaronGokaslan@gmail.com> Co-authored-by: Dustin Spicuzza <dustin@virtualroadside.com> Co-authored-by: Ivor Wanders <iwanders@users.noreply.github.com> Co-authored-by: Jakob Lykke Andersen <Jakob@caput.dk> Co-authored-by: Michael Šimáček <michael.simacek@oracle.com> Co-authored-by: Robert Haschke <rhaschke@users.noreply.github.com> Co-authored-by: Tomi Valkeinen <tomi.valkeinen@iki.fi> Co-authored-by: Xiaofei Wang <6218006+wangxf123456@users.noreply.github.com>
416 lines
17 KiB
C++
416 lines
17 KiB
C++
#include "smart_holder_poc.h"
|
|
|
|
#include <functional>
|
|
#include <memory>
|
|
#include <type_traits>
|
|
#include <utility>
|
|
|
|
// Catch uses _ internally, which breaks gettext style defines
|
|
#ifdef _
|
|
# undef _
|
|
#endif
|
|
|
|
#define CATCH_CONFIG_MAIN
|
|
#include "catch.hpp"
|
|
|
|
using pybindit::memory::smart_holder;
|
|
namespace poc = pybindit::memory::smart_holder_poc;
|
|
|
|
namespace helpers {
|
|
|
|
struct movable_int {
|
|
int valu;
|
|
explicit movable_int(int v) : valu{v} {}
|
|
movable_int(movable_int &&other) noexcept : valu(other.valu) { other.valu = 91; }
|
|
};
|
|
|
|
template <typename T>
|
|
struct functor_builtin_delete {
|
|
void operator()(T *ptr) { delete ptr; }
|
|
#if (defined(__GNUC__) && __GNUC__ == 4 && __GNUC_MINOR__ == 8) \
|
|
|| (defined(__clang_major__) && __clang_major__ == 3 && __clang_minor__ == 6)
|
|
// Workaround for these errors:
|
|
// gcc 4.8.5: too many initializers for 'helpers::functor_builtin_delete<int>'
|
|
// clang 3.6: excess elements in struct initializer
|
|
functor_builtin_delete() = default;
|
|
functor_builtin_delete(const functor_builtin_delete &) {}
|
|
functor_builtin_delete(functor_builtin_delete &&) {}
|
|
#endif
|
|
};
|
|
|
|
template <typename T>
|
|
struct functor_other_delete : functor_builtin_delete<T> {};
|
|
|
|
struct indestructible_int {
|
|
int valu;
|
|
explicit indestructible_int(int v) : valu{v} {}
|
|
|
|
private:
|
|
~indestructible_int() = default;
|
|
};
|
|
|
|
struct base {
|
|
virtual int get() { return 10; }
|
|
virtual ~base() = default;
|
|
};
|
|
|
|
struct derived : public base {
|
|
int get() override { return 100; }
|
|
};
|
|
|
|
} // namespace helpers
|
|
|
|
TEST_CASE("from_raw_ptr_unowned+as_raw_ptr_unowned", "[S]") {
|
|
static int value = 19;
|
|
auto hld = smart_holder::from_raw_ptr_unowned(&value);
|
|
REQUIRE(*hld.as_raw_ptr_unowned<int>() == 19);
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_unowned+as_lvalue_ref", "[S]") {
|
|
static int value = 19;
|
|
auto hld = smart_holder::from_raw_ptr_unowned(&value);
|
|
REQUIRE(poc::as_lvalue_ref<int>(hld) == 19);
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_unowned+as_rvalue_ref", "[S]") {
|
|
helpers::movable_int orig(19);
|
|
{
|
|
auto hld = smart_holder::from_raw_ptr_unowned(&orig);
|
|
helpers::movable_int othr(poc::as_rvalue_ref<helpers::movable_int>(hld));
|
|
REQUIRE(othr.valu == 19);
|
|
REQUIRE(orig.valu == 91);
|
|
}
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_unowned+as_raw_ptr_release_ownership", "[E]") {
|
|
static int value = 19;
|
|
auto hld = smart_holder::from_raw_ptr_unowned(&value);
|
|
REQUIRE_THROWS_WITH(poc::as_raw_ptr_release_ownership<int>(hld),
|
|
"Cannot disown non-owning holder (as_raw_ptr_release_ownership).");
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_unowned+as_unique_ptr", "[E]") {
|
|
static int value = 19;
|
|
auto hld = smart_holder::from_raw_ptr_unowned(&value);
|
|
REQUIRE_THROWS_WITH(poc::as_unique_ptr<int>(hld),
|
|
"Cannot disown non-owning holder (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_unowned+as_unique_ptr_with_deleter", "[E]") {
|
|
static int value = 19;
|
|
auto hld = smart_holder::from_raw_ptr_unowned(&value);
|
|
REQUIRE_THROWS_WITH((poc::as_unique_ptr<int, helpers::functor_builtin_delete<int>>(hld)),
|
|
"Missing unique_ptr deleter (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_unowned+as_shared_ptr", "[S]") {
|
|
static int value = 19;
|
|
auto hld = smart_holder::from_raw_ptr_unowned(&value);
|
|
REQUIRE(*hld.as_shared_ptr<int>() == 19);
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_take_ownership+as_lvalue_ref", "[S]") {
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
REQUIRE(hld.has_pointee());
|
|
REQUIRE(poc::as_lvalue_ref<int>(hld) == 19);
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_take_ownership+as_raw_ptr_release_ownership1", "[S]") {
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
auto new_owner = std::unique_ptr<int>(poc::as_raw_ptr_release_ownership<int>(hld));
|
|
REQUIRE(!hld.has_pointee());
|
|
REQUIRE(*new_owner == 19);
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_take_ownership+as_raw_ptr_release_ownership2", "[E]") {
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
auto shd_ptr = hld.as_shared_ptr<int>();
|
|
REQUIRE_THROWS_WITH(poc::as_raw_ptr_release_ownership<int>(hld),
|
|
"Cannot disown use_count != 1 (as_raw_ptr_release_ownership).");
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_take_ownership+as_unique_ptr1", "[S]") {
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
std::unique_ptr<int> new_owner = poc::as_unique_ptr<int>(hld);
|
|
REQUIRE(!hld.has_pointee());
|
|
REQUIRE(*new_owner == 19);
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_take_ownership+as_unique_ptr2", "[E]") {
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
auto shd_ptr = hld.as_shared_ptr<int>();
|
|
REQUIRE_THROWS_WITH(poc::as_unique_ptr<int>(hld),
|
|
"Cannot disown use_count != 1 (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_take_ownership+as_unique_ptr_with_deleter", "[E]") {
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
REQUIRE_THROWS_WITH((poc::as_unique_ptr<int, helpers::functor_builtin_delete<int>>(hld)),
|
|
"Missing unique_ptr deleter (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_take_ownership+as_shared_ptr", "[S]") {
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
std::shared_ptr<int> new_owner = hld.as_shared_ptr<int>();
|
|
REQUIRE(hld.has_pointee());
|
|
REQUIRE(*new_owner == 19);
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_take_ownership+disown+reclaim_disowned", "[S]") {
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
std::unique_ptr<int> new_owner(hld.as_raw_ptr_unowned<int>());
|
|
hld.disown();
|
|
REQUIRE(poc::as_lvalue_ref<int>(hld) == 19);
|
|
REQUIRE(*new_owner == 19);
|
|
hld.reclaim_disowned(); // Manually veriified: without this, clang++ -fsanitize=address reports
|
|
// "detected memory leaks".
|
|
// NOLINTNEXTLINE(bugprone-unused-return-value)
|
|
(void) new_owner.release(); // Manually verified: without this, clang++ -fsanitize=address
|
|
// reports "attempting double-free".
|
|
REQUIRE(poc::as_lvalue_ref<int>(hld) == 19);
|
|
REQUIRE(new_owner.get() == nullptr);
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_take_ownership+disown+release_disowned", "[S]") {
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
std::unique_ptr<int> new_owner(hld.as_raw_ptr_unowned<int>());
|
|
hld.disown();
|
|
REQUIRE(poc::as_lvalue_ref<int>(hld) == 19);
|
|
REQUIRE(*new_owner == 19);
|
|
hld.release_disowned();
|
|
REQUIRE(!hld.has_pointee());
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_take_ownership+disown+ensure_is_not_disowned", "[E]") {
|
|
const char *context = "test_case";
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
hld.ensure_is_not_disowned(context); // Does not throw.
|
|
std::unique_ptr<int> new_owner(hld.as_raw_ptr_unowned<int>());
|
|
hld.disown();
|
|
REQUIRE_THROWS_WITH(hld.ensure_is_not_disowned(context),
|
|
"Holder was disowned already (test_case).");
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr+as_lvalue_ref", "[S]") {
|
|
std::unique_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
REQUIRE(poc::as_lvalue_ref<int>(hld) == 19);
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr+as_raw_ptr_release_ownership1", "[S]") {
|
|
std::unique_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
auto new_owner = std::unique_ptr<int>(poc::as_raw_ptr_release_ownership<int>(hld));
|
|
REQUIRE(!hld.has_pointee());
|
|
REQUIRE(*new_owner == 19);
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr+as_raw_ptr_release_ownership2", "[E]") {
|
|
std::unique_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
auto shd_ptr = hld.as_shared_ptr<int>();
|
|
REQUIRE_THROWS_WITH(poc::as_raw_ptr_release_ownership<int>(hld),
|
|
"Cannot disown use_count != 1 (as_raw_ptr_release_ownership).");
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr+as_unique_ptr1", "[S]") {
|
|
std::unique_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
std::unique_ptr<int> new_owner = poc::as_unique_ptr<int>(hld);
|
|
REQUIRE(!hld.has_pointee());
|
|
REQUIRE(*new_owner == 19);
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr+as_unique_ptr2", "[E]") {
|
|
std::unique_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
auto shd_ptr = hld.as_shared_ptr<int>();
|
|
REQUIRE_THROWS_WITH(poc::as_unique_ptr<int>(hld),
|
|
"Cannot disown use_count != 1 (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr+as_unique_ptr_with_deleter", "[E]") {
|
|
std::unique_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
REQUIRE_THROWS_WITH((poc::as_unique_ptr<int, helpers::functor_builtin_delete<int>>(hld)),
|
|
"Incompatible unique_ptr deleter (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr+as_shared_ptr", "[S]") {
|
|
std::unique_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
std::shared_ptr<int> new_owner = hld.as_shared_ptr<int>();
|
|
REQUIRE(hld.has_pointee());
|
|
REQUIRE(*new_owner == 19);
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr_derived+as_unique_ptr_base", "[S]") {
|
|
std::unique_ptr<helpers::derived> orig_owner(new helpers::derived());
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
std::unique_ptr<helpers::base> new_owner = poc::as_unique_ptr<helpers::base>(hld);
|
|
REQUIRE(!hld.has_pointee());
|
|
REQUIRE(new_owner->get() == 100);
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr_derived+as_unique_ptr_base2", "[E]") {
|
|
std::unique_ptr<helpers::derived, helpers::functor_other_delete<helpers::derived>> orig_owner(
|
|
new helpers::derived());
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
REQUIRE_THROWS_WITH(
|
|
(poc::as_unique_ptr<helpers::base, helpers::functor_builtin_delete<helpers::base>>(hld)),
|
|
"Incompatible unique_ptr deleter (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr_with_deleter+as_lvalue_ref", "[S]") {
|
|
std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
REQUIRE(poc::as_lvalue_ref<int>(hld) == 19);
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr_with_std_function_deleter+as_lvalue_ref", "[S]") {
|
|
std::unique_ptr<int, std::function<void(const int *)>> orig_owner(
|
|
new int(19), [](const int *raw_ptr) { delete raw_ptr; });
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
REQUIRE(poc::as_lvalue_ref<int>(hld) == 19);
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr_with_deleter+as_raw_ptr_release_ownership", "[E]") {
|
|
std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
REQUIRE_THROWS_WITH(poc::as_raw_ptr_release_ownership<int>(hld),
|
|
"Cannot disown custom deleter (as_raw_ptr_release_ownership).");
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr_with_deleter+as_unique_ptr", "[E]") {
|
|
std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
REQUIRE_THROWS_WITH(poc::as_unique_ptr<int>(hld),
|
|
"Incompatible unique_ptr deleter (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr_with_deleter+as_unique_ptr_with_deleter1", "[S]") {
|
|
std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
std::unique_ptr<int, helpers::functor_builtin_delete<int>> new_owner
|
|
= poc::as_unique_ptr<int, helpers::functor_builtin_delete<int>>(hld);
|
|
REQUIRE(!hld.has_pointee());
|
|
REQUIRE(*new_owner == 19);
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr_with_deleter+as_unique_ptr_with_deleter2", "[E]") {
|
|
std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
REQUIRE_THROWS_WITH((poc::as_unique_ptr<int, helpers::functor_other_delete<int>>(hld)),
|
|
"Incompatible unique_ptr deleter (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr_with_deleter+as_shared_ptr", "[S]") {
|
|
std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
REQUIRE(orig_owner.get() == nullptr);
|
|
std::shared_ptr<int> new_owner = hld.as_shared_ptr<int>();
|
|
REQUIRE(hld.has_pointee());
|
|
REQUIRE(*new_owner == 19);
|
|
}
|
|
|
|
TEST_CASE("from_shared_ptr+as_lvalue_ref", "[S]") {
|
|
std::shared_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_shared_ptr(orig_owner);
|
|
REQUIRE(poc::as_lvalue_ref<int>(hld) == 19);
|
|
}
|
|
|
|
TEST_CASE("from_shared_ptr+as_raw_ptr_release_ownership", "[E]") {
|
|
std::shared_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_shared_ptr(orig_owner);
|
|
REQUIRE_THROWS_WITH(poc::as_raw_ptr_release_ownership<int>(hld),
|
|
"Cannot disown external shared_ptr (as_raw_ptr_release_ownership).");
|
|
}
|
|
|
|
TEST_CASE("from_shared_ptr+as_unique_ptr", "[E]") {
|
|
std::shared_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_shared_ptr(orig_owner);
|
|
REQUIRE_THROWS_WITH(poc::as_unique_ptr<int>(hld),
|
|
"Cannot disown external shared_ptr (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("from_shared_ptr+as_unique_ptr_with_deleter", "[E]") {
|
|
std::shared_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_shared_ptr(orig_owner);
|
|
REQUIRE_THROWS_WITH((poc::as_unique_ptr<int, helpers::functor_builtin_delete<int>>(hld)),
|
|
"Missing unique_ptr deleter (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("from_shared_ptr+as_shared_ptr", "[S]") {
|
|
std::shared_ptr<int> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_shared_ptr(orig_owner);
|
|
REQUIRE(*hld.as_shared_ptr<int>() == 19);
|
|
}
|
|
|
|
TEST_CASE("error_unpopulated_holder", "[E]") {
|
|
smart_holder hld;
|
|
REQUIRE_THROWS_WITH(poc::as_lvalue_ref<int>(hld), "Unpopulated holder (as_lvalue_ref).");
|
|
}
|
|
|
|
TEST_CASE("error_disowned_holder", "[E]") {
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
poc::as_unique_ptr<int>(hld);
|
|
REQUIRE_THROWS_WITH(poc::as_lvalue_ref<int>(hld), "Disowned holder (as_lvalue_ref).");
|
|
}
|
|
|
|
TEST_CASE("error_cannot_disown_nullptr", "[E]") {
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
poc::as_unique_ptr<int>(hld);
|
|
REQUIRE_THROWS_WITH(poc::as_unique_ptr<int>(hld), "Cannot disown nullptr (as_unique_ptr).");
|
|
}
|
|
|
|
TEST_CASE("indestructible_int-from_raw_ptr_unowned+as_raw_ptr_unowned", "[S]") {
|
|
using zombie = helpers::indestructible_int;
|
|
// Using placement new instead of plain new, to not trigger leak sanitizer errors.
|
|
static std::aligned_storage<sizeof(zombie), alignof(zombie)>::type memory_block[1];
|
|
auto *value = new (memory_block) zombie(19);
|
|
auto hld = smart_holder::from_raw_ptr_unowned(value);
|
|
REQUIRE(hld.as_raw_ptr_unowned<zombie>()->valu == 19);
|
|
}
|
|
|
|
TEST_CASE("indestructible_int-from_raw_ptr_take_ownership", "[E]") {
|
|
helpers::indestructible_int *value = nullptr;
|
|
REQUIRE_THROWS_WITH(smart_holder::from_raw_ptr_take_ownership(value),
|
|
"Pointee is not destructible (from_raw_ptr_take_ownership).");
|
|
}
|
|
|
|
TEST_CASE("from_raw_ptr_take_ownership+as_shared_ptr-outliving_smart_holder", "[S]") {
|
|
// Exercises guarded_builtin_delete flag_ptr validity past destruction of smart_holder.
|
|
std::shared_ptr<int> longer_living;
|
|
{
|
|
auto hld = smart_holder::from_raw_ptr_take_ownership(new int(19));
|
|
longer_living = hld.as_shared_ptr<int>();
|
|
}
|
|
REQUIRE(*longer_living == 19);
|
|
}
|
|
|
|
TEST_CASE("from_unique_ptr_with_deleter+as_shared_ptr-outliving_smart_holder", "[S]") {
|
|
// Exercises guarded_custom_deleter flag_ptr validity past destruction of smart_holder.
|
|
std::shared_ptr<int> longer_living;
|
|
{
|
|
std::unique_ptr<int, helpers::functor_builtin_delete<int>> orig_owner(new int(19));
|
|
auto hld = smart_holder::from_unique_ptr(std::move(orig_owner));
|
|
longer_living = hld.as_shared_ptr<int>();
|
|
}
|
|
REQUIRE(*longer_living == 19);
|
|
}
|