1 //
2 // Tests for
3 //  iterator begin() const;
4 //  iterator end() const;
5 //
6 
7 #include <libkern/c++/bounded_array_ref.h>
8 #include "test_policy.h"
9 #include <darwintest.h>
10 #include <type_traits>
11 
12 struct T { int i; };
13 
14 template <typename T>
15 static void
16 tests()
17 {
18 	using AR = test_bounded_array_ref<T>;
19 
20 	// Check begin()/end() for a non-null array ref
21 	{
22 		T array[5] = {T{0}, T{1}, T{2}, T{3}, T{4}};
23 		AR const view(array);
24 		test_bounded_ptr<T> begin = view.begin();
25 		test_bounded_ptr<T> end = view.end();
26 		CHECK(begin.discard_bounds() == &array[0]);
27 		CHECK(end.unsafe_discard_bounds() == &array[5]);
28 	}
29 
30 	// Check begin()/end() for a null array ref
31 	{
32 		AR const view;
33 		test_bounded_ptr<T> begin = view.begin();
34 		test_bounded_ptr<T> end = view.end();
35 		CHECK(begin.unsafe_discard_bounds() == nullptr);
36 		CHECK(end.unsafe_discard_bounds() == nullptr);
37 	}
38 
39 	// Check associated types
40 	{
41 		static_assert(std::is_same_v<typename AR::iterator, test_bounded_ptr<T> >);
42 	}
43 }
44 
45 T_DECL(begin_end, "bounded_array_ref.begin_end") {
46 	tests<T>();
47 }
48