Не удалось шаблон <typename> определить тип указателя?

Question

Я не следующую программу, компилировать + работать, никаких проблем

#include <thread> 
#include <future> 
#include <iostream> 
#include <algorithm> 
void f(int* first, 
     int* last, 
     std::promise<int> accumulate_promise) 
{ 
    int sum = std::accumulate(first, last, 0); 
    accumulate_promise.set_value(sum); // Notify future 
} 

int main() 
{ 
    int numbers[] = { 1, 2, 3, 4, 5, 6 }; 
    std::promise<int> accumulate_promise; 
    std::future<int> accumulate_future = accumulate_promise.get_future(); 
    std::thread work_thread(f, begin(numbers), end(numbers), 
          std::move(accumulate_promise)); 
    accumulate_future.wait(); // wait for result 
    std::cout << "result=" << accumulate_future.get() << '\n'; 
    work_thread.join(); // wait for thread completion 
} 

Но если я изменю "F" в шаблон:

template<typename Iterator> 
void f(Iterator first, 
     Iterator last, 
     std::promise<int> accumulate_promise) 
{ 
    int sum = std::accumulate(first, last, 0); 
    accumulate_promise.set_value(sum); // Notify future 
} 

Тогда он не компиляции, GCC отчет, что нить :: нить() т х р не может найти правильную перегрузку: ошибки: нет подходящей функции для вызова 'станд :: Thread :: нить (, INT *, Int *, станд :: remove_reference &> :: типа)'

Что это сообщение, указывающее, anyt Неправильный шаблон с моим шаблоном? Как это исправить?

Спасибо.

Answer 1

f является шаблон.

std::thread work_thread(f, begin(numbers), end(numbers), 
         std::move(accumulate_promise)); 

Выражаясь в терминах рыхлых, первый параметр std::thread «s либо указатель на функцию или что-то, что действует как указатель на функцию. Он не принимает шаблон в качестве первого параметра.

Шаблон становится классом или функцией при его создании. Шаблон создается при его использовании. Таким образом, учитывая это определение шаблона, и использовать его таким образом, как это:

f(something.begin(), something.end(), some_kind_of_a_promise); 

это конкретизирует шаблон, и использует его. Чтобы создать экземпляр шаблона явно, без его использования:

f<int *> 

Теперь у вас есть экземпляр шаблона. Следующие работы здесь:

std::thread work_thread(f<int *>, std::begin(numbers), 
         std::end(numbers), 
         std::move(accumulate_promise)); 

Испытано с GCC 5.3.1