Передавая ссылки на шаблоны variadic, используйте std::reference-wrapper

Question

Я пытаюсь передать в шаблонную функцию переменной список ссылок и передать его другой функции. Код, который я написал, выглядит следующим образом:

template <typename T>
void fun(cv::Point_<T> & pt) { pt.x++; pt.y++; }

template <class ... args>
void caller(args & ... list) {

    typedef typename std::tuple_element<0, std::tuple<args...> >::type T;

    std::array<std::reference_wrapper<T>, sizeof...(list)> values {list ...     };

    for(int i=0; i<values.size(); i++)
      fun(values[i]);

}

тогда я вызываю функцию вызывания следующим образом:

cv::Point2f a, b, c;

caller(a, b, c);

компилятор выдаст мне следующую ошибку:

No matching function for call to 'fun'
Candidate template ignored: could not match 'Point_' against 'reference_wrapper'

чего мне не хватает?

Answer 1

Хотя std::reference_wrapper<T> имеет неявное преобразование в T&, вы не можете одновременно использовать неявное преобразование и вычитание аргумента шаблона, и вызов аргумента шаблона необходимо вызвать fun,

Пытаться

fun(values[i].get());

Answer 2

Еще проще

template <typename...Args>
void caller(Args&...args)
{
    auto tmp = { (func(args),0)..., 0 };
}

При этом используется тот факт, что расширение пакета параметров может происходить в фигурных списках инициализации. поскольку func() возвращает недействительным, мы не можем просто использовать { func(args)... }, но использовать (func(args),0) иметь int, Наконец, последний 0 должен гарантировать, что код компилируется (и ничего не делает) в случае пустого пакета параметров.

Вы можете обобщить это и написать шаблон, который вызывает данную универсальную функцию для каждого элемента пакета:

template <typename Func, typename...Args>
void call_for_each(Func &&func, Args&&...args)
{
    auto unused = { (func(std::forward<Args>(args)),0)...,0 };
}

который может быть использован следующим образом (C++14)

int main()
{
    int    a=1;
    double b=2.4;
    auto func = [](auto&x) { std::cout<<' '<<x++; };
    call_for_each(func,a,b);
    std::cout<<'\n';
    call_for_each(func,a,b);
    std::cout<<'\n';
}

Это использует лямбда C++ 14 (принимая auto аргумент). Обратите внимание, что пакет параметров должен быть последним среди параметров шаблона call_for_each,

Answer 3

Поскольку целью этого может быть итерация по всем argsВот более общее решение. Мы собираемся реализовать for_pack:

template<typename... Args, typename F>
void for_pack(F function, Args&&... args) {
    using expand = int[];
    (void)expand{(function(std::forward<Args>(args)), void(), 0)..., 0};
}

Это выполнит function для каждого args в Args,

Теперь ваша функция caller гораздо проще реализовать:

template <typename... args>
void caller(args&... list) {
    for_pack([&](cv::Point_<T>& arg){
        fun(arg);
    }, list...);
}

Answer 4

Так как поиск в Google "C++ передает ссылочные параметры в шаблон variadic" дает это в качестве первого результата, я приведу это общее решение здесь.

struct HH { /*...*/ void change_me() { /*...*/ } };

template<typename...T> void parms_r_refs() {}
template<typename H, typename...T> void parms_r_refs(H &h, T&...t) { h.change_me(); parms_r_refs(t...); }
template<typename...T> void parms_r_refs(T&...t) { parms_r_refs(t...); }

HH a, b, c;
..
    parms_r_refs(a, b, c);
..