Additional std::array ctor to support const element cases.

1 files changed, 35 insertions, 0 deletions

diff --git a/tests/span_tests.cpp b/tests/span_tests.cpp
index 81784c3..5c17552 100644
--- a/tests/span_tests.cpp
+++ b/tests/span_tests.cpp
@@ -400,6 +400,7 @@ SUITE(span_tests)
             take_a_span(get_an_array());
         }
 #endif
+
         {
             auto get_an_array = []() -> std::array<int, 4> { return { 1, 2, 3, 4 }; };
             auto take_a_span = [](span<const int> s) { static_cast<void>(s); };
@@ -445,6 +446,40 @@ SUITE(span_tests)
 #endif
     }
 
+    TEST(from_std_array_const_constructor)
+    {
+        std::array<const int, 4> arr = {1, 2, 3, 4};
+
+        {
+            span<const int> s{arr};
+            CHECK(s.size() == narrow_cast<ptrdiff_t>(arr.size()) && s.data() == arr.data());
+        }
+
+        {
+            span<const int, 4> s{arr};
+            CHECK(s.size() == narrow_cast<ptrdiff_t>(arr.size()) && s.data() == arr.data());
+        }
+#ifdef CONFIRM_COMPILATION_ERRORS
+        {
+            span<const int, 2> s{arr};
+            CHECK(s.size() == 2 && s.data() == arr.data());
+        }
+
+        {
+            span<const int, 0> s{arr};
+            CHECK(s.size() == 0 && s.data() == arr.data());
+        }
+
+        {
+            span<const int, 5> s{arr};
+        }
+
+        {
+            span<int, 4> s{arr};
+        }
+#endif
+    }
+
     TEST(from_container_constructor)
     {
         std::vector<int> v = {1, 2, 3};