Получить типы классов шаблонов

Question

У меня есть шаблон функции, как это:

template<class RandomAccessIterator, class T, class Func> 
T reduce(RandomAccessIterator first, RandomAccessIterator last, const T& initial_value, Func func) { 
    // Some code; 
    return cur_value; 
} 

Я не могу начать нить на:

std::thread t1(reduce, iterator1, iterator2, 0, sum) 

reduce Поскольку функция не создается из-за template поведения. Я должен написать вручную все типы, определенные в template. Как:

std::thread t1(reduce<SomeIterator, SomeNumber, SomeFunc>, iterator1, iterator2, 0, sum) 

Если у меня есть еще типа я должен написать:

std::thread t1(reduce<AnotherIterator, AnotherNumber, Func>, iterator1, iterator2, 0, sum) 

Как я могу автоматизировать этот процесс? Есть ли способ расчета типов классов, такие как:

std::thread t1(reduce<typeof(X), typeof(Y), typeof(Z)>, iterator1, iterator2, 0, sum) 

Answer 1

Просто используйте лямбду.

std::thread t1([=](){reduce(iterator1, iterator2, 0, sum)); 

Magic!

Answer 2

Вы можете написать шаблон вспомогательной функции, чтобы воспользоваться template argument deduction:

template<class RandomAccessIterator, class T, class Func> 
std::thread reduce_helper(RandomAccessIterator first, RandomAccessIterator last, const T& initial_value, Func func) { 
    return std::thread(reduce<RandomAccessIterator, T, Func>, first, last, initial_value, func); 
} 

затем использовать его как:

std::thread t1 = reduce_helper(iterator1, iterator2, 0, sum);