Перегрузка C ++ типом счетчика параметров функтора
Я работаю над & quot; LINQ to Objects & quot; библиотека для C ++ 11. Я хотел бы сделать что-то вроде этого:
<code>// filtering elements by their value
arr.where( [](double d){ return d < 0; } )
// filtering elements by their value and position
arr.where( [](double d, int i){ return i%2==0; } )
</code>
Я хочу написатьarr.where_i( ... ) - это ужасно.
Поэтому мне нужна перегрузка функций / методов лямбда-типом ...
Это мое решение:
<code>template<typename F>
auto my_magic_func(F f) -> decltype(f(1))
{
return f(1);
}
template<typename F>
auto my_magic_func(F f, void * fake = NULL) -> decltype(f(2,3))
{
return f(2,3);
}
int main()
{
auto x1 = my_magic_func([](int a){ return a+100; });
auto x2 = my_magic_func([](int a, int b){ return a*b; });
// x1 == 1+100
// x2 == 2*3
}
</code>
Это решение SFINAE? Что вы можете мне предложить?
Ответы на вопрос(2)
Может быть, что-то вариативное:
#include <utility>
template <typename F, typename ...Args>
decltype(f(std::declval<Args>()...) my_magic_func(F f, Args &&... args)
{
return f(std::forward<Args>(args)...);
}
Редактировать Вы также можете использоватьtypename std::result_of<F(Args...)>::type для возвращаемого типа, который делает то же самое.
my_magic_func должен быть унарным, не принимать пакет параметров; он должен определять арность заданного функтора и вызывать его с другими аргументами.std::result_of. Указанный способ не гарантирует, что его использование приведет к правильному SFINAE, и, по моему опыту, в некоторых случаях вы будете сталкиваться с серьезными ошибками (а это значит, что обманчиво работает в остальное время).конечно, хотите, чтобы СФИНА в вашем решении. Вообще говоря, результат будет выглядеть примерно так:
template<
typename Functor
, typename std::enable_if<
special_test<Functor>::value
, int
>::type = 0
>
return_type
my_magic_func(Functor f);
template<
typename Functor
, typename std::enable_if<
!special_test<Functor>::value
, int
>::type = 0
>
return_type
my_magic_func(Functor f);
при условии, что в каждый момент времени будет активна только одна перегрузка - все, что осталось сейчас, - это тщательно продумать этуspecial_test чтобы иметь поведение, которое мы хотим. Это осторожный баланс, поскольку вы не хотите, чтобы тест был слишком конкретным; в противном случае мы теряем общность. Довольно обидно при написании универсального кода. не предоставили слишком много информации (например, действительно ли вы заинтересованы в поддержке лямбда-выражений? Мономорфных функторов? Полиморфных функторов?), Но сейчас я предполагаю, что у нас есть доступ кvalue_type псевдоним, который будет соответствоватьdouble в твоем примере.
Как таковой, вот пример условия, которое проверит, что данный тип Callable (это стандартное понятие) с подписьюbool(value_type); то есть это своего рода предикат:
template<typename Functor, typename ValueType>
struct is_unary_predicate {
typedef char (&accepted)[1];
typedef char (&refused)[2];
void consume(bool);
template<
typename X
, typename Y
, typename = decltype( consume(std::declval<X>()(std::declval<Y>())) )
>
accepted
test(X&&, Y&&);
refused test(...);
static constexpr bool value =
sizeof test(std::declval<Functor>(), std::declval<ValueType>())
== sizeof(accepted);
};
Лично у меня естьis_callable<F, Signature> черта, так что мне нужно было бы написать что-то вродеtemplate<typename Functor, typename ValueType> using is_unary_predicate = is_callable<Functor, bool(ValueType)>; (и точно так же я мог бы иметьis_binary_predicate псевдоним вместо второй перегрузкиmy_magic_func быть универсальным). Возможно, вы захотите использовать аналогичную черту для будущего использования SFINAE (хотя может быть несколько болезненно писать без шаблонов с переменным числом аргументов).
accepted а такжеrefused быть разных размеров?