xref: /llvm-project/libcxx/test/std/containers/views/views.span/span.elem/data.pass.cpp (revision a8cf78c73914f614d4ec339f7bd5bba8b20c3c29)
1*a8cf78c7SLouis Dionne //===----------------------------------------------------------------------===//
2*a8cf78c7SLouis Dionne //
3*a8cf78c7SLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*a8cf78c7SLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5*a8cf78c7SLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*a8cf78c7SLouis Dionne //
7*a8cf78c7SLouis Dionne //===----------------------------------------------------------------------===//
8*a8cf78c7SLouis Dionne // UNSUPPORTED: c++03, c++11, c++14, c++17
9*a8cf78c7SLouis Dionne 
10*a8cf78c7SLouis Dionne // <span>
11*a8cf78c7SLouis Dionne 
12*a8cf78c7SLouis Dionne // constexpr pointer data() const noexcept;
13*a8cf78c7SLouis Dionne //
14*a8cf78c7SLouis Dionne 
15*a8cf78c7SLouis Dionne 
16*a8cf78c7SLouis Dionne #include <span>
17*a8cf78c7SLouis Dionne #include <cassert>
18*a8cf78c7SLouis Dionne #include <string>
19*a8cf78c7SLouis Dionne 
20*a8cf78c7SLouis Dionne #include "test_macros.h"
21*a8cf78c7SLouis Dionne 
22*a8cf78c7SLouis Dionne 
23*a8cf78c7SLouis Dionne template <typename Span>
testConstexprSpan(Span sp,typename Span::pointer ptr)24*a8cf78c7SLouis Dionne constexpr bool testConstexprSpan(Span sp, typename Span::pointer ptr)
25*a8cf78c7SLouis Dionne {
26*a8cf78c7SLouis Dionne     ASSERT_NOEXCEPT(sp.data());
27*a8cf78c7SLouis Dionne     return sp.data() == ptr;
28*a8cf78c7SLouis Dionne }
29*a8cf78c7SLouis Dionne 
30*a8cf78c7SLouis Dionne 
31*a8cf78c7SLouis Dionne template <typename Span>
testRuntimeSpan(Span sp,typename Span::pointer ptr)32*a8cf78c7SLouis Dionne void testRuntimeSpan(Span sp, typename Span::pointer ptr)
33*a8cf78c7SLouis Dionne {
34*a8cf78c7SLouis Dionne     ASSERT_NOEXCEPT(sp.data());
35*a8cf78c7SLouis Dionne     assert(sp.data() == ptr);
36*a8cf78c7SLouis Dionne }
37*a8cf78c7SLouis Dionne 
38*a8cf78c7SLouis Dionne struct A{};
39*a8cf78c7SLouis Dionne constexpr int iArr1[] = { 0,  1,  2,  3,  4,  5,  6,  7,  8,  9};
40*a8cf78c7SLouis Dionne           int iArr2[] = {10, 11, 12, 13, 14, 15, 16, 17, 18, 19};
41*a8cf78c7SLouis Dionne 
main(int,char **)42*a8cf78c7SLouis Dionne int main(int, char**)
43*a8cf78c7SLouis Dionne {
44*a8cf78c7SLouis Dionne 
45*a8cf78c7SLouis Dionne //  dynamic size
46*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<int>(), nullptr),         "");
47*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<long>(), nullptr),        "");
48*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<double>(), nullptr),      "");
49*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<A>(), nullptr),           "");
50*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<std::string>(), nullptr), "");
51*a8cf78c7SLouis Dionne 
52*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int>(iArr1, 1), iArr1), "");
53*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int>(iArr1, 2), iArr1), "");
54*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int>(iArr1, 3), iArr1), "");
55*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int>(iArr1, 4), iArr1), "");
56*a8cf78c7SLouis Dionne 
57*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int>(iArr1 + 1, 1), iArr1 + 1), "");
58*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int>(iArr1 + 2, 2), iArr1 + 2), "");
59*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int>(iArr1 + 3, 3), iArr1 + 3), "");
60*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int>(iArr1 + 4, 4), iArr1 + 4), "");
61*a8cf78c7SLouis Dionne 
62*a8cf78c7SLouis Dionne //  static size
63*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<int, 0>(), nullptr),         "");
64*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<long, 0>(), nullptr),        "");
65*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<double, 0>(), nullptr),      "");
66*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<A, 0>(), nullptr),           "");
67*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<std::string, 0>(), nullptr), "");
68*a8cf78c7SLouis Dionne 
69*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int, 1>(iArr1, 1), iArr1), "");
70*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int, 2>(iArr1, 2), iArr1), "");
71*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int, 3>(iArr1, 3), iArr1), "");
72*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int, 4>(iArr1, 4), iArr1), "");
73*a8cf78c7SLouis Dionne 
74*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int, 1>(iArr1 + 1, 1), iArr1 + 1), "");
75*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int, 2>(iArr1 + 2, 2), iArr1 + 2), "");
76*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int, 3>(iArr1 + 3, 3), iArr1 + 3), "");
77*a8cf78c7SLouis Dionne     static_assert(testConstexprSpan(std::span<const int, 4>(iArr1 + 4, 4), iArr1 + 4), "");
78*a8cf78c7SLouis Dionne 
79*a8cf78c7SLouis Dionne 
80*a8cf78c7SLouis Dionne //  dynamic size
81*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int>(), nullptr);
82*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<long>(), nullptr);
83*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<double>(), nullptr);
84*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<A>(), nullptr);
85*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<std::string>(), nullptr);
86*a8cf78c7SLouis Dionne 
87*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int>(iArr2, 1), iArr2);
88*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int>(iArr2, 2), iArr2);
89*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int>(iArr2, 3), iArr2);
90*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int>(iArr2, 4), iArr2);
91*a8cf78c7SLouis Dionne 
92*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int>(iArr2 + 1, 1), iArr2 + 1);
93*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int>(iArr2 + 2, 2), iArr2 + 2);
94*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int>(iArr2 + 3, 3), iArr2 + 3);
95*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int>(iArr2 + 4, 4), iArr2 + 4);
96*a8cf78c7SLouis Dionne 
97*a8cf78c7SLouis Dionne //  static size
98*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int, 0>(), nullptr);
99*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<long, 0>(), nullptr);
100*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<double, 0>(), nullptr);
101*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<A, 0>(), nullptr);
102*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<std::string, 0>(), nullptr);
103*a8cf78c7SLouis Dionne 
104*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int, 1>(iArr2, 1), iArr2);
105*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int, 2>(iArr2, 2), iArr2);
106*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int, 3>(iArr2, 3), iArr2);
107*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int, 4>(iArr2, 4), iArr2);
108*a8cf78c7SLouis Dionne 
109*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int, 1>(iArr2 + 1, 1), iArr2 + 1);
110*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int, 2>(iArr2 + 2, 2), iArr2 + 2);
111*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int, 3>(iArr2 + 3, 3), iArr2 + 3);
112*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<int, 4>(iArr2 + 4, 4), iArr2 + 4);
113*a8cf78c7SLouis Dionne 
114*a8cf78c7SLouis Dionne 
115*a8cf78c7SLouis Dionne     std::string s;
116*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<std::string>(&s, 1), &s);
117*a8cf78c7SLouis Dionne     testRuntimeSpan(std::span<std::string, 1>(&s, 1), &s);
118*a8cf78c7SLouis Dionne 
119*a8cf78c7SLouis Dionne 
120*a8cf78c7SLouis Dionne   return 0;
121*a8cf78c7SLouis Dionne }
122