c++ - 为什么交换此代码中的模板参数可以修复错误？

Question

以下代码给出了没有匹配函数的错误

#include<iostream>
using namespace std;
using namespace std;
template<class T, class U>
void fn (T t) {
    cout<<t<<endl;
}

int main(int argc, const char * argv[]) {
    fn<int>(1);
    return 0;
}


C:\Users\tegra\Desktop\test.cpp||In function 'int main(int, const char**)':|
C:\Users\tegra\Desktop\test.cpp|9|error: no matching function for call to 'fn(int)'|
C:\Users\tegra\Desktop\test.cpp|9|note: candidate is:|
C:\Users\tegra\Desktop\test.cpp|4|note: template<class T, class U> void fn(T)|
C:\Users\tegra\Desktop\test.cpp|4|note:   template argument deduction/substitution failed:|
C:\Users\tegra\Desktop\test.cpp|9|note:   couldn't deduce template parameter 'U'|

但是，如果像这样交换模板参数，错误就会消失

#include<iostream>
using namespace std;
using namespace std;
template<class U, class T>
void fn (T t) {
    cout<<t<<endl;
}

int main(int argc, const char * argv[]) {
    fn<int>(1);
    return 0;
}

Answer 1

T可以从调用中的参数推断出来。 U不是。

当你写fn<int>时，您明确指定第一个参数为 int 。如果U是第一个参数，没有问题，因为T可以推论出。如果T但首先，编译器不知道什么 U应该是。