| 1 | // Copyright (C) 2023 The Qt Company Ltd. |
| 2 | // SPDX-License-Identifier: LicenseRef-Qt-Commercial OR LGPL-3.0-only OR GPL-2.0-only OR GPL-3.0-only |
| 3 | |
| 4 | #ifndef QVARIANT_P_H |
| 5 | #define QVARIANT_P_H |
| 6 | |
| 7 | // |
| 8 | // W A R N I N G |
| 9 | // ------------- |
| 10 | // |
| 11 | // This file is not part of the Qt API. It exists purely as an |
| 12 | // implementation detail. This header file may change from version to |
| 13 | // version without notice, or even be removed. |
| 14 | // |
| 15 | // We mean it. |
| 16 | // |
| 17 | |
| 18 | #include "qvariant.h" |
| 19 | |
| 20 | QT_BEGIN_NAMESPACE |
| 21 | |
| 22 | inline auto customConstructSharedImpl(size_t size, size_t align) |
| 23 | { |
| 24 | struct Deleter { |
| 25 | void operator()(QVariant::PrivateShared *p) const |
| 26 | { QVariant::PrivateShared::free(p); } |
| 27 | }; |
| 28 | |
| 29 | // this is exception-safe |
| 30 | std::unique_ptr<QVariant::PrivateShared, Deleter> ptr; |
| 31 | ptr.reset(p: QVariant::PrivateShared::create(size, align)); |
| 32 | return ptr; |
| 33 | } |
| 34 | |
| 35 | template <typename F> static QVariant::PrivateShared * |
| 36 | customConstructShared(size_t size, size_t align, F &&construct) |
| 37 | { |
| 38 | auto ptr = customConstructSharedImpl(size, align); |
| 39 | construct(ptr->data()); |
| 40 | return ptr.release(); |
| 41 | } |
| 42 | |
| 43 | inline int QVariant::PrivateShared::computeOffset(PrivateShared *ps, size_t align) |
| 44 | { |
| 45 | return int(((quintptr(ps) + sizeof(PrivateShared) + align - 1) & ~(align - 1)) - quintptr(ps)); |
| 46 | } |
| 47 | |
| 48 | inline size_t QVariant::PrivateShared::computeAllocationSize(size_t size, size_t align) |
| 49 | { |
| 50 | size += sizeof(PrivateShared); |
| 51 | if (align > sizeof(PrivateShared)) { |
| 52 | // The alignment is larger than the alignment we can guarantee for the pointer |
| 53 | // directly following PrivateShared, so we need to allocate some additional |
| 54 | // memory to be able to fit the object into the available memory with suitable |
| 55 | // alignment. |
| 56 | size += align - sizeof(PrivateShared); |
| 57 | } |
| 58 | return size; |
| 59 | } |
| 60 | |
| 61 | inline QVariant::PrivateShared *QVariant::PrivateShared::create(size_t size, size_t align) |
| 62 | { |
| 63 | size = computeAllocationSize(size, align); |
| 64 | void *data = operator new(size); |
| 65 | auto *ps = new (data) QVariant::PrivateShared(); |
| 66 | ps->offset = computeOffset(ps, align); |
| 67 | return ps; |
| 68 | } |
| 69 | |
| 70 | inline void QVariant::PrivateShared::free(PrivateShared *p) |
| 71 | { |
| 72 | p->~PrivateShared(); |
| 73 | operator delete(p); |
| 74 | } |
| 75 | |
| 76 | inline QVariant::Private::Private(const QtPrivate::QMetaTypeInterface *iface) noexcept |
| 77 | : is_shared(false), is_null(false), packedType(quintptr(iface) >> 2) |
| 78 | { |
| 79 | Q_ASSERT((quintptr(iface) & 0x3) == 0); |
| 80 | } |
| 81 | |
| 82 | template <typename T> inline |
| 83 | QVariant::Private::Private(std::piecewise_construct_t, const T &t) |
| 84 | : is_shared(!CanUseInternalSpace<T>), is_null(std::is_same_v<T, std::nullptr_t>) |
| 85 | { |
| 86 | // confirm noexceptness |
| 87 | static constexpr bool isNothrowQVariantConstructible = noexcept(QVariant(t)); |
| 88 | static constexpr bool isNothrowCopyConstructible = std::is_nothrow_copy_constructible_v<T>; |
| 89 | static constexpr bool isNothrowCopyAssignable = std::is_nothrow_copy_assignable_v<T>; |
| 90 | |
| 91 | const QtPrivate::QMetaTypeInterface *iface = QtPrivate::qMetaTypeInterfaceForType<T>(); |
| 92 | Q_ASSERT((quintptr(iface) & 0x3) == 0); |
| 93 | packedType = quintptr(iface) >> 2; |
| 94 | |
| 95 | if constexpr (CanUseInternalSpace<T>) { |
| 96 | static_assert(isNothrowQVariantConstructible == isNothrowCopyConstructible); |
| 97 | static_assert(isNothrowQVariantConstructible == isNothrowCopyAssignable); |
| 98 | new (data.data) T(t); |
| 99 | } else { |
| 100 | static_assert(!isNothrowQVariantConstructible); // we allocate memory, even if T doesn't |
| 101 | data.shared = customConstructShared(sizeof(T), alignof(T), [=](void *where) { |
| 102 | new (where) T(t); |
| 103 | }); |
| 104 | } |
| 105 | } |
| 106 | |
| 107 | QT_END_NAMESPACE |
| 108 | |
| 109 | #endif // QVARIANT_P_H |
| 110 | |