| 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 | |