C ++ - Überladung durch Funktor-Parametertyp

Ich arbeite an der Bibliothek "LINQ to Objects" für C ++ 11. Ich würde gerne so etwas machen:

<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>

Ich möchte unten schreibenarr.where_i( ... ) - Es ist hässlich. Also brauche ich Funktions- / Methodenüberladung durch Lambda-Typ ...

Das ist meine Lösung:

<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>

Ist es eine SFINAE-Lösung? Was kannst du mir vorschlagen?

Antworten auf die Frage(2)

Ihre Antwort auf die Frage