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函數(shù)改成模板的形式，如下:

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構造函數(shù)找不到這樣的重載。
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。