调试模板扣除失败

Question

以下为什么不工作:

std::string fn(int i)
{
        sleep(i); // number of seconds to sleep for
        std::cout << "Exiting after pausing " << i << " seconds\n";
        return std::to_string(i+1);
}

template<typename T, typename U>
int simult( std::function<T(U)> f, std::vector<U> args)
{
        return 666;
}


int main()
{

        std::vector<int> args { 6, 5, 7 };        
        int r = simult(fn, args);
}

函数simult显然不完整:我只是想在这个阶段尝试编译.这个想法是你提供了一个函数和一个args列表,而simult将使用线程调用将args分段应用于f.

在这个阶段,我只是想弄清楚编译问题.

simult.cc: In function ‘int main()’:
simult.cc:43:25: error: no matching function for call to ‘simult(std::__cxx11::string (&)(int), std::vector<int>&)’
  int r = simult(fn, args);
                         ^
simult.cc:23:5: note: candidate: template<class T, class U> int simult(std::function<T(U)>, std::vector<U>)
 int simult( std::function<T(U)> f, std::vector<U> args)
     ^~~~~~
simult.cc:23:5: note:   template argument deduction/substitution failed:
simult.cc:43:25: note:   mismatched types ‘std::function<T(U)>’ and ‘std::__cxx11::string (*)(int) {aka std::__cxx11::basic_string<char> (*)(int)}’
  int r = simult(fn, args);
                         ^

Answer 1

模板推导不会触发隐式转换。尽管函数（指针）类型可以转换为std::function，但此转换绝不是模板替换的一部分。

您必须构建std::function并将其传递给simlut：

int r = simult(std::function<std::string (int)>(fn), args);