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