当方法可用时如何专门化模板？

Question

我想知道当我的类型有一个特定的方法时，我怎么能有一个专门的模板。我们以下面的代码为例：

template<typename T, typename... Args>
void foo(T&& arg, Args&&... args) 
{
    std::cout << "called 1\n";
}

template<typename T, std::enable_if_t<std::is_member_function_pointer_v<decltype(&T::log)>, int> = 0>
void foo(T&& v)
{
    v.log();
}

struct Y
{
    void log() const 
    {
        std::cout << "called 2\n";
    }
};

int main()
{
    foo(1); // <-- print "called 1";
    Y y;
    foo(y); // <-- print "called 2";
}

我应该说这段代码不起作用（第二个foo 将使用主模板并打印called 1），我知道我不能部分专门化函数调用，但它显示了我需要的东西。

知道如何实现这样的目标吗？我应该使用结构来部分特化然后使用辅助函数吗？

Answer 1

您的进展顺利，但是，通过转发参考，

decltype(&T::log) 变为 decltype(&(Y&)::log) 无效。

使用std::decay 可以解决您的问题：

template<typename T, 
    std::enable_if_t<
        std::is_member_function_pointer_v<decltype(&std::decay_t<T>::log)>,
        int> = 0>
void foo(T&& v)
{
    v.log();
}

Demo

Answer 2

你不需要那么冗长；您可以启用另一个foo，方法如下：

template<typename T>
auto foo(T&& v) -> decltype(v.log(), void())  
{
    v.log();
}

(See a Demo)

它被称为trailing return type。您提供 decltype 来评估表达式 (1. v.log(), 2. void()) 与 comma operator 分隔。如果第一个表达式（即v.log()）失败，则重载不适合调用。因此，它适用于另一个foo。否则，它接受这个重载并返回 void，它是从 void() 表达式中计算出来的！