Я пытаюсь получить представления диапазона, которые ведут себя как маски «истина-ложь». Чтобы выполнять логические операции, я хочу реализовать ands и ors масок. У меня есть рабочее время компиляции или:
struct make_or_mask_fn
{
template<typename... Msks>
auto operator()(Msks&&... msks) const
{
CONCEPT_ASSERT((Range<Msks>() || ...));
return ranges::view::zip(std::forward<Msks>(msks)...) |
ranges::view::transform(
[](auto&& range_item) -> bool {
return tuple_or(range_item);
});
}
private:
template<typename... T>
static bool variable_length_or(const T... v)
{
return (v || ...);
}
template<typename... T, std::size_t... Idx>
static bool tuple_or(const std::tuple<T...> t,
std::index_sequence<Idx...>)
{
return variable_length_or(std::get<Idx>(t)...);
}
template<typename... T>
static bool tuple_or(const std::tuple<T...> t)
{
return tuple_or(t, std::index_sequence_for<T...>{});
}
};
RANGES_INLINE_VARIABLE(make_or_mask_fn, make_or_masker)
который я могу назвать просто отлично
std::vector<bool> mask1 = ...
std::vector<bool> mask2 = ...
std::vector<bool> mask3 = ...
auto or_of_masks = make_or_masker(mask1, mask2, mask3);
Что это не может сделать в данный момент, так это построить или из ряда масок, которые неизвестны во время компиляции. Моя текущая попытка состоит в том, чтобы принять vector
диапазонов, проверить его размер, а затем вызвать шаблон с переменным числом аргументов или ранее:
struct make_vector_or_mask_fn
{
template<typename Msk>
auto operator()(std::vector<Msk> msks)
const // TODO const and reference types
{
CONCEPT_ASSERT(Range<Msk>());
// todo return range with all true (an or of zero elements is true)
assert(msks.size() != 0);
if(msks.size() == 1)
return or_ranges(msks[0]);
if(msks.size() == 2)
return or_ranges(msks[0], msks[1]);
if(msks.size() == 3)
return or_ranges(msks[0], msks[1], msks[2]);
/// TODO: go until ... maybe 8 and recurse afterwards
}
private:
template<typename... Msks>
static auto or_ranges(Msks&&... msks)
{
CONCEPT_ASSERT((Range<Msks>() || ...));
return ranges::view::zip(std::forward<Msks>(msks)...) |
ranges::view::transform(
[](auto&& range_item) -> bool {
return tuple_or(range_item);
});
}
template<typename... T>
static bool variable_length_or(const T... v)
{
return (v || ...);
}
template<typename... T, std::size_t... Idx>
static bool tuple_or(const std::tuple<T...> t,
std::index_sequence<Idx...>)
{
return variable_length_or(std::get<Idx>(t)...);
}
template<typename... T>
static bool tuple_or(const std::tuple<T...> t)
{
return tuple_or(t, std::index_sequence_for<T...>{});
}
};
RANGES_INLINE_VARIABLE(make_vector_or_mask_fn, make_vector_or_masker)
Это не компилируется со следующей ошибкой:
../include/range/v3/view/mask.hpp:221:25: error: 'auto' in return type deduced as 'ranges::v3::transform_view<ranges::v3::zip_view<ranges::v3::iterator_range<__gnu_cxx::__normal_iterator<int *, std::vector<int, std::allocator<int> > >, __gnu_cxx::__normal_iterator<int *, std::vector<int, std::allocator<int> > > >, ranges::v3::iterator_range<__gnu_cxx::__normal_iterator<int *, std::vector<int, std::allocator<int> > >,
__gnu_cxx::__normal_iterator<int *, std::vector<int, std::allocator<int> > > > >, (lambda at ../include/range/v3/view/mask.hpp:188:32)>' here but deduced as 'ranges::v3::transform_view<ranges::v3::zip_view<ranges::v3::iterator_range<__gnu_cxx::__normal_iterator<int *, std::vector<int, std::allocator<int> > >, __gnu_cxx::__normal_iterator<int *, std::vector<int, std::allocator<int> > > > >,
(lambda at ../include/range/v3/view/mask.hpp:188:32)>' in earlier return statement
return or_ranges(msks[0], msks[1]);
^
Насколько я понимаю, это говорит мне о том, что мой or_ranges
возвращает другой тип в зависимости от количества аргументов. (Я использую zip
, который сохраняет информацию о том, что было застегнуто вместе).
Итак, мне интересно, как мне стереть то, что находится в диапазоне?