Задержка создания экземпляра шаблона функции

Question

Задержка создания экземпляра шаблона функции

В этом довольно надуманном примере я пытаюсь передать шаблон функции к моей функции, и хочу, чтобы моя функция создавала шаблон функции внутренне. По сути, я не хочу, чтобы пользователь знал типы и работу моей функции, а просто мог передать шаблон функции для меня, чтобы создать экземпляр себя. Автономный пример (который не компилируется):

#include <iostream>
#include <vector>
#include <iterator>
#include <algorithm>

template <template <typename InputIt, typename OutputIt> class CopyFunc>
void transferWith( CopyFunc<std::vector<int>::const_iterator,
std::back_insert_iterator<std::vector<int>>> const& func )
{
std::vector<int> source{1, 2, 3, 4, 5, 6, 7};
std::vector<int> sink;

func(source.begin(), source.end(), std::back_inserter(sink));

for (auto&& e : sink)
{
std::cout << e << std::endl;
}
}

int main(int argc, char const *argv[])
{

// I want to pass just the function template in,
// and instantiate it internally
transferWith(std::copy);

return 0;
}

Это не скомпилируется на gcc-4.7.2, как ожидалось, со следующими ошибками:

main.cpp|25 col 27 error| no matching function for call to ‘transferWith(<unresolved overloaded function type>)’
main.cpp|8 col 6 error| note: template<template<class InputIt, class OutputIt> class CopyFunc> void transferWith(const CopyFunc<__gnu_cxx::__normal_iterator<const int*, std::vector<int> >, std::back_insert_iterator<std::vector<int> > >&)
main.cpp|25 col 27 error| note:   couldn't deduce template parameter ‘template<class InputIt, class OutputIt> class CopyFunc’

Есть ли какие-то хитрости или уловки, которые можно использовать, чтобы обойти это?

Спасибо.

3

c++c++11 function-templates templates

Решение

Другие решения

Есть ли какие-то хитрости или уловки, которые можно использовать, чтобы обойти это?

Да. Передайте объект функтора с шаблоном operator()(),

Код будет выглядеть точно так же, как версия в Ответ Барта.

2

Будет ли что-то вроде

template <template <typename InputIt, typename OutputIt> class CopyFunc> void transferWith()
{
std::vector<int> source{1, 2, 3, 4, 5, 6, 7};
std::vector<int> sink;

CopyFunc<std::vector<int>::const_iterator, std::vector<int>::iterator>(source.begin(), source.end(), std::back_inserter(sink));

for (auto&& e : sink)
{
std::cout << e << std::endl;
}
}

называется как:

transferWith<std::copy>();

делать?

Я не обещаю, что это будет скомпилировано из коробки …

0

Источник

Accepted Answer

Просто для полноты, вот пример подхода функтора:

#include <algorithm>
#include <vector>
#include <iostream>

struct Copy {
template <typename InputIter, typename OutputIter>
OutputIter operator()(InputIter i1, InputIter i2, OutputIter o1) {
return std::copy(i1, i2, o1);
}
};

template <typename CopyFunctor>
void foo(CopyFunctor cf) {
std::vector<int> v1 = {3, 1, 4};
std::vector<int> v2(v1.size());

cf(v1.begin(), v1.end(), v2.begin());

for (auto i : v2) {
std::cout << i << ' ';
}
}

int main() {
foo(Copy());  // displays "3 1 4"}

2