1 //
2 // Tests for
3 //  explicit bounded_array_ref(T* data, size_t n);
4 //
5 
6 #include <libkern/c++/bounded_array_ref.h>
7 #include "test_policy.h"
8 #include <cstddef>
9 #include <darwintest.h>
10 #include <darwintest_utils.h>
11 
12 struct T { int i; };
13 inline bool
14 operator==(T const& a, T const& b)
15 {
16 	return a.i == b.i;
17 };
18 
19 template <typename T>
20 static void
21 tests()
22 {
23 	T array[5] = {T{0}, T{1}, T{2}, T{3}, T{4}};
24 
25 	// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
26 	//   ^
27 	//   |
28 	//  ptr
29 	//
30 	//   ^------------------- view -----------------------^
31 	{
32 		T* ptr = &array[0];
33 		test_bounded_array_ref<T> view(ptr, 5);
34 		CHECK(view.data() == &array[0]);
35 		CHECK(view.size() == 5);
36 		CHECK(view[0] == T{0});
37 		CHECK(view[1] == T{1});
38 		CHECK(view[2] == T{2});
39 		CHECK(view[3] == T{3});
40 		CHECK(view[4] == T{4});
41 	}
42 	// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
43 	//   ^
44 	//   |
45 	//  ptr
46 	//
47 	//   ^----- view -----^
48 	{
49 		T* ptr = &array[0];
50 		test_bounded_array_ref<T> view(ptr, 3);
51 		CHECK(view.data() == &array[0]);
52 		CHECK(view.size() == 3);
53 		CHECK(view[0] == T{0});
54 		CHECK(view[1] == T{1});
55 		CHECK(view[2] == T{2});
56 	}
57 	// T{0}     T{1}     T{2}     T{3}     T{4}     <one-past-last>
58 	//                              ^
59 	//                              |
60 	//                             ptr
61 	//
62 	//                              ^------- view --------^
63 	{
64 		T* ptr = &array[3];
65 		test_bounded_array_ref<T> view(ptr, 2);
66 		CHECK(view.data() == &array[3]);
67 		CHECK(view.size() == 2);
68 		CHECK(view[0] == T{3});
69 		CHECK(view[1] == T{4});
70 	}
71 	// Check with a valid pointer and a size of 0.
72 	{
73 		T* ptr = &array[0];
74 		test_bounded_array_ref<T> view(ptr, static_cast<std::size_t>(0));
75 		CHECK(view.size() == 0);
76 	}
77 	// Check with a null pointer and a size of 0.
78 	{
79 		T* ptr = nullptr;
80 		test_bounded_array_ref<T> view(ptr, static_cast<std::size_t>(0));
81 		CHECK(view.size() == 0);
82 	}
83 	// Check with a non-null but invalid pointer and a size of 0.
84 	{
85 		T* ptr = &array[5];
86 		test_bounded_array_ref<T> view(ptr, static_cast<std::size_t>(0));
87 		CHECK(view.size() == 0);
88 	}
89 	// Make sure there's no ambiguity between constructors.
90 	{
91 		T* ptr = &array[0];
92 		std::ptrdiff_t size = 5;
93 		test_bounded_array_ref<T> view(ptr, size);
94 		CHECK(view.data() == &array[0]);
95 		CHECK(view.size() == 5);
96 	}
97 
98 	// Make sure we can create nested bounded_array_refs
99 	{
100 		int array1[] = {1, 2, 3, 4, 5};
101 		int array2[] = {6, 7, 8};
102 		int array3[] = {9, 10, 11, 12, 13, 14};
103 		test_bounded_array_ref<int> views[] = {
104 			test_bounded_array_ref<int>(array1, 5),
105 			test_bounded_array_ref<int>(array2, 3),
106 			test_bounded_array_ref<int>(array3, 6)
107 		};
108 
109 		test_bounded_array_ref<test_bounded_array_ref<int> > two_dim(views, 3);
110 		CHECK(two_dim.size() == 3);
111 		CHECK(two_dim.data() == &views[0]);
112 		CHECK(&two_dim[0] == &views[0]);
113 		CHECK(&two_dim[1] == &views[1]);
114 		CHECK(&two_dim[2] == &views[2]);
115 	}
116 }
117 
118 T_DECL(ctor_raw_ptr, "bounded_array_ref.ctor.raw_ptr") {
119 	tests<T>();
120 	tests<T const>();
121 }
122