3

私はC++ 11用の「LINQ to Objects」ライブラリに取り組んでいます。私はこのようなことをしたいと思います:

// 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ソリューションですか？あなたは私に何を提案できますか？

4

2 に答える 2

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

編集：typename std::result_of<F(Args...)>::type同じことを行う戻り値の型にも使用できます。

于 2012-05-12T10:30:27.527 に答える
2

あなたのソリューションには確かに 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一度に 1 つのオーバーロードのみがアクティブになるようにします。あとは、必要な動作をするように慎重に作成するだけです。テストをあまり具体的にしたくないので、これは慎重なバランスをとる行為です。そうしないと、一般性が失われます。一般的なコードを書くときは非常に残念です。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)>;(同様に、2 番目のオーバーロードをキャッチオールにするis_binary_predicate代わりに、エイリアスを使用することもできます)。my_magic_funcおそらく、将来 SFINAE を使用するために同様のトレイトを使用したいと思うでしょう (ただし、可変個引数テンプレートなしで記述するのは多少面倒かもしれません)。

于 2012-05-12T13:54:28.340 に答える