我正在学习如何利用 SFINAE 来发挥我的优势。我试图用它来根据是否存在来选择函数实现serialize()
对象中的函数。
这是我用来确定类型是否定义了 serialize() 函数的代码:
template <typename T>
class HasSerialize {
private:
typedef char yes[1];
typedef char no[2];
template <typename C> static yes& test(char[sizeof(&C::serialize)]) ;
template <typename C> static no& test(...);
public:
static const bool value = sizeof(test<T>(0)) == sizeof(yes);
};
然而,它似乎在 GCC 和 Clang 上给出了完全相反的结果。假设以下代码:
template<bool T>
class NVPtypeSerializer {
public:
template<typename C>
static xmlChar* serialize(C value) {
// serize() is not available
}
};
template<>
struct NVPtypeSerializer<true> {
public:
template<typename T>
static xmlChar* serialize(T value) {
return value.serialize();
}
};
其名称如下:
foo = NVPtypeSerializer<HasSerialize<Bar>::value >::serialize(value);
上课的地方Bar
没有serialize()
功能。这段代码在 Clang 3.1 下编译得很好,但是在 GCC 4.7.1 上我收到以下错误:
error: ‘class Bar’ has no member named ‘serialize’
如果我改变struct NVPtypeSerializer<true>
to struct NVPtypeSerializer<false>
它可以在GCC上编译,但Clang给出以下错误:
error: no member named 'serialize' in 'Bar'
哪里有问题?它在我的代码中吗?我希望代码尽可能地可移植。