Здравствуйте, uzhas, Вы писали:

BFE>>Вопрос вот в чём: почему вызов f(); не интерпритируется как f(10); ?
U>http://stackoverflow.com/questions/9628974/why-cant-the-compiler-deduce-the-template-type-from-default-arguments
U>можно предположить, что это создаст проблемы при overload resolution и надо будет SFINAE усложнять

Это если не лямбда. А вот для лямбды никакой проблемы быть не должно, так как каждая лямбда имеет свой уникальный тип.