Question

我正在学习如何使用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>更改为struct NVPtypeSerializer<false>，则可以在GCC上进行编译，但Clang会出现以下错误：

error: no member named 'serialize' in 'Bar'

问题出在哪里？它在我的代码中吗？我想尽可能地使代码可移植。

Answer 1

这真的是代码test(char[sizeof(&C::serialize)])吗？请注意，采用数组的函数声明实际上声明了一个带有指针的函数：

template <typename C> static yes& test(char[sizeof(&C::serialize)]) ;

这实际上意味着：

template <typename C> static yes& test( char* );

顺便提一下，你的电话test<C>(0)会被编译。我不认为这是检测功能是否存在的正确方法。谷歌如何使用SFINAE检测成员/成员函数是否存在于类中。

（一个简单的解决方案是添加一个额外的默认参数 - 提供了一个启用了C ++ 11的编译器：

template <typename C, std::size_t = sizeof(&C::serialize)> 
static yes& test(int) ;

）

使用SFINAE在GCC和Clang上给出了不同的结果

1 个答案: