ПК
А, дак чё тогда не устраивает с optional?
ну это всё-таки костыль - я хочу return значения сразу, а не через промежуточный буфер.
если решения не найдётся, останусь на optional'е
Size: a a a
2020 October 15
АК
к тому же, такое решение может вынудить компилятор ходить по всему паку, даже если предикат сработает на первом элементе (вопрос в оптимизаторе)
ну а решение с рекурсией - это рекурсия
ну а решение с рекурсией - это рекурсия
АР
const Ts* t = nullptr;
((t = &arg, Predicate(t)) || ...);
return foo(*t);
((t = &arg, Predicate(t)) || ...);
return foo(*t);
АК
const Ts* t = nullptr;
((t = &arg, Predicate(t)) || ...);
return foo(*t);
((t = &arg, Predicate(t)) || ...);
return foo(*t);
Ts разных типов, но это навело на мысль..
АР
ну через void* можно, ток еще на nullptr проверь ага
АК
через void потеряется тип при передаче в foo
АР
а, не, не прокатит (
АК
std::variant<Ts*...> arg;
(..ищем arg..)
return std::visit([](const auto* arg) { return F(*arg); }, arg)
Е
std::variant<Ts*...> arg;
(..ищем arg..)
return std::visit([](const auto* arg) { return F(*arg); }, arg)
monostate еще всунуть наверное
АК
const Ts* t = nullptr;
((t = &arg, Predicate(t)) || ...);
return foo(*t);
((t = &arg, Predicate(t)) || ...);
return foo(*t);
это интересное решение, но с optional всё же проще получается
АР
ну идея же наверно еще и решение которое максимально гарантированно оптимизируется
АК
ну идея же наверно еще и решение которое максимально гарантированно оптимизируется
variant отвратительно оптимизируется
АР
а, погоди
((Predicate(arg) ? (res = foo(arg), true) : false) || ...);
return res;
((Predicate(arg) ? (res = foo(arg), true) : false) || ...);
return res;
АК
а, погоди
((Predicate(arg) ? (res = foo(arg), true) : false) || ...);
return res;
((Predicate(arg) ? (res = foo(arg), true) : false) || ...);
return res;
res - это optional? :)
или default constructible?
или default constructible?
АР
ну тут да, надо будет optional
АР
RVO убьет (
АК
const Ts* t = nullptr;
((t = &arg, Predicate(t)) || ...);
return foo(*t);
((t = &arg, Predicate(t)) || ...);
return foo(*t);
template <class... Ts>
constexpr auto foo3(const Ts& ...ts) {
const void* arg = nullptr;
std::size_t(*visitor)(const void*) = nullptr;
((arg = &ts, visitor = [](const void* arg) { return F(*static_cast<const Ts*>(arg)); }, Predicate(ts)) || ...);
return visitor(arg);
}
:)
Спасибо за идею.
АР
к визитору + напиши ) И не size_t