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