summaryrefslogtreecommitdiff
path: root/asl/tests/box_tests.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'asl/tests/box_tests.cpp')
-rw-r--r--asl/tests/box_tests.cpp102
1 files changed, 0 insertions, 102 deletions
diff --git a/asl/tests/box_tests.cpp b/asl/tests/box_tests.cpp
deleted file mode 100644
index 3faf121..0000000
--- a/asl/tests/box_tests.cpp
+++ /dev/null
@@ -1,102 +0,0 @@
-#include "asl/box.hpp"
-#include "asl/option.hpp"
-
-#include "asl/testing/testing.hpp"
-#include "asl/tests/test_types.hpp"
-
-static_assert(sizeof(asl::box<int>) == sizeof(int*));
-static_assert(!asl::copyable<asl::box<int>>);
-static_assert(asl::moveable<asl::box<int>>);
-static_assert(asl::has_niche<asl::box<int>>);
-static_assert(sizeof(asl::option<asl::box<int>>) == sizeof(int*));
-
-ASL_TEST(destructor)
-{
- bool d = false;
-
- {
- auto box = asl::make_box<DestructorObserver>(&d);
- ASL_TEST_ASSERT(!d);
-
-
- auto box3 = ASL_MOVE(box);
- ASL_TEST_ASSERT(!d);
- }
-
- ASL_TEST_ASSERT(d);
-}
-
-ASL_TEST(value)
-{
- auto b = asl::make_box<int>(24);
- ASL_TEST_EXPECT(*b == 24);
-
- auto b2 = ASL_MOVE(b);
- ASL_TEST_EXPECT(*b2 == 24);
-}
-
-ASL_TEST(ptr)
-{
- auto b = asl::make_box<int>(24);
- auto* ptr1 = b.get();
-
- auto b2 = ASL_MOVE(b);
- auto* ptr2 = b2.get();
- ASL_TEST_EXPECT(ptr1 == ptr2);
-}
-
-struct Struct { int a; };
-
-ASL_TEST(arrow)
-{
- auto b = asl::make_box<Struct>(45);
- ASL_TEST_EXPECT(b->a == 45);
-}
-
-ASL_TEST(niche)
-{
- static_assert(sizeof(asl::box<int>) == sizeof(asl::option<asl::box<int>>));
-
- asl::option<asl::box<int>> opt;
- ASL_TEST_EXPECT(!opt.has_value());
-
- opt = asl::make_box<int>(66);
- ASL_TEST_EXPECT(opt.has_value());
- ASL_TEST_EXPECT(*opt.value() == 66);
-
- opt = asl::nullopt;
- ASL_TEST_EXPECT(!opt.has_value());
-
- bool destroyed = false;
- asl::option opt2 = asl::make_box<DestructorObserver>(&destroyed);
- ASL_TEST_EXPECT(opt2.has_value());
- ASL_TEST_EXPECT(!destroyed);
-
- opt2.reset();
- 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);
-}