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