我需要创建一个类似于std::reduce
的函数reduce
,但不是在容器上工作,该函数应该可用于可变参数。函数式缩减函数中的前进和返回类型
这是我目前有:
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)...);
}
预期以下工作:
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
但下面不工作:
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});
这基本上崩溃 - 要做这个工作,我需要例如改变的第一个定义的reduce
到:
template <typename F, typename T>
constexpr auto reduce(F&&, T &&t) {
return t;
}
但如果我这样做,第一个片段不工作了。
问题的关键在于转发参数和reduce
函数的返回类型,但我可以找到它。
我应该如何修改我的reduce
定义以使这两个片段都能正常工作?
看看C++ 17的折叠表达式http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n4295.html – Snps