SFINAE 不适用于 llvm/clang

Question

在下面的代码中，我试图用它作为参数的任何参数调用仿函数，“whatever”是一组有限的选项（这里的两个不是我的代码中唯一的选项）。

#include <memory>
#include <iostream>

template<class T>
struct call_with_pointer {
    // last resort: T*
    template<class Callable>
    static auto call(Callable &callable, const std::shared_ptr<T> &param) -> decltype(callable(param.get())) {
        return callable(param.get());
    }
};

template<class T>
struct call_with_shared : public call_with_pointer<T> {

    // best: call with shared_ptr<T>.
    // SFINA
    // error: Candidate template ignored: substitution failure [with Callable = Test]: no matching function for call to object of type 'Test'
    template<class Callable>
    static auto call(Callable &callable, const std::shared_ptr<T> &param) -> decltype(callable(param)) {
        return callable(param);
    }

    using call_with_pointer<T>::call;
};


class Test {
public:
    bool operator () (int * x) {
        return *x == 42;
    }
};

int main ()
{
    Test t;

    auto i = std::make_shared<int>(4);

    auto x = call_with_shared<int>::call(t, i); // No matching function for call to 'call'

    return 0;
}

此代码在 VS 和 GCC 中运行良好。不幸的是，它没有叮当声。错误信息是：

调用'call'没有匹配的函数

候选模板被忽略：替换失败 [with Callable = Test]：没有匹配的函数 调用“测试”类型的对象

所以它忽略了使用智能指针的候选者。好的。但它似乎并没有继续考虑可以正常工作的继承调用。

问题：我该如何解决这个问题？我怎样才能让 llvm 在这里做正确的事情？

Answer 1

尝试以下方法：

template<class T>
struct call_with_pointer {
    // last resort: T*
    template<class Callable>
    static auto call(Callable &callable, const std::shared_ptr<T> &param) -> decltype(callable(param.get())) {
        return callable(param.get());
    }
};

template<class T>
struct call_with_pointer_2 {
    // last resort: T*
    template<class Callable>
    static auto call(Callable &callable, const std::shared_ptr<T> &param) -> decltype(callable(param)) {
        return callable(param);
    }
};

template<class T>
struct call_with_shared : public call_with_pointer<T>, public call_with_pointer_2<T>{
    using call_with_pointer<T>::call;
    using call_with_pointer_2<T>::call;
};

Answer 2

严格来说clang是对的，因为C++11的7.3.3p15（继承函数模板的using声明被忽略，因为它与派生类的成员函数模板具有相同的名称和参数）。尽管很明显该段落在不考虑这些不冲突的声明方面存在缺陷。

您可以通过使用 typename YieldFirstType<std::shared_ptr<T>, Callable>::type 之类的东西作为模板之一中的第二个参数类型来解决此问题。