Шаблоны в C++ и стандартный алгоритм

Question

Просматривая книгу «Эффективный STL», автор приводит пример того, как можно записать copy_if, так как это не существует в стандартных алгоритмах. Вот версия Авторы:

template <typename Input, typename Output,typename Predicate> 
OutputIterator copy_if(Input begin , Input end, Output destBegin, Predicate p) 
{ 
    while(begin != end) 
    { 
    if(p(*begin)) *destBegin++=*begin; 
    ++ begin; 
    } 
    return destBegin; 
} 

Теперь мой вопрос, как автор может использовать этот метод, как это:

copy_if(widg.begin(),widg.end(),ostream_iterator<widg>(cerr,"\n"),isDefective); 

Мой вопрос, почему разве параметры шаблона определяется с copy_if (так как она требует 3) такие, как этот

copy_if<p1,p2,p3>(...) 

Answer 1

Для функция шаблонов, такие как copy_if, компилятор может вывести типы шаблона парама от параметров функции. Вы не должны сами поставлять их, хотя я не думаю, что это ошибка, если вы это сделаете.

Это отличное от шаблона со значением, где у вас есть необходимые параметры шаблона.

Answer 2

Параметры типа шаблона функции могут быть выведены компилятором из параметров функции. Например:

template<typename T> 
auto return_value_type_instance(const std::vector<T>&) -> T 
{ 
    return T(); 
} 

Это является примером C++ 11 заднего типа возвращаемого значения, которые возвращают тип будет bool если передать std::vector<bool> экземпляр функции, символ, если передать вектор обугленного, и т.д.:

int main() 
{ 
    std::vector<bool> a; 
    std::vector<char> b; 
    std::vector<float> c; 

    bool aa = return_value_type_instance(a); 
    char bb = return_value_type_instance(b); 
    float cc = return_value_type_instance(c); 
} 

Или в более общем примере, STL-подобные алгоритмы:

template<typename iterator_type> 
void print_range(iterator_type begin , iterator_type end) 
{ 
    for(iterator_type it = begin ; it != end ; ++it) 
     std::cout << *it << std::endl; 
} 

int main() 
{ 
    std::vector<int> v = {0,1,2,3}; 

    print_range(v.begin() , v.end()); 
} 

Выход: