From 224048d0f4022f91c2074daddf9dcafbf11f2be9 Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Thu, 30 Jan 2025 23:34:12 +0100
Subject: Add implicit conversions for box from derived to base type
---
asl/tests/box_tests.cpp | 24 ++++++++++++++++++++++++
1 file changed, 24 insertions(+)
(limited to 'asl/tests')
diff --git a/asl/tests/box_tests.cpp b/asl/tests/box_tests.cpp
index edb574c..3faf121 100644
--- a/asl/tests/box_tests.cpp
+++ b/asl/tests/box_tests.cpp
@@ -76,3 +76,27 @@ ASL_TEST(niche)
ASL_TEST_EXPECT(!opt2.has_value());
ASL_TEST_EXPECT(destroyed);
}
+
+class Base
+{
+public:
+ virtual ~Base() = default;
+ virtual int number() { return 1; }
+};
+
+class Derived : public Base
+{
+public:
+ int number() override { return 2; }
+};
+
+static_assert(asl::convertible_from<asl::box<Base>, asl::box<Derived>>);
+static_assert(asl::convertible_from<asl::box<Base>, asl::box<Base>>);
+static_assert(!asl::convertible_from<asl::box<Derived>, asl::box<Base>>);
+static_assert(!asl::convertible_from<asl::box<int>, asl::box<float>>);
+
+ASL_TEST(derived)
+{
+ asl::box<Base> obj = asl::make_box<Derived>();
+ ASL_TEST_ASSERT(obj->number() == 2);
+}
--
cgit