Sobrecarga de C ++ por tipo de cómputo param.

Estoy trabajando en la biblioteca "LINQ to Objects" para C ++ 11. Me gustaría hacer algo así:

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

Yo quiero escribirarr.where_i( ... ) - Es feo. Así que necesito la sobrecarga de funciones / métodos por tipo lambda ...

Esta es mi solución:

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

¿Es la solución SFINAE? ¿Qué me puedes sugerir?

Respuestas a la pregunta(2)

Su respuesta a la pregunta