Question

我正在使用VS2015 Update 3.我有一个我希望根据可调用对象的返回类型进行专门化的函数。当可调用对象是一个仿函数时，一切都按预期工作。当可调用对象是函数或函数指针时，它无法专门化重载函数。我觉得我错过了一些明显的东西，但是我在一年多的时间里没有对SFINAE做过任何事情。

我错过了什么导致专业化失败？

template <typename T>
struct S
{
    T mOp;
    template <typename = void>
    typename std::enable_if<
        std::is_same<
            std::remove_cv_t<
                std::remove_reference_t<
                    decltype(mOp())
                >
            >,
            void
        >::value
    >::type func()
    {
        std::cout << "bool" << std::endl;
    }
    template <typename = void>
    typename std::enable_if<
        std::is_same<
            std::remove_cv_t<
                std::remove_reference_t<
                    decltype(mOp())
                >
            >,
            bool
        >::value
    >::type func()
    {
        std::cout << "void" << std::endl;
    }
};

template <typename T>
auto createS(T&& t)
{
    return S<T>{ t };
}

void vfunc()
{
}
bool bfunc()
{
    return true;
}
struct vfunctor
{
    void operator()()
    {
    }
};
struct bfunctor
{
    bool operator()()
    {
        return true;
    }
};

void func()
{
    createS(bfunc).func();     // Fails to specialize func()
    createS(vfunc).func();     // Fails to specialize func()
    createS(vfunctor{}).func();
    createS(bfunctor{}).func();
}

Answer 1

这一切都不起作用，因为替换失败只是替换的直接上下文中的失败 - 并且您在不依赖于立即函数模板参数的上下文中尝试SFINAE。 func()中的约束基于类模板参数，而不是本地函数模板参数，因此这些只是一个硬错误。

最简单的方法是通过标签调度。将decltype(mOp())包装到标签类型中，然后重载：

template <class T> struct tag { };

template <typename T>
struct S
{
    T mOp;

    void func() {
        func_impl(tag<std::decay_t<decltype(mOp())>>{});
    }

    void func_impl(tag<bool> ) { std::cout << "bool\n"; }        
    void func_impl(tag<void> ) { std::cout << "void\n"; }        
};

如果您出于某种原因需要func()本身是SFINAE友好的，那么您可以引入一个新的模板参数来伪造原始模板：

template <class..., class U=T>
auto func()
    -> decltype(func_impl(tag<std::decay_t<std::invoke_result_t<U>>>{}))
{
    return func_impl(tag<std::decay_t<std::invoke_result_t<U>>>{});
}

请注意，在各种func_impl重载的声明之后，必须出现。

没有专门用于函数指针的函数

1 个答案: