std::reduce
benzeri bir reduce
işlevi oluşturmam gerekiyor, ancak kapsayıcılar üzerinde çalışmak yerine, bu işlev variadic parametreler üzerinde çalışmalıdır. beklendiği gibiİşlevsel olarak küçültme işlevinde ileri ve geri dönüş tipi (ler)
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)...);
}
aşağıdaki işleri:
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
Ancak aşağıdaki çalışmaz: - To
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});
Bu temelde çöküyor
Bu
Şu anda ne var Bu işi yapmak, örneğintemplate <typename F, typename T>
constexpr auto reduce(F&&, T &&t) {
return t;
}
Ama bunu yaparsanız, ilk pasajı artık çalışmıyor: reduce
için ilk tanımını değiştirebilir.
Sorun, parametrelerin iletilmesinde ve reduce
işlevinin dönüş türünde yatar, ancak ben onu bulabilirim.
Her iki parçacığı da çalışmak için reduce
tanımlarımı nasıl değiştirmeliyim?
C++ 17 katlama ifadelerine bakın http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4295.html – Snps