Перегрузка 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? Что вы можете мне предложить?

 k06a12 мая 2012 г., 13:03
Я работаю над библиотекой, основной целью которой является копирование стиля C # LINQ ... Если вам интересно, вы можете получить его здесь: Code.google.com / р / boolinq
 Viktor Sehr12 мая 2012 г., 13:09
А, действительно круто! Я добавлю это в закладки!
 Viktor Sehr12 мая 2012 г., 13:01
Возможно, вы захотите взглянуть на boost :: range.
 k06a12 мая 2012 г., 12:29
Это решение работает, но мне нужно знать типы аргументов, чтобы написать my_magic_func. Это не удобно.

Ответы на вопрос(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 для возвращаемого типа, который делает то же самое.

 ildjarn12 мая 2012 г., 17:12
-1 Это совершенно не соответствует сути вопроса.my_magic_func должен быть унарным, не принимать пакет параметров; он должен определять арность заданного функтора и вызывать его с другими аргументами.
 k06a12 мая 2012 г., 12:31
Мне очень жаль, но MSVC ++ 2010 не поддерживает вариационные шаблоны
 Luc Danton12 мая 2012 г., 15:57
Ты не можешь использоватьstd::result_of. Указанный способ не гарантирует, что его использование приведет к правильному SFINAE, и, по моему опыту, в некоторых случаях вы будете сталкиваться с серьезными ошибками (а это значит, что обманчиво работает в остальное время).
 Kerrek SB12 мая 2012 г., 19:39
@ ildjarn: Хм, да, я неправильно понял вопрос.

конечно, хотите, чтобы СФИНА в вашем решении. Вообще говоря, результат будет выглядеть примерно так:

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 (хотя может быть несколько болезненно писать без шаблонов с переменным числом аргументов).

 ildjarn12 мая 2012 г., 16:23
Не долженaccepted а такжеrefused быть разных размеров?
 Luc Danton12 мая 2012 г., 16:26
@ ildjarn Спасибо, исправлено.

Ваш ответ на вопрос