From cb5967d8f46fbba7c7e30f436032fef0ed671fe9 Mon Sep 17 00:00:00 2001
From: Steven Le Rouzic <steven.lerouzic@gmail.com>
Date: Mon, 4 Nov 2024 18:11:37 +0100
Subject: More work on span

---
 asl/tests/meta_tests.cpp |  8 ++++++
 asl/tests/span_tests.cpp | 63 ++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 71 insertions(+)

(limited to 'asl/tests')

diff --git a/asl/tests/meta_tests.cpp b/asl/tests/meta_tests.cpp
index 94edc50..5fc4ef4 100644
--- a/asl/tests/meta_tests.cpp
+++ b/asl/tests/meta_tests.cpp
@@ -181,6 +181,14 @@ static_assert(asl::convertible_from<C, D>);
 static_assert(!asl::convertible_from<C*, Derived*>);
 static_assert(asl::convertible_from<E, Base>);
 
+static_assert(!asl::convertible_from<int16_t(&)[], int32_t(&)[]>);
+static_assert(asl::convertible_from<const int16_t(&)[], int16_t(&)[]>);
+static_assert(asl::convertible_from<const int16_t(&)[], const int16_t(&)[]>);
+static_assert(asl::convertible_from<int16_t(&)[], int16_t(&)[]>);
+static_assert(!asl::convertible_from<int32_t(&)[], int16_t(&)[]>);
+static_assert(!asl::convertible_from<int16_t(&)[], const int16_t(&)[]>);
+static_assert(!asl::convertible_from<C(&)[], D(&)[]>);
+
 static_assert(asl::derived_from<Derived, Base>);
 static_assert(!asl::derived_from<Base, Derived>);
 static_assert(!asl::derived_from<D, C>);
diff --git a/asl/tests/span_tests.cpp b/asl/tests/span_tests.cpp
index 276d50a..11510c6 100644
--- a/asl/tests/span_tests.cpp
+++ b/asl/tests/span_tests.cpp
@@ -19,6 +19,7 @@ ASL_TEST(empty_dynamic)
     ASL_TEST_EXPECT(s.is_empty());
 }
 
+
 ASL_TEST(empty_static)
 {
     asl::span<int, 0> s;
@@ -26,3 +27,65 @@ ASL_TEST(empty_static)
     ASL_TEST_EXPECT(s.size_bytes() == 0);
     ASL_TEST_EXPECT(s.is_empty());
 }
+
+ASL_TEST(from_array_dynamic)
+{
+    int array[] = {1, 2, 3};
+    asl::span<int> span = array;
+    ASL_TEST_ASSERT(span.size() == 3);
+    ASL_TEST_EXPECT(span[0] == 1);
+    ASL_TEST_EXPECT(span[1] == 2);
+    ASL_TEST_EXPECT(span[2] == 3);
+}
+
+static_assert(asl::constructible_from<asl::span<int32_t>, int32_t(&)[8]>);
+static_assert(!asl::constructible_from<asl::span<int32_t>, const int32_t(&)[8]>);
+static_assert(asl::constructible_from<asl::span<const int32_t>, int32_t(&)[8]>);
+static_assert(asl::constructible_from<asl::span<const int32_t>, const int32_t(&)[8]>);
+static_assert(asl::constructible_from<asl::span<int32_t, 8>, int32_t(&)[8]>);
+static_assert(!asl::constructible_from<asl::span<int32_t, 8>, int32_t(&)[10]>);
+
+ASL_TEST(from_array_static)
+{
+    int array[] = {1, 2, 3};
+    asl::span<int, 3> span = array;
+    ASL_TEST_ASSERT(span.size() == 3);
+    ASL_TEST_EXPECT(span[0] == 1);
+    ASL_TEST_EXPECT(span[1] == 2);
+    ASL_TEST_EXPECT(span[2] == 3);
+}
+
+static_assert(asl::constructible_from<asl::span<const int32_t>, asl::span<int32_t>>);
+static_assert(!asl::constructible_from<asl::span<int32_t>, asl::span<const int32_t>>);
+static_assert(!asl::constructible_from<asl::span<int32_t>, asl::span<int16_t>>);
+static_assert(!asl::constructible_from<asl::span<int32_t>, asl::span<uint32_t>>);
+static_assert(asl::constructible_from<asl::span<int32_t>, asl::span<int32_t, 6>>);
+static_assert(asl::constructible_from<asl::span<int32_t, 6>, asl::span<int32_t>>);
+static_assert(asl::constructible_from<asl::span<int32_t>, asl::span<int32_t, 6>>);
+static_assert(asl::constructible_from<asl::span<int32_t, 6>, asl::span<int32_t, 6>>);
+static_assert(!asl::constructible_from<asl::span<int32_t, 6>, asl::span<int32_t, 7>>);
+
+ASL_TEST(conversion)
+{
+    int array[] = {1, 2, 3};
+
+    asl::span<int> span1 = array;
+
+    asl::span<int, 3> span2{span1};
+    ASL_TEST_ASSERT(span2.size() == 3);
+    ASL_TEST_EXPECT(span2[0] == 1);
+    ASL_TEST_EXPECT(span2[1] == 2);
+    ASL_TEST_EXPECT(span2[2] == 3);
+
+    asl::span<int> span3 = span2;
+    ASL_TEST_ASSERT(span3.size() == 3);
+    ASL_TEST_EXPECT(span3[0] == 1);
+    ASL_TEST_EXPECT(span3[1] == 2);
+    ASL_TEST_EXPECT(span3[2] == 3);
+
+    asl::span<const int, 3> span4{span2};
+    ASL_TEST_ASSERT(span4.size() == 3);
+    ASL_TEST_EXPECT(span4[0] == 1);
+    ASL_TEST_EXPECT(span4[1] == 2);
+    ASL_TEST_EXPECT(span4[2] == 3);
+}
-- 
cgit