Вопрос по visual-c++, c++, c++11 – Перегрузка C ++ типом счетчика параметров функтора

3

Я работаю над & quot; LINQ to Objects & quot; библиотека для C ++ 11. Я хотел бы сделать что-то вроде этого:

// 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; } )

Я хочу написатьarr.where_i( ... ) - это ужасно. Поэтому мне нужна перегрузка функций / методов лямбда-типом ...

Это мое решение:

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
}

Это решение SFINAE? Что вы можете мне предложить?

Error: User Rate Limit Exceeded k06a
Возможно, вы захотите взглянуть на boost :: range. Viktor Sehr
Error: User Rate Limit Exceededcode.google.com/p/boolinq k06a
Ах, действительно круто! Я добавлю это в закладки! Viktor Sehr

Ваш Ответ

2   ответа
2

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_typedouble в вашем примере.

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

Error: User Rate Limit Exceeded
Error: User Rate Limit ExceededacceptedError: User Rate Limit ExceededrefusedError: User Rate Limit Exceeded
3

#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)...);
}

Edit:Error: User Rate Limit Exceededtypename std::result_of<F(Args...)>::type для возвращаемого типа, который делает то же самое.

Error: User Rate Limit Exceededmy_magic_funcError: User Rate Limit Exceeded
Error: User Rate Limit Exceededstd::result_ofError: User Rate Limit Exceeded
Error: User Rate Limit Exceeded
Error: User Rate Limit Exceeded k06a

Похожие вопросы