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