xref: /xnu-11417.121.6/tests/bounded_array_ref_src/ctor.begin_end.cpp (revision a1e26a70f38d1d7daa7b49b258e2f8538ad81650)
1*a1e26a70SApple OSS Distributions //
2*a1e26a70SApple OSS Distributions // Tests for
3*a1e26a70SApple OSS Distributions //  explicit bounded_array_ref(T* first, T* last);
4*a1e26a70SApple OSS Distributions //
5*a1e26a70SApple OSS Distributions 
6*a1e26a70SApple OSS Distributions #include <libkern/c++/bounded_array_ref.h>
7*a1e26a70SApple OSS Distributions #include "test_policy.h"
8*a1e26a70SApple OSS Distributions #include <darwintest.h>
9*a1e26a70SApple OSS Distributions #include <darwintest_utils.h>
10*a1e26a70SApple OSS Distributions 
11*a1e26a70SApple OSS Distributions struct T { int i; };
12*a1e26a70SApple OSS Distributions inline bool
operator ==(T const & a,T const & b)13*a1e26a70SApple OSS Distributions operator==(T const& a, T const& b)
14*a1e26a70SApple OSS Distributions {
15*a1e26a70SApple OSS Distributions 	return a.i == b.i;
16*a1e26a70SApple OSS Distributions };
17*a1e26a70SApple OSS Distributions 
18*a1e26a70SApple OSS Distributions template <typename T>
19*a1e26a70SApple OSS Distributions static void
tests()20*a1e26a70SApple OSS Distributions tests()
21*a1e26a70SApple OSS Distributions {
22*a1e26a70SApple OSS Distributions 	T array[5] = {T{0}, T{1}, T{2}, T{3}, T{4}};
23*a1e26a70SApple OSS Distributions 
24*a1e26a70SApple OSS Distributions 	// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
25*a1e26a70SApple OSS Distributions 	//   ^                                                ^
26*a1e26a70SApple OSS Distributions 	//   |                                                |
27*a1e26a70SApple OSS Distributions 	// first                                             last
28*a1e26a70SApple OSS Distributions 	{
29*a1e26a70SApple OSS Distributions 		T* first = &array[0];
30*a1e26a70SApple OSS Distributions 		T* last = &array[5];
31*a1e26a70SApple OSS Distributions 		test_bounded_array_ref<T> view(first, last);
32*a1e26a70SApple OSS Distributions 		CHECK(view.data() == &array[0]);
33*a1e26a70SApple OSS Distributions 		CHECK(view.size() == 5);
34*a1e26a70SApple OSS Distributions 		CHECK(view[0] == T{0});
35*a1e26a70SApple OSS Distributions 		CHECK(view[1] == T{1});
36*a1e26a70SApple OSS Distributions 		CHECK(view[2] == T{2});
37*a1e26a70SApple OSS Distributions 		CHECK(view[3] == T{3});
38*a1e26a70SApple OSS Distributions 		CHECK(view[4] == T{4});
39*a1e26a70SApple OSS Distributions 	}
40*a1e26a70SApple OSS Distributions 
41*a1e26a70SApple OSS Distributions 	// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
42*a1e26a70SApple OSS Distributions 	//   ^        ^
43*a1e26a70SApple OSS Distributions 	//   |        |
44*a1e26a70SApple OSS Distributions 	// first     last
45*a1e26a70SApple OSS Distributions 	{
46*a1e26a70SApple OSS Distributions 		T* first = &array[0];
47*a1e26a70SApple OSS Distributions 		T* last = &array[1];
48*a1e26a70SApple OSS Distributions 		test_bounded_array_ref<T> view(first, last);
49*a1e26a70SApple OSS Distributions 		CHECK(view.data() == &array[0]);
50*a1e26a70SApple OSS Distributions 		CHECK(view.size() == 1);
51*a1e26a70SApple OSS Distributions 		CHECK(view[0] == T{0});
52*a1e26a70SApple OSS Distributions 	}
53*a1e26a70SApple OSS Distributions 
54*a1e26a70SApple OSS Distributions 	// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
55*a1e26a70SApple OSS Distributions 	//   ^
56*a1e26a70SApple OSS Distributions 	//   |
57*a1e26a70SApple OSS Distributions 	// first,last
58*a1e26a70SApple OSS Distributions 	{
59*a1e26a70SApple OSS Distributions 		T* first = &array[0];
60*a1e26a70SApple OSS Distributions 		T* last = &array[0];
61*a1e26a70SApple OSS Distributions 		test_bounded_array_ref<T> view(first, last);
62*a1e26a70SApple OSS Distributions 		CHECK(view.size() == 0);
63*a1e26a70SApple OSS Distributions 	}
64*a1e26a70SApple OSS Distributions 
65*a1e26a70SApple OSS Distributions 	// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
66*a1e26a70SApple OSS Distributions 	//                                                    ^
67*a1e26a70SApple OSS Distributions 	//                                                    |
68*a1e26a70SApple OSS Distributions 	//                                               first,last
69*a1e26a70SApple OSS Distributions 	{
70*a1e26a70SApple OSS Distributions 		T* first = &array[5];
71*a1e26a70SApple OSS Distributions 		T* last = &array[5];
72*a1e26a70SApple OSS Distributions 		test_bounded_array_ref<T> view(first, last);
73*a1e26a70SApple OSS Distributions 		CHECK(view.size() == 0);
74*a1e26a70SApple OSS Distributions 	}
75*a1e26a70SApple OSS Distributions }
76*a1e26a70SApple OSS Distributions 
77*a1e26a70SApple OSS Distributions T_DECL(ctor_begin_end, "bounded_array_ref.ctor.begin_end", T_META_TAG_VM_PREFERRED) {
78*a1e26a70SApple OSS Distributions 	tests<T>();
79*a1e26a70SApple OSS Distributions 	tests<T const>();
80*a1e26a70SApple OSS Distributions }
81