使用 SFINAE 检测 GCC 方法

Question

我在使用 SFINAE 概念来检测类是否具有某些编译器（最相关的是 GCC）的特定模板方法时遇到了麻烦。考虑下面的代码。它可以按预期与 MSVC 一起编译和工作；但是，当我使用 GCC 编译相同的代码时，它会抱怨 std::vector<double> 没有序列化方法。当然，该方法不存在的事实是正确的，但我预计这会导致替换失败，并且编译器会确定其他不太专业的回退是最合适的。我是否遗漏了有关 SFINAE 的某些内容，或者这是 GCC 的错误？

#include <iostream>
#include <utility>
#include <vector>

class SerializerBase
{
  public:
    SerializerBase() {}
};

template<typename T>
struct has_serialize
{
    template<typename C>
    static constexpr auto test(...) -> std::false_type;
    /// Note: this is where the compiler complains about the .serialize method
    /// during substitution.
    template<typename C>
    static constexpr auto test(int)
      -> decltype(std::declval<T>().serialize(std::declval<SerializerBase&>()), std::true_type());

    using result_type       = decltype(test<T>(0));
    static const bool value = result_type::value;
};

class Serializer : public SerializerBase
{
  public:
    Serializer() {}

    template<typename T,
             typename std::enable_if<!has_serialize<T>::value, T>::type* = nullptr>
    void operator()(const T& v)
    {
        std::cout << "fallback called" << std::endl;
    }

    template<typename T,
             typename std::enable_if<has_serialize<T>::value, T>::type* = nullptr>
    void operator()(const T& v)
    {
        v.serialize(*this);
    }
};

struct Foo
{
    template<typename SerializerType>
    void serialize(SerializerType& s) const
    {
        std::cout << "serialize called" << std::endl;
    }
};

int main()
{
    Serializer s;
    std::vector<double> v;
    Foo f;
    s(v);
    s(f);

    return 0;
}

Answer 1

如果其他人遇到类似的错误/误解，我的错误（由 n. 'pronouns' m. 恰当地指出）在 has_serialize::test 中使用了错误的类型。从我可以推断（在我的天真中）是因为

template<typename T>
struct has_serialize
{
    // ...
    template<typename C>
    static constexpr auto test(int)
      -> decltype(std::declval<T>().serialize(std::declval<SerializerBase&>()), std::true_type());
    // ...
};

模板C 没有出现在has_serialize::test 中，因此GCC 不提供替换失败的机会。因此，GCC 会尝试评估std::declval<T>().serialize(...)，并且在T = std::vector<double> 时显然会抛出错误。如果在这一行中T 被替换为C，则编译器将其识别为替换失败并确定签名不合适。

此外，正如 Maxim Egorushkin 所指出的，T::serialize 可能会返回重载operator, 的用户定义类型。为了改善（尽管不太可能）潜在错误，代码应该是：

template<typename T>
struct has_serialize
{
    // ...
    template<typename C>
    static constexpr auto test(int)
      -> decltype(static_cast<void>(std::declval<C>().serialize(std::declval<SerializerBase&>())), std::true_type());
    // ...
};