diff options
| author | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-11-01 22:56:06 +0100 |
|---|---|---|
| committer | Steven Le Rouzic <steven.lerouzic@gmail.com> | 2024-12-20 15:35:58 +0100 |
| commit | 343d872be9f91e5fcb9167021790831458cbf19c (patch) | |
| tree | 97b233cd71ec254978135eb5847abe514589ceee /asl/tests/option_tests.cpp | |
| parent | 2a10eaae094e48a157d55ec886aaa07b0d0be6c9 (diff) | |
More work on option
Diffstat (limited to 'asl/tests/option_tests.cpp')
| -rw-r--r-- | asl/tests/option_tests.cpp | 80 |
1 files changed, 79 insertions, 1 deletions
diff --git a/asl/tests/option_tests.cpp b/asl/tests/option_tests.cpp index e7fff8b..dea046e 100644 --- a/asl/tests/option_tests.cpp +++ b/asl/tests/option_tests.cpp @@ -1,6 +1,13 @@ #include "asl/option.hpp"
#include "asl/tests/test_types.hpp"
-#include "asl/testing/testing.hpp" +#include "asl/testing/testing.hpp"
+
+class Base {};
+class Derived : public Base {};
+
+static_assert(!asl::is_option<int>); +static_assert(asl::is_option<asl::option<int>>);
+static_assert(asl::is_option<const asl::option<int>>);
static_assert(asl::trivially_destructible<asl::option<TriviallyDestructible>>);
static_assert(!asl::trivially_destructible<asl::option<HasDestructor>>);
@@ -22,8 +29,39 @@ static_assert(!asl::copy_assignable<asl::option<NonMoveAssignable>>); static_assert(asl::move_assignable<asl::option<int>>);
static_assert(asl::move_assignable<asl::option<CopyAssignable>>);
+static_assert(asl::move_assignable<asl::option<MoveAssignable>>);
static_assert(!asl::move_assignable<asl::option<NonMoveAssignable>>);
+static_assert(asl::assignable<asl::option<Base*>&, asl::option<Derived*>>);
+static_assert(!asl::assignable<asl::option<Derived*>&, asl::option<Base*>>);
+
+static_assert(!asl::convertible<asl::option<Base*>, asl::option<Derived*>>);
+static_assert(asl::convertible<asl::option<Derived*>, asl::option<Base*>>);
+
+class ExplicitConversion { public: explicit ExplicitConversion(int) {} };
+class ImplicitConversion { public: ImplicitConversion(int) {} }; // NOLINT
+
+static_assert(!asl::convertible<int, ExplicitConversion>);
+static_assert(asl::convertible<int, ImplicitConversion>);
+
+static_assert(!asl::convertible<int, asl::option<ExplicitConversion>>);
+static_assert(asl::convertible<int, asl::option<ImplicitConversion>>);
+
+static_assert(!asl::convertible<asl::option<int>, asl::option<ExplicitConversion>>);
+static_assert(asl::convertible<asl::option<int>, asl::option<ImplicitConversion>>);
+
+static_assert(asl::trivially_copy_constructible<asl::option<int>>);
+static_assert(!asl::trivially_copy_constructible<asl::option<CopyConstructible>>);
+
+static_assert(asl::trivially_move_constructible<asl::option<int>>);
+static_assert(!asl::trivially_move_constructible<asl::option<MoveConstructible>>);
+
+static_assert(asl::trivially_copy_assignable<asl::option<int>>);
+static_assert(!asl::trivially_copy_assignable<asl::option<CopyAssignable>>);
+
+static_assert(asl::trivially_move_assignable<asl::option<int>>);
+static_assert(!asl::trivially_move_assignable<asl::option<MoveAssignable>>);
+
ASL_TEST(make_null)
{
asl::option<int> a;
@@ -111,3 +149,43 @@ ASL_TEST(deduction_guide) asl::option opt(45);
ASL_TEST_EXPECT(opt.value() == 45);
}
+
+ASL_TEST(convert_copy)
+{
+ asl::option<uint8_t> opt8 = uint8_t{8};
+ asl::option<uint16_t> opt16 = opt8;
+
+ ASL_TEST_EXPECT(opt16.has_value());
+ ASL_TEST_EXPECT(opt16.value() == 8);
+
+ opt8 = uint8_t{10};
+ ASL_TEST_EXPECT(opt8.has_value());
+ ASL_TEST_EXPECT(opt8.value() == 10);
+
+ opt16 = asl::nullopt;
+ ASL_TEST_EXPECT(!opt16.has_value());
+
+ opt16 = opt8;
+ ASL_TEST_EXPECT(opt16.has_value());
+ ASL_TEST_EXPECT(opt16.value() == 10);
+}
+
+ASL_TEST(convert_move)
+{
+ asl::option<uint8_t> opt8 = uint8_t{8};
+ asl::option<uint16_t> opt16 = ASL_MOVE(opt8);
+
+ ASL_TEST_EXPECT(opt16.has_value());
+ ASL_TEST_EXPECT(opt16.value() == 8);
+
+ opt8 = ASL_MOVE(uint8_t{10});
+ ASL_TEST_EXPECT(opt8.has_value());
+ ASL_TEST_EXPECT(opt8.value() == 10);
+
+ opt16 = asl::nullopt;
+ ASL_TEST_EXPECT(!opt16.has_value());
+
+ opt16 = ASL_MOVE(opt8);
+ ASL_TEST_EXPECT(opt16.has_value());
+ ASL_TEST_EXPECT(opt16.value() == 10);
+}
|