More work on span

2 files changed, 71 insertions, 0 deletions

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);
+}