C++能从默认值推导出参数类型吗？

Question

我尝试用一个默认模板参数编写这个函数：

template<typename A, typename B>
void func(int i1, int i2, A a, B b = 123){
    ...
}

在我看来，我可以这样称呼它:func(1,2,3)和编译器应该从默认值导出类型b为int，但我得到的没有重载函数的实例。
在这种情况下C++构造不正确，编译器不能导出类型吗？

Answer 1

函数中模板参数的类型不能从默认参数推导出来。如cpPreference.com上的示例所示：

不能从函数默认参数的类型推导出类型模板参数：

template<typename T> void f(T = 5, T = 7); 

void g()
{
    f(1);     // OK: calls f<int>(1, 7)
    f();      // error: cannot deduce T
    f<int>(); // OK: calls f<int>(5, 7)
}

但是，可以为模板参数指定默认参数：

template<typename A, typename B = int>
void func(int i1, int i2, A a, B b = 123){
    ...
}