blob: a7bce7dc56e056682d3ad7bc2e62c9b573e8f12b [file] [log] [blame]
Alex Lighte64300b2015-12-15 15:02:47 -08001/*
2 * Copyright (C) 2015 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#ifndef ART_RUNTIME_BASE_ARRAY_SLICE_H_
18#define ART_RUNTIME_BASE_ARRAY_SLICE_H_
19
Alex Lighte64300b2015-12-15 15:02:47 -080020#include "base/bit_utils.h"
21#include "base/casts.h"
22#include "base/iteration_range.h"
Andreas Gampe8cf9cb32017-07-19 09:28:38 -070023#include "stride_iterator.h"
Alex Lighte64300b2015-12-15 15:02:47 -080024
25namespace art {
26
27// An ArraySlice is an abstraction over an array or a part of an array of a particular type. It does
28// bounds checking and can be made from several common array-like structures in Art.
Vladimir Marko9ac77492017-06-14 18:07:03 +010029template <typename T>
Alex Lighte64300b2015-12-15 15:02:47 -080030class ArraySlice {
31 public:
Vladimir Marko9ac77492017-06-14 18:07:03 +010032 using value_type = T;
33 using reference = T&;
34 using const_reference = const T&;
35 using pointer = T*;
36 using const_pointer = const T*;
37 using iterator = StrideIterator<T>;
38 using const_iterator = StrideIterator<const T>;
39 using reverse_iterator = std::reverse_iterator<iterator>;
40 using const_reverse_iterator = std::reverse_iterator<const_iterator>;
41 using difference_type = ptrdiff_t;
42 using size_type = size_t;
43
Alex Lighte64300b2015-12-15 15:02:47 -080044 // Create an empty array slice.
45 ArraySlice() : array_(nullptr), size_(0), element_size_(0) {}
46
47 // Create an array slice of the first 'length' elements of the array, with each element being
48 // element_size bytes long.
49 ArraySlice(T* array,
50 size_t length,
51 size_t element_size = sizeof(T))
52 : array_(array),
53 size_(dchecked_integral_cast<uint32_t>(length)),
54 element_size_(element_size) {
55 DCHECK(array_ != nullptr || length == 0);
56 }
57
Vladimir Marko9ac77492017-06-14 18:07:03 +010058 // Iterators.
59 iterator begin() { return iterator(&AtUnchecked(0), element_size_); }
60 const_iterator begin() const { return const_iterator(&AtUnchecked(0), element_size_); }
61 const_iterator cbegin() const { return const_iterator(&AtUnchecked(0), element_size_); }
62 StrideIterator<T> end() { return StrideIterator<T>(&AtUnchecked(size_), element_size_); }
63 const_iterator end() const { return const_iterator(&AtUnchecked(size_), element_size_); }
64 const_iterator cend() const { return const_iterator(&AtUnchecked(size_), element_size_); }
65 reverse_iterator rbegin() { return reverse_iterator(end()); }
66 const_reverse_iterator rbegin() const { return const_reverse_iterator(end()); }
67 const_reverse_iterator crbegin() const { return const_reverse_iterator(cend()); }
68 reverse_iterator rend() { return reverse_iterator(begin()); }
69 const_reverse_iterator rend() const { return const_reverse_iterator(begin()); }
70 const_reverse_iterator crend() const { return const_reverse_iterator(cbegin()); }
Alex Lighte64300b2015-12-15 15:02:47 -080071
Vladimir Marko9ac77492017-06-14 18:07:03 +010072 // Size.
73 size_type size() const { return size_; }
74 bool empty() const { return size() == 0u; }
Alex Lighte64300b2015-12-15 15:02:47 -080075
Vladimir Marko9ac77492017-06-14 18:07:03 +010076 // Element access. NOTE: Not providing at() and data().
77
78 reference operator[](size_t index) {
Alex Lighte64300b2015-12-15 15:02:47 -080079 DCHECK_LT(index, size_);
80 return AtUnchecked(index);
81 }
82
Vladimir Marko9ac77492017-06-14 18:07:03 +010083 const_reference operator[](size_t index) const {
Alex Lighte64300b2015-12-15 15:02:47 -080084 DCHECK_LT(index, size_);
85 return AtUnchecked(index);
86 }
87
Vladimir Marko9ac77492017-06-14 18:07:03 +010088 reference front() {
89 DCHECK(!empty());
90 return (*this)[0];
Alex Lighte64300b2015-12-15 15:02:47 -080091 }
92
Vladimir Marko9ac77492017-06-14 18:07:03 +010093 const_reference front() const {
94 DCHECK(!empty());
95 return (*this)[0];
Alex Lighte64300b2015-12-15 15:02:47 -080096 }
97
Vladimir Marko9ac77492017-06-14 18:07:03 +010098 reference back() {
99 DCHECK(!empty());
100 return (*this)[size_ - 1u];
Alex Lighte64300b2015-12-15 15:02:47 -0800101 }
102
Vladimir Marko9ac77492017-06-14 18:07:03 +0100103 const_reference back() const {
104 DCHECK(!empty());
105 return (*this)[size_ - 1u];
Alex Lighte64300b2015-12-15 15:02:47 -0800106 }
107
Vladimir Marko9ac77492017-06-14 18:07:03 +0100108 ArraySlice<T> SubArray(size_type pos) {
109 return SubArray(pos, size() - pos);
Alex Lighte64300b2015-12-15 15:02:47 -0800110 }
111
Vladimir Marko9ac77492017-06-14 18:07:03 +0100112 ArraySlice<const T> SubArray(size_type pos) const {
113 return SubArray(pos, size() - pos);
Alex Lighte64300b2015-12-15 15:02:47 -0800114 }
115
Vladimir Marko9ac77492017-06-14 18:07:03 +0100116 ArraySlice<T> SubArray(size_type pos, size_type length) {
117 DCHECK_LE(pos, size());
118 DCHECK_LE(length, size() - pos);
119 return ArraySlice<T>(&AtUnchecked(pos), length, element_size_);
Alex Lighte64300b2015-12-15 15:02:47 -0800120 }
121
Vladimir Marko9ac77492017-06-14 18:07:03 +0100122 ArraySlice<const T> SubArray(size_type pos, size_type length) const {
123 DCHECK_LE(pos, size());
124 DCHECK_LE(length, size() - pos);
125 return ArraySlice<const T>(&AtUnchecked(pos), length, element_size_);
Alex Lighte64300b2015-12-15 15:02:47 -0800126 }
127
128 size_t ElementSize() const {
129 return element_size_;
130 }
131
Mathieu Chartier65975772016-08-05 10:46:36 -0700132 bool Contains(const T* element) const {
133 return &AtUnchecked(0) <= element && element < &AtUnchecked(size_);
134 }
135
Alex Lighte64300b2015-12-15 15:02:47 -0800136 private:
137 T& AtUnchecked(size_t index) {
138 return *reinterpret_cast<T*>(reinterpret_cast<uintptr_t>(array_) + index * element_size_);
139 }
140
141 const T& AtUnchecked(size_t index) const {
142 return *reinterpret_cast<T*>(reinterpret_cast<uintptr_t>(array_) + index * element_size_);
143 }
144
145 T* array_;
146 size_t size_;
147 size_t element_size_;
148};
149
150} // namespace art
151
152#endif // ART_RUNTIME_BASE_ARRAY_SLICE_H_