为什么代码中的模板参数推导/替换失败?-.

why the template argument deduction/substitution failed in the code?-

本文关键字：替换 失败 参数 代码 为什么      更新时间：2023-10-16

我正在使用编译器g ++ 6.3.0(c ++ 14(。在代码中-

#include<iostream>
int f(auto a){return a;}
int f1(auto (*g)(int),int a) {return g(a);}
main()
{
    std::cout<< f1(f,8);
}

编译器无法推断 g 的返回类型。它显示以下错误- 

temp.cpp: In function 'int main()':
temp.cpp:9:20: error: no matching function for call to 'f1(<unresolved overloaded function type>, int)'
  std::cout<< f1(f,8);
                    ^
temp.cpp:5:5: note: candidate: template<class auto:2> int f1(auto:2 (*)(int), int)
 int f1(auto (*g)(int),int a) {return g(a);}
     ^~
temp.cpp:5:5: note:   template argument deduction/substitution failed:
temp.cpp:9:20: note:   couldn't deduce template parameter 'auto:2'
  std::cout<< f1(f,8);
                    ^

但是代码中没有错误-

#include<iostream>
int f(int /* <<<<< */ a){return a;} // only (auto a) is changed to (int a)
int f1(auto (*g)(int),int a) {return g(a);}
main()
{
    std::cout<< f1(f,8);
}

帮助我了解错误...

int f(auto a){return a;}

相当于

template <typename T>
int f(T a){return a;}

您不能获取模板(或重载集(的地址 - 这就是您看到该错误的原因。解决方法：

  • 获取所需实例化的地址：

    return f1(f<int>,8);

  • 让f1接受auto并传递 lambda：

    int f1(auto g, int a) {return g(a);}
int main()
{
    std::cout<< f1([](auto x){ f(x); },8);
}
相关文章：