使用static_assert检查Q_OBJECT宏

时间:2014-01-13 21:23:19

标签: c++ qt c++11 qobject static-assert

如果给出类型I的声明不包含Q_OBJECT宏,我有一些有趣的需要显示编译错误。我找到了一种不好的方法。实际上,它重复了Qt开发人员做同样技巧的想法:

template<typename T>
void checkForQObjectMacro()
{
    reinterpret_cast<T *>(0)->qt_check_for_QOBJECT_macro(*reinterpret_cast<T *>(0));
}

这很好用但它确实给出了奇怪的错误信息。我想展示一条可读的消息。一种方法是使用static_assert构造。但我不知道如何实现Q_OBJECT宏存在的静态验证条件。也许有人可以提出一个漂亮的黑客?也非常感谢任何想法。

1 个答案:

答案 0 :(得分:3)

这就是how Qt does it already

的方式
Q_STATIC_ASSERT_X(QtPrivate::HasQ_OBJECT_Macro<typename SignalType::Object>::Value,
"No Q_OBJECT in the class with the signal");

请注意,它使用的是here的私有API:

namespace QtPrivate {
    /* Trait that tells is a the Object has a Q_OBJECT macro */
    template <typename Object> struct HasQ_OBJECT_Macro {
        template <typename T>
        static char test(int (T::*)(QMetaObject::Call, int, void **));
        static int test(int (Object::*)(QMetaObject::Call, int, void **));
        enum { Value = sizeof(test(&Object::qt_metacall)) == sizeof(int) };
    };
}

在这里你可以看到Gerrit在5.2中的变化:

https://codereview.qt-project.org/#change,65508