函数模板参数推演（类vs函数模板）

Question

如果我没有理解错的话，类模板定义了一个函数，所以当我调用时，编译器有可能进行隐式强制转换，但是在函数模板的情况下，此时没有函数定义，所以隐式强制转换不会发生。

但我不明白为什么编译器不能创建函数定义，然后应用隐式强制转换？

#include <functional>

template<typename ...ARGS>
class Test1
{
public:
    void add(const std::function<void(ARGS...)>&) {}
};

class Test2
{
public:
    template<typename ...ARGS>
    void add(const std::function<void(ARGS...)>&) {}
};

void func(int) {}

int main()
{
    Test1<int> test1;
    test1.add(func);

    Test2 test2;
    test2.add<int>(func);
}

错误是：

在函数“int main（）”中：

   25：24：错误：调用“test2::add(void(&)(int))”没有匹配函数

   25：24：注：候选人是：

   14:10：注意：模板void test2::add（const std：：function&）

   14:10：注：模板参数推演/替换失败：

   25：24：注意：类型“const std：：function”和“void(int)”不匹配

Answer 1

在第一种情况下，您是显式实例化类模板test1。这意味着其add成员的函数声明是用签名add(const std::function &) 生成的。当编译器随后尝试解析test1.add(func)时，只有一个候选项。由于std::function 可以由void(int)函数隐式构造，签名匹配，编译器只需实例化成员函数定义，一切都很好。

在第二种情况下，编译器不得不执行模板参数推导/替换，以查看是否可以“使用”add模板。您可能认为指定int会确定模板参数，这样就不需要进行任何推导，但事实并非如此：可能您的意思是部分指定模板参数，请参见此处的示例。换句话说，您可能试图使用比您显式指定的更多的参数实例化函数模板，至少编译器不知道您是否这样做。因此，它仍然必须尝试匹配std::function （或者更准确地说，std::function 和void(int)的类型，它不能匹配这些类型，因为不考虑隐式转换进行推导。

简而言之：指定显式模板参数并不阻止variadic函数模板的模板参数推导。

注意：我不是100%与确切的术语坚定，任何语言律师纠正我是赞赏的！

编辑：我主要基于我在这里读到的内容。