Potrzebuję utworzyć funkcję reduce
podobną do std::reduce
, ale zamiast pracować na kontenerach, ta funkcja powinna działać na parametrach wariadycznych.Typy forwardów i zwrotów w funkcjonalnej funkcji zmniejszania
To co obecnie mam:
template <typename F, typename T>
constexpr decltype(auto) reduce(F&&, T &&t) {
return std::forward<T>(t);
}
template <typename F, typename T1, typename T2, typename... Args>
constexpr decltype(auto) reduce(F&& f, T1&& t1, T2&& t2, Args&&... args) {
return reduce(
std::forward<F>(f),
std::forward<F>(f)(std::forward<T1>(t1), std::forward<T2>(t2)),
std::forward<Args>(args)...);
}
Poniższe działa zgodnie z oczekiwaniami:
std::vector<int> vec;
decltype(auto) u = reduce([](auto &a, auto b) -> auto& {
std::copy(std::begin(b), std::end(b), std::back_inserter(a));
return a;
}, vec, std::set<int>{1, 2}, std::list<int>{3, 4}, std::vector<int>{5, 6});
assert(&vec == &u); // ok
assert(vec == std::vector<int>{1, 2, 3, 4, 5, 6}); // ok
ale następujące nie działa:
auto u = reduce([](auto a, auto b) {
std::copy(std::begin(b), std::end(b), std::back_inserter(a));
return a;
}, std::vector<int>{}, std::set<int>{1, 2},
std::list<int>{3, 4}, std::vector<int>{5, 6});
Zasadniczo awarii - TO spraw, żeby to działało, potrzebuję np zmienić pierwsza definicja reduce
do:
template <typename F, typename T>
constexpr auto reduce(F&&, T &&t) {
return t;
}
Ale jeśli to zrobię tak, pierwszy fragment już nie działa.
Problem jest związany z przekazywaniem parametrów i typem zwrotu funkcji reduce
, ale mogę ją znaleźć.
Jak mogę zmodyfikować moje definicje reduce
, aby oba sekrety działały?
Spójrz na składanie C++ 17 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4295.html – Snps