AuroraMiddleware/qt5base-lts
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

QVariant: Fix support for metatypes created by Qt < 6.5

Browse Source 
In Qt >= 6.1, < 6.5, a trivially constructible type would have the
NeedsDestruction flag set, but it's dtor pointer would have been null.

In Qt 6.5, the meaning of the NeedsDestruction flag was changed to be
more aligned with what the name suggests, and thus would only be set for
non-trivially destructible types. For QMetaType this was fine, but
QVariant has a check for acceptable metatypes which attempts to verify
whether a QMetaType is usable for QVariant. The check assumes the
semantics of Qt 6.5, and thus fails for metatypes created by older Qt
versions.

To fix this issue, we increment the QMetaType revision field, and only
check the metatype's destruction support if the revision is high enough.

In theory, that allows passing unsuitable metatypes from older Qt
versions to QVariant; however, such code would have been broken in prior
Qt releases already (which didn't attempt the check), and no code that
used to work in any released Qt version will break (as we simply skip a
check that was passing before).

Fixes: QTBUG-113227
Pick-to: 6.5
Change-Id: I12e02bd97d2c410ea1a36efb0ce2389f21d50a30
Reviewed-by: Ulf Hermann <ulf.hermann@qt.io>
This commit is contained in:
Fabian Kosmale 2023-04-27 09:40:17 +02:00
parent fdb287e620
commit c2f01d4cfb
3 changed files with 43 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/corelib/kernel/qmetatype.h
View File

@ -246,7 +246,14 @@ using NonConstMetaTypeInterface = const QMetaTypeInterface;
class QMetaTypeInterface
{
public:
ushort revision; // 0 in Qt 6.0. Can increase if new field are added
/* Revision: Can increase if new field are added, or if semantics changes
0: Initial Revision
1: the meaning of the NeedsDestruction flag changed
*/
static inline constexpr ushort CurrentRevision = 1;
ushort revision;
ushort alignment;
uint size;
uint flags;
@ -2463,7 +2470,7 @@ struct QMetaTypeInterfaceWrapper
using InterfaceType = std::conditional_t<IsConstMetaTypeInterface, const QMetaTypeInterface, NonConstMetaTypeInterface>;
static inline InterfaceType metaType = {
/*.revision=*/ 0,
/*.revision=*/ QMetaTypeInterface::CurrentRevision,
/*.alignment=*/ alignof(T),
/*.size=*/ sizeof(T),
/*.flags=*/ QMetaTypeForType<T>::Flags,

7
src/corelib/kernel/qmetatype_p.h
View File

@ -152,7 +152,12 @@ inline bool isMoveConstructible(const QtPrivate::QMetaTypeInterface *iface) noex
inline bool isDestructible(const QtPrivate::QMetaTypeInterface *iface) noexcept
{
return checkMetaTypeFlagOrPointer(iface, iface->dtor, QMetaType::NeedsDestruction);
/* For metatypes of revision 1, the NeedsDestruction was set even for trivially
destructible types, but their dtor pointer would be null.
For that reason, we need the additional check here.
*/
return iface->revision < 1 ||
checkMetaTypeFlagOrPointer(iface, iface->dtor, QMetaType::NeedsDestruction);
}
inline void defaultConstruct(const QtPrivate::QMetaTypeInterface *iface, void *where)

28
tests/auto/corelib/kernel/qvariant/tst_qvariant.cpp
View File

@ -376,6 +376,7 @@ private slots:
void constructFromIncompatibleMetaType_data();
void constructFromIncompatibleMetaType();
void constructFromQtLT65MetaType();
void copyNonDefaultConstructible();
void inplaceConstruct();
@ -5702,6 +5703,33 @@ void tst_QVariant::constructFromIncompatibleMetaType()
QVERIFY(!QVariant(regular).convert(type));
}
void tst_QVariant::constructFromQtLT65MetaType()
{
auto qsizeIface = QtPrivate::qMetaTypeInterfaceForType<QSize>();
QtPrivate::QMetaTypeInterface qsize64Iface = {
/*revision*/0,
8,
8,
QMetaType::NeedsConstruction | QMetaType::NeedsDestruction,
0,
qsizeIface->metaObjectFn,
"FakeQSize",
qsizeIface->defaultCtr,
qsizeIface->copyCtr,
qsizeIface->moveCtr,
/*dtor =*/ nullptr,
qsizeIface->equals,
qsizeIface->lessThan,
qsizeIface->debugStream,
qsizeIface->dataStreamOut,
qsizeIface->dataStreamIn,
/*legacyregop =*/ nullptr
};
QVariant var{ QMetaType(&qsize64Iface) };
QVERIFY(var.isValid());
}
void tst_QVariant::copyNonDefaultConstructible()
{
NonDefaultConstructible ndc(42);