xref: /xnu-10002.81.5/iokit/DriverKit/bounded_array.h (revision 5e3eaea39dcf651e66cb99ba7d70e32cc4a99587)
1*5e3eaea3SApple OSS Distributions //
2*5e3eaea3SApple OSS Distributions // Copyright (c) 2019 Apple, Inc. All rights reserved.
3*5e3eaea3SApple OSS Distributions //
4*5e3eaea3SApple OSS Distributions // @APPLE_OSREFERENCE_LICENSE_HEADER_START@
5*5e3eaea3SApple OSS Distributions //
6*5e3eaea3SApple OSS Distributions // This file contains Original Code and/or Modifications of Original Code
7*5e3eaea3SApple OSS Distributions // as defined in and that are subject to the Apple Public Source License
8*5e3eaea3SApple OSS Distributions // Version 2.0 (the 'License'). You may not use this file except in
9*5e3eaea3SApple OSS Distributions // compliance with the License. The rights granted to you under the License
10*5e3eaea3SApple OSS Distributions // may not be used to create, or enable the creation or redistribution of,
11*5e3eaea3SApple OSS Distributions // unlawful or unlicensed copies of an Apple operating system, or to
12*5e3eaea3SApple OSS Distributions // circumvent, violate, or enable the circumvention or violation of, any
13*5e3eaea3SApple OSS Distributions // terms of an Apple operating system software license agreement.
14*5e3eaea3SApple OSS Distributions //
15*5e3eaea3SApple OSS Distributions // Please obtain a copy of the License at
16*5e3eaea3SApple OSS Distributions // http://www.opensource.apple.com/apsl/ and read it before using this file.
17*5e3eaea3SApple OSS Distributions //
18*5e3eaea3SApple OSS Distributions // The Original Code and all software distributed under the License are
19*5e3eaea3SApple OSS Distributions // distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
20*5e3eaea3SApple OSS Distributions // EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
21*5e3eaea3SApple OSS Distributions // INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
22*5e3eaea3SApple OSS Distributions // FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
23*5e3eaea3SApple OSS Distributions // Please see the License for the specific language governing rights and
24*5e3eaea3SApple OSS Distributions // limitations under the License.
25*5e3eaea3SApple OSS Distributions //
26*5e3eaea3SApple OSS Distributions // @APPLE_OSREFERENCE_LICENSE_HEADER_END@
27*5e3eaea3SApple OSS Distributions //
28*5e3eaea3SApple OSS Distributions 
29*5e3eaea3SApple OSS Distributions #ifndef XNU_LIBKERN_LIBKERN_CXX_BOUNDED_ARRAY_H
30*5e3eaea3SApple OSS Distributions #define XNU_LIBKERN_LIBKERN_CXX_BOUNDED_ARRAY_H
31*5e3eaea3SApple OSS Distributions 
32*5e3eaea3SApple OSS Distributions #if !TAPI
33*5e3eaea3SApple OSS Distributions 
34*5e3eaea3SApple OSS Distributions #if DRIVERKIT_FRAMEWORK_INCLUDE
35*5e3eaea3SApple OSS Distributions #include <DriverKit/bounded_ptr.h>
36*5e3eaea3SApple OSS Distributions #else
37*5e3eaea3SApple OSS Distributions #include <libkern/c++/bounded_ptr.h>
38*5e3eaea3SApple OSS Distributions #endif /* DRIVERKIT_FRAMEWORK_INCLUDE */
39*5e3eaea3SApple OSS Distributions #include <stddef.h>
40*5e3eaea3SApple OSS Distributions #include <os/base.h>
41*5e3eaea3SApple OSS Distributions 
42*5e3eaea3SApple OSS Distributions namespace libkern {
43*5e3eaea3SApple OSS Distributions // `bounded_array` is a simple abstraction for a C-style array.
44*5e3eaea3SApple OSS Distributions //
45*5e3eaea3SApple OSS Distributions // Unlike C-style arrays, however, it ensures that the array is not accessed
46*5e3eaea3SApple OSS Distributions // outside of its bounds. Furthermore, the iterators of the `bounded_array`
47*5e3eaea3SApple OSS Distributions // are `bounded_ptr`, which track the range they're allowed to access.
48*5e3eaea3SApple OSS Distributions //
49*5e3eaea3SApple OSS Distributions // TODO:
50*5e3eaea3SApple OSS Distributions // - Should we provide deep comparison operators?
51*5e3eaea3SApple OSS Distributions // - Document individual methods
52*5e3eaea3SApple OSS Distributions template <typename T, size_t N, typename TrappingPolicy>
53*5e3eaea3SApple OSS Distributions struct bounded_array {
54*5e3eaea3SApple OSS Distributions 	// DO NOT USE THIS MEMBER DIRECTLY OR WE WILL BREAK YOUR CODE IN THE FUTURE.
55*5e3eaea3SApple OSS Distributions 	// THIS HAS TO BE PUBLIC FOR THIS TYPE TO SUPPORT AGGREGATE-INITIALIZATION.
56*5e3eaea3SApple OSS Distributions 	T data_[N];
57*5e3eaea3SApple OSS Distributions 
58*5e3eaea3SApple OSS Distributions 	using iterator = bounded_ptr<T, TrappingPolicy>;
59*5e3eaea3SApple OSS Distributions 	using const_iterator = bounded_ptr<T const, TrappingPolicy>;
60*5e3eaea3SApple OSS Distributions 
61*5e3eaea3SApple OSS Distributions 	OS_ALWAYS_INLINE iterator
beginbounded_array62*5e3eaea3SApple OSS Distributions 	begin() noexcept
63*5e3eaea3SApple OSS Distributions 	{
64*5e3eaea3SApple OSS Distributions 		return iterator(data_, data_, data_ + N);
65*5e3eaea3SApple OSS Distributions 	}
66*5e3eaea3SApple OSS Distributions 	OS_ALWAYS_INLINE const_iterator
beginbounded_array67*5e3eaea3SApple OSS Distributions 	begin() const noexcept
68*5e3eaea3SApple OSS Distributions 	{
69*5e3eaea3SApple OSS Distributions 		return const_iterator(data_, data_, data_ + N);
70*5e3eaea3SApple OSS Distributions 	}
71*5e3eaea3SApple OSS Distributions 	iterator
endbounded_array72*5e3eaea3SApple OSS Distributions 	end() noexcept
73*5e3eaea3SApple OSS Distributions 	{
74*5e3eaea3SApple OSS Distributions 		return iterator(data_ + N, data_, data_ + N);
75*5e3eaea3SApple OSS Distributions 	}
76*5e3eaea3SApple OSS Distributions 	const_iterator
endbounded_array77*5e3eaea3SApple OSS Distributions 	end() const noexcept
78*5e3eaea3SApple OSS Distributions 	{
79*5e3eaea3SApple OSS Distributions 		return const_iterator(data_ + N, data_, data_ + N);
80*5e3eaea3SApple OSS Distributions 	}
81*5e3eaea3SApple OSS Distributions 	constexpr size_t
sizebounded_array82*5e3eaea3SApple OSS Distributions 	size() const noexcept
83*5e3eaea3SApple OSS Distributions 	{
84*5e3eaea3SApple OSS Distributions 		return N;
85*5e3eaea3SApple OSS Distributions 	}
86*5e3eaea3SApple OSS Distributions 	constexpr size_t
lengthbounded_array87*5e3eaea3SApple OSS Distributions 	length() const noexcept
88*5e3eaea3SApple OSS Distributions 	{
89*5e3eaea3SApple OSS Distributions 		return N;
90*5e3eaea3SApple OSS Distributions 	}
91*5e3eaea3SApple OSS Distributions 	constexpr T*
databounded_array92*5e3eaea3SApple OSS Distributions 	data() noexcept
93*5e3eaea3SApple OSS Distributions 	{
94*5e3eaea3SApple OSS Distributions 		return data_;
95*5e3eaea3SApple OSS Distributions 	}
96*5e3eaea3SApple OSS Distributions 	constexpr T const*
databounded_array97*5e3eaea3SApple OSS Distributions 	data() const noexcept
98*5e3eaea3SApple OSS Distributions 	{
99*5e3eaea3SApple OSS Distributions 		return data_;
100*5e3eaea3SApple OSS Distributions 	}
101*5e3eaea3SApple OSS Distributions 	OS_ALWAYS_INLINE T&
102*5e3eaea3SApple OSS Distributions 	operator[](ptrdiff_t n)
103*5e3eaea3SApple OSS Distributions 	{
104*5e3eaea3SApple OSS Distributions 		return begin()[n];
105*5e3eaea3SApple OSS Distributions 	}
106*5e3eaea3SApple OSS Distributions 	OS_ALWAYS_INLINE T const&
107*5e3eaea3SApple OSS Distributions 	operator[](ptrdiff_t n) const
108*5e3eaea3SApple OSS Distributions 	{
109*5e3eaea3SApple OSS Distributions 		return begin()[n];
110*5e3eaea3SApple OSS Distributions 	}
111*5e3eaea3SApple OSS Distributions };
112*5e3eaea3SApple OSS Distributions } // end namespace libkern
113*5e3eaea3SApple OSS Distributions 
114*5e3eaea3SApple OSS Distributions #endif /* !TAPI */
115*5e3eaea3SApple OSS Distributions 
116*5e3eaea3SApple OSS Distributions #endif // !XNU_LIBKERN_LIBKERN_CXX_BOUNDED_ARRAY_H
117