使用static_assert檢查Q_OBJECT宏

Question

如果給出類型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宏存在的靜態驗證條件。 也許有人可以提出一個漂亮的黑客？ 也非常感謝任何想法。

Answer 1

這就是Qt已經做到的方式：

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

請注意，它從這里使用私有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