coffee/continuable
1
0
Fork 0
mirror of https://github.com/Naios/continuable.git synced 2025-12-07 17:26:47 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix the mapping when empty spreads are involved

Browse Source
This commit is contained in:
Denis Blank 2018-02-27 17:18:52 +01:00
parent 860ae778bc
commit c4cdb3c3b0
2 changed files with 31 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
include/continuable/detail/traits.hpp
View File

@ -461,11 +461,11 @@ using std::disjunction;
namespace detail {
/// Declares a C++14 polyfill for C++17 std::disjunction.
template <typename Args, typename = void_t<>>
struct disjunction_impl : std::common_type<std::false_type> {};
struct disjunction_impl : std::common_type<std::true_type> {};
template <typename... Args>
struct disjunction_impl<identity<Args...>,
void_t<std::enable_if_t<bool(Args::value)>...>>
: std::common_type<std::true_type> {};
void_t<std::enable_if_t<!bool(Args::value)>...>>
: std::common_type<std::false_type> {};
} // namespace detail
template <typename... Args>

28
test/unit-test/single/test-continuable-traverse.cpp
View File

@ -770,3 +770,31 @@ TEST(traversal_prio, prioritize_mapping) {
EXPECT_EQ(res, 4);
}
struct flat_tupelizing_tag1 {};
struct flat_tupelizing_tag2 {};
struct flat_tupelizing_mapper {
auto operator()(flat_tupelizing_tag1) {
return 7;
}
auto operator()(flat_tupelizing_tag2) {
return spread_this();
}
};
TEST(traversal_regressions, flat_tupelizing) {
{
std::tuple<int> result =
map_pack(flat_tupelizing_mapper{}, flat_tupelizing_tag1{},
flat_tupelizing_tag2{});
EXPECT_EQ(std::get<0>(result), 7);
}
{
std::tuple<int> result = map_pack(
flat_tupelizing_mapper{},
std::make_tuple(flat_tupelizing_tag1{}, flat_tupelizing_tag2{}));
EXPECT_EQ(std::get<0>(result), 7);
}
}