1 | /**************************************************************************** |
2 | ** |
3 | ** Copyright (C) 2020 The Qt Company Ltd. |
4 | ** Contact: https://www.qt.io/licensing/ |
5 | ** |
6 | ** This file is part of the QtCore module of the Qt Toolkit. |
7 | ** |
8 | ** $QT_BEGIN_LICENSE:LGPL$ |
9 | ** Commercial License Usage |
10 | ** Licensees holding valid commercial Qt licenses may use this file in |
11 | ** accordance with the commercial license agreement provided with the |
12 | ** Software or, alternatively, in accordance with the terms contained in |
13 | ** a written agreement between you and The Qt Company. For licensing terms |
14 | ** and conditions see https://www.qt.io/terms-conditions. For further |
15 | ** information use the contact form at https://www.qt.io/contact-us. |
16 | ** |
17 | ** GNU Lesser General Public License Usage |
18 | ** Alternatively, this file may be used under the terms of the GNU Lesser |
19 | ** General Public License version 3 as published by the Free Software |
20 | ** Foundation and appearing in the file LICENSE.LGPL3 included in the |
21 | ** packaging of this file. Please review the following information to |
22 | ** ensure the GNU Lesser General Public License version 3 requirements |
23 | ** will be met: https://www.gnu.org/licenses/lgpl-3.0.html. |
24 | ** |
25 | ** GNU General Public License Usage |
26 | ** Alternatively, this file may be used under the terms of the GNU |
27 | ** General Public License version 2.0 or (at your option) the GNU General |
28 | ** Public license version 3 or any later version approved by the KDE Free |
29 | ** Qt Foundation. The licenses are as published by the Free Software |
30 | ** Foundation and appearing in the file LICENSE.GPL2 and LICENSE.GPL3 |
31 | ** included in the packaging of this file. Please review the following |
32 | ** information to ensure the GNU General Public License requirements will |
33 | ** be met: https://www.gnu.org/licenses/gpl-2.0.html and |
34 | ** https://www.gnu.org/licenses/gpl-3.0.html. |
35 | ** |
36 | ** $QT_END_LICENSE$ |
37 | ** |
38 | ****************************************************************************/ |
39 | |
40 | #ifndef QARRAYDATAPOINTER_H |
41 | #define QARRAYDATAPOINTER_H |
42 | |
43 | #include <QtCore/qarraydataops.h> |
44 | #include <QtCore/qcontainertools_impl.h> |
45 | |
46 | QT_BEGIN_NAMESPACE |
47 | |
48 | template <class T> |
49 | struct QArrayDataPointer |
50 | { |
51 | private: |
52 | typedef QTypedArrayData<T> Data; |
53 | typedef QArrayDataOps<T> DataOps; |
54 | |
55 | public: |
56 | typedef typename Data::iterator iterator; |
57 | typedef typename Data::const_iterator const_iterator; |
58 | enum { |
59 | pass_parameter_by_value = |
60 | std::is_arithmetic<T>::value || std::is_pointer<T>::value || std::is_enum<T>::value |
61 | }; |
62 | |
63 | typedef typename std::conditional<pass_parameter_by_value, T, const T &>::type parameter_type; |
64 | |
65 | constexpr QArrayDataPointer() noexcept |
66 | : d(nullptr), ptr(nullptr), size(0) |
67 | { |
68 | } |
69 | |
70 | QArrayDataPointer(const QArrayDataPointer &other) noexcept |
71 | : d(other.d), ptr(other.ptr), size(other.size) |
72 | { |
73 | ref(); |
74 | } |
75 | |
76 | constexpr QArrayDataPointer(Data *, T *adata, qsizetype n = 0) noexcept |
77 | : d(header), ptr(adata), size(n) |
78 | { |
79 | } |
80 | |
81 | explicit QArrayDataPointer(QPair<QTypedArrayData<T> *, T *> adata, qsizetype n = 0) noexcept |
82 | : d(adata.first), ptr(adata.second), size(n) |
83 | { |
84 | } |
85 | |
86 | static QArrayDataPointer fromRawData(const T *rawData, qsizetype length) noexcept |
87 | { |
88 | Q_ASSERT(rawData || !length); |
89 | return { nullptr, const_cast<T *>(rawData), length }; |
90 | } |
91 | |
92 | QArrayDataPointer &operator=(const QArrayDataPointer &other) noexcept |
93 | { |
94 | QArrayDataPointer tmp(other); |
95 | this->swap(tmp); |
96 | return *this; |
97 | } |
98 | |
99 | QArrayDataPointer(QArrayDataPointer &&other) noexcept |
100 | : d(other.d), ptr(other.ptr), size(other.size) |
101 | { |
102 | other.d = nullptr; |
103 | other.ptr = nullptr; |
104 | other.size = 0; |
105 | } |
106 | |
107 | QT_MOVE_ASSIGNMENT_OPERATOR_IMPL_VIA_MOVE_AND_SWAP(QArrayDataPointer) |
108 | |
109 | DataOps &operator*() noexcept |
110 | { |
111 | return *static_cast<DataOps *>(this); |
112 | } |
113 | |
114 | DataOps *operator->() noexcept |
115 | { |
116 | return static_cast<DataOps *>(this); |
117 | } |
118 | |
119 | const DataOps &operator*() const noexcept |
120 | { |
121 | return *static_cast<const DataOps *>(this); |
122 | } |
123 | |
124 | const DataOps *operator->() const noexcept |
125 | { |
126 | return static_cast<const DataOps *>(this); |
127 | } |
128 | |
129 | ~QArrayDataPointer() |
130 | { |
131 | if (!deref()) { |
132 | (*this)->destroyAll(); |
133 | Data::deallocate(d); |
134 | } |
135 | } |
136 | |
137 | bool isNull() const noexcept |
138 | { |
139 | return !ptr; |
140 | } |
141 | |
142 | T *data() noexcept { return ptr; } |
143 | const T *data() const noexcept { return ptr; } |
144 | |
145 | iterator begin(iterator = iterator()) noexcept { return data(); } |
146 | iterator end(iterator = iterator()) noexcept { return data() + size; } |
147 | const_iterator begin(const_iterator = const_iterator()) const noexcept { return data(); } |
148 | const_iterator end(const_iterator = const_iterator()) const noexcept { return data() + size; } |
149 | const_iterator constBegin(const_iterator = const_iterator()) const noexcept { return data(); } |
150 | const_iterator constEnd(const_iterator = const_iterator()) const noexcept { return data() + size; } |
151 | |
152 | void swap(QArrayDataPointer &other) noexcept |
153 | { |
154 | qSwap(d, other.d); |
155 | qSwap(ptr, other.ptr); |
156 | qSwap(size, other.size); |
157 | } |
158 | |
159 | void clear() noexcept(std::is_nothrow_destructible<T>::value) |
160 | { |
161 | QArrayDataPointer tmp; |
162 | swap(tmp); |
163 | } |
164 | |
165 | bool detach() |
166 | { |
167 | if (needsDetach()) { |
168 | QPair<Data *, T *> copy = clone(detachFlags()); |
169 | QArrayDataPointer old(d, ptr, size); |
170 | d = copy.first; |
171 | ptr = copy.second; |
172 | return true; |
173 | } |
174 | |
175 | return false; |
176 | } |
177 | |
178 | // forwards from QArrayData |
179 | qsizetype allocatedCapacity() noexcept { return d ? d->allocatedCapacity() : 0; } |
180 | qsizetype constAllocatedCapacity() const noexcept { return d ? d->constAllocatedCapacity() : 0; } |
181 | void ref() noexcept { if (d) d->ref(); } |
182 | bool deref() noexcept { return !d || d->deref(); } |
183 | bool isMutable() const noexcept { return d; } |
184 | bool isShared() const noexcept { return !d || d->isShared(); } |
185 | bool isSharedWith(const QArrayDataPointer &other) const noexcept { return d && d == other.d; } |
186 | bool needsDetach() const noexcept { return !d || d->needsDetach(); } |
187 | qsizetype detachCapacity(qsizetype newSize) const noexcept { return d ? d->detachCapacity(newSize) : newSize; } |
188 | const typename Data::ArrayOptions flags() const noexcept { return d ? typename Data::ArrayOption(d->flags) : Data::DefaultAllocationFlags; } |
189 | void setFlag(typename Data::ArrayOptions f) noexcept { Q_ASSERT(d); d->flags |= f; } |
190 | void clearFlag(typename Data::ArrayOptions f) noexcept { Q_ASSERT(d); d->flags &= ~f; } |
191 | typename Data::ArrayOptions detachFlags() const noexcept { return d ? d->detachFlags() : Data::DefaultAllocationFlags; } |
192 | |
193 | Data *d_ptr() noexcept { return d; } |
194 | void setBegin(T *begin) noexcept { ptr = begin; } |
195 | |
196 | qsizetype freeSpaceAtBegin() const noexcept |
197 | { |
198 | if (d == nullptr) |
199 | return 0; |
200 | return this->ptr - Data::dataStart(d, alignof(typename Data::AlignmentDummy)); |
201 | } |
202 | |
203 | qsizetype freeSpaceAtEnd() const noexcept |
204 | { |
205 | if (d == nullptr) |
206 | return 0; |
207 | return d->constAllocatedCapacity() - freeSpaceAtBegin() - this->size; |
208 | } |
209 | |
210 | static QArrayDataPointer allocateGrow(const QArrayDataPointer &from, |
211 | qsizetype newSize, QArrayData::ArrayOptions options) |
212 | { |
213 | return allocateGrow(from, from.detachCapacity(newSize), newSize, options); |
214 | } |
215 | |
216 | static QArrayDataPointer allocateGrow(const QArrayDataPointer &from, qsizetype capacity, |
217 | qsizetype newSize, QArrayData::ArrayOptions options) |
218 | { |
219 | auto [header, dataPtr] = Data::allocate(capacity, options); |
220 | const bool valid = header != nullptr && dataPtr != nullptr; |
221 | const bool grows = (options & (Data::GrowsForward | Data::GrowsBackwards)); |
222 | if (!valid || !grows) |
223 | return QArrayDataPointer(header, dataPtr); |
224 | |
225 | // when growing, special rules apply to memory layout |
226 | |
227 | if (from.needsDetach()) { |
228 | // When detaching: the free space reservation is biased towards |
229 | // append as in Qt5 QList. If we're growing backwards, put the data |
230 | // in the middle instead of at the end - assuming that prepend is |
231 | // uncommon and even initial prepend will eventually be followed by |
232 | // at least some appends. |
233 | if (options & Data::GrowsBackwards) |
234 | dataPtr += (header->alloc - newSize) / 2; |
235 | } else { |
236 | // When not detaching: fake ::realloc() policy - preserve existing |
237 | // free space at beginning. |
238 | dataPtr += from.freeSpaceAtBegin(); |
239 | } |
240 | return QArrayDataPointer(header, dataPtr); |
241 | } |
242 | |
243 | private: |
244 | [[nodiscard]] QPair<Data *, T *> clone(QArrayData::ArrayOptions options) const |
245 | { |
246 | QPair<Data *, T *> pair = Data::allocate(detachCapacity(size), options); |
247 | QArrayDataPointer copy(pair.first, pair.second, 0); |
248 | if (size) |
249 | copy->copyAppend(begin(), end()); |
250 | |
251 | pair.first = copy.d; |
252 | copy.d = nullptr; |
253 | copy.ptr = nullptr; |
254 | return pair; |
255 | } |
256 | |
257 | protected: |
258 | Data *d; |
259 | T *ptr; |
260 | |
261 | public: |
262 | qsizetype size; |
263 | }; |
264 | |
265 | template <class T> |
266 | inline bool operator==(const QArrayDataPointer<T> &lhs, const QArrayDataPointer<T> &rhs) noexcept |
267 | { |
268 | return lhs.data() == rhs.data() && lhs.size == rhs.size; |
269 | } |
270 | |
271 | template <class T> |
272 | inline bool operator!=(const QArrayDataPointer<T> &lhs, const QArrayDataPointer<T> &rhs) noexcept |
273 | { |
274 | return lhs.data() != rhs.data() || lhs.size != rhs.size; |
275 | } |
276 | |
277 | template <class T> |
278 | inline void qSwap(QArrayDataPointer<T> &p1, QArrayDataPointer<T> &p2) noexcept |
279 | { |
280 | p1.swap(p2); |
281 | } |
282 | |
283 | //////////////////////////////////////////////////////////////////////////////// |
284 | // Q_ARRAY_LITERAL |
285 | |
286 | // The idea here is to place a (read-only) copy of header and array data in an |
287 | // mmappable portion of the executable (typically, .rodata section). |
288 | |
289 | // Hide array inside a lambda |
290 | #define Q_ARRAY_LITERAL(Type, ...) \ |
291 | ([]() -> QArrayDataPointer<Type> { \ |
292 | static Type const data[] = { __VA_ARGS__ }; \ |
293 | return QArrayDataPointer<Type>::fromRawData(const_cast<Type *>(data), std::size(data)); \ |
294 | }()) |
295 | /**/ |
296 | |
297 | QT_END_NAMESPACE |
298 | |
299 | #endif // include guard |
300 | |