template<typename>不能推导出指针类型吗?

asker160

下面一个例子程序，编译运行没有问题。

1. 
   
2. #include <thread>
   
3. #include <future>
   
4. #include <iostream>
   
5. #include <algorithm>
   
6. void f(int* first,
   
7.        int* last,
   
8.        std::promise<int> accumulate_promise)
   
9. {
   
10.     int sum = std::accumulate(first, last, 0);
    
11.     accumulate_promise.set_value(sum);  // Notify future
    
12. }
    
13. 
    
14. int main()
    
15. {
    
16.     int numbers[] = { 1, 2, 3, 4, 5, 6 };
    
17.     std::promise<int> accumulate_promise;
    
18.     std::future<int> accumulate_future = accumulate_promise.get_future();
    
19.     std::thread work_thread(f, begin(numbers), end(numbers),
    
20.                             std::move(accumulate_promise));
    
21.     accumulate_future.wait();  // wait for result
    
22.     std::cout << "result=" << accumulate_future.get() << '\n';
    
23.     work_thread.join();  // wait for thread completion
    
24. }
    

复制代码

但是如果我把f函数改成模板的形式，如下:

1. 
   
2. template<typename Iterator>
   
3. void f(Iterator first,
   
4.        Iterator last,
   
5.        std::promise<int> accumulate_promise)
   
6. {
   
7.     int sum = std::accumulate(first, last, 0);
   
8.     accumulate_promise.set_value(sum);  // Notify future
   
9. }
   

复制代码

就会编译不过，说thread::thread构造函数找不到这样的重载。
error: no matching function for call to 'std::thread::thread(<unresolved overloaded function type>, int*, int*, std::remove_reference<std::promise<int>&>::type)'

这个错误是什么含义? 我的模板用法不对吗?
谢谢。

windoze

1. template<typename Iterator>void f(...)

复制代码

这玩意儿不是个function，是个function template。