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