为参数区分大小写t类型 T使用 SFINAE，我想知道是否声明

QVariant::fromValue(t);

和/或

QVariant::value<T>();

编译。如果一个编译通过，另一个也会编译，除非你破解了元类型系统。当且仅当 T 时它们才会编译已使用 Q_DECLARE_METATYPE(T) 声明.

非常简单的用法示例，当且仅当元类型系统支持时(我不需要这个，但这显示了问题)在一个最小的例子中):

template<class T>  // enable if T NOT registered in the Qt meta type system
void print(const T &t) {
    qDebug() << t;
}

template<class T>  // enable if T registered in the Qt meta type system
void print(const T &t) {
    qDebug() << QVariant::fromValue<T>();
}

我知道有几种(但相似的)可能性，但它们都引入了一些辅助结构、复杂的 enable_if 等。现在我知道有 QTypeInfo我猜，它已经提供了类似于“在 Qt 元类型系统中声明”的类型特征。但是，此类未记录在案，因此不建议在长期和高效的代码中使用它，因为它可能会在 Qt 版本之间发生变化。

如果类型 T 是否有一种非常简单的方法(比使用“检查器”+ enable_if 更简单)来检查 SFINAE 特化QVariant 支持吗？

请注意，该解决方案在不同的 Qt 版本之间仍应可移植(Qt4 和 Qt5 可能使用不同的 QTypeInfo 定义)。但是，我使用 C++11，所以我可以访问 std::enable_if例如。

“不可移植”的方式是使用内部定义QMetaTypeId2<T>::Defined在enable_if (它是一个定义为 0 或 1 的枚举值)。因此，一个可行的解决方案是:

template<class T>
typename std::enable_if<!QMetaTypeId2<T>::Defined>::type
print(const T &t) {
    qDebug() << t;
}

template<class T>
typename std::enable_if<QMetaTypeId2<T>::Defined>::type
print(const T &t) {
    qDebug() << QVariant::fromValue<T>();
}

但是，由于 QMetaTypeId2没有记录，只是内部的东西，它不应该出现在客户端代码中。

最佳答案

您应该声明一个可以帮助您的包装器。我能想到的最好的是有几个定义，基于 version Qt 的:

template<typename T>
struct is_registered
{
    enum
    {
        value = 
#if QT_VERSION >= 0x050000 // Qt 5.0.0
            QMetaTypeId2<T>::Defined
#elif QT_VERSION >= 0x040000 // Qt 4.0.0
            QMetaTypeId2<T>::Defined
#endif
    };
};

这不是美观的，而是功能性的，在您的代码中您可以使用 is_registered<T>::value无需担心 Qt 的版本。另外，我暂时没有Qt5，所以我不能告诉你是否QMetaTypeId2<T>::Defined是正确的(尽管我认为是)。

不可能使用qMetaTypeId<T>()检查类型是否已注册。事实上，表达式 qMetaTypeId<T>()始终有效，无论类型如何。如果没有注册，函数的body将不会编译(更准确地说:在Qt 4和5中(目前)，qMetaTypeId<T>()只调用另一个不编译的函数，如果该类型未注册。因此，您不能使用 SFINAE 对其进行测试。因此，代码 leemes 在他(现已删除)的答案中给出了 will not work as expected。

代码是:

struct _test_is_declared_metatype
{
    template<class T>
    static auto test(T* t) -> decltype(qMetaTypeId<T>(), std::true_type());

    static std::false_type test(...);
};

template<class T>
struct is_declared_metatype : decltype(_test_is_declared_metatype::test<T>(0))
{
};

为什么这行不通？目的是因为调用 qMetaTypeId<T>()在未注册的类型上会导致编译错误，“当类型未注册时，SFINAE 将排除第一个函数”。这里的问题是 qMetaTypeId<T>()始终是一个有效的表达式，所以 qMetaTypeId<T>(), std::true_type()也是，而且decltype(qMetaTypeId<T>(), std::true_type())完美定义(值为 std::true_type )。
这是因为 qMetaTypeId<T>() 的编译错误源于函数的 body，而不是它的原型(prototype)(顺便说一下，只有在 decltype 中的函数被声明并正确调用时，代码才会编译，即没有非模板参数例如模板函数)。
因此，因为 test() 的重载比可变参数更具体，它将始终被选择，因此它将始终“返回”该类型已注册；你可以在下面的测试代码中看到它:

// ----------------------------------------------------------
// qmetatype.h simplification -------------------------------
// ----------------------------------------------------------

template<typename T>
struct metatype
{
 enum { defined = 0 };
};

template<typename T>
struct metatype2
{
 enum { defined = metatype<T>::defined };
 static inline int id() { return metatype<T>::id(); }
};

template <typename T>
inline int metatypeId(
    T * /* dummy */ = 0
)
{
    return metatype2<T>::id();
}

#define register_meta_type( _type_ )  \
 template<>                           \
 struct metatype< _type_ >            \
 {                                    \
  enum { defined = 1 };               \
  static int id()                     \
  {                                   \
   /* Run-time registration in Qt */  \
   return __COUNTER__;                \
  };                                  \
 };



// ----------------------------------------------------------
// ----------------------------------------------------------
// ----------------------------------------------------------

class TestA {};
register_meta_type(TestA)

class TestB {};

class TestC {};
register_meta_type(TestC)

class TestD {};


#include <type_traits>

struct _test_is_declared_metatype
{
 /*
   metatypeId<T>() is always a valid expression. So this overload is
   always taken
 */
    template<class T>
    static auto test(T* t) -> decltype(metatypeId<T>(), std::true_type());

    static std::false_type test(...);
};

template<class T>
struct is_declared_metatype : decltype(_test_is_declared_metatype::test<T>(0))
{
};

#include <iostream>
#define PRINT_DEF( _type_ )  std::cout << #_type_ << " registered ? " << is_declared_metatype< _type_ >::value << "\n";
int main()
{
 std::cout << std::boolalpha;
 PRINT_DEF(TestA);
 PRINT_DEF(TestB);
 PRINT_DEF(TestC);
 PRINT_DEF(TestD);
}

您可能想要 read more about SFINAE .另外，您可以 read qmetatype.h here .

关于c++ - 检查类型是否被声明为元类型系统(对于 SFINAE)，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/16033719/