Формально лямбда-выражения можно использовать в качестве аргументов по умолчанию. Однако аргументы по умолчанию не будут приниматься во внимание в процессе дедукции шаблонных аргументов. Это значит, что фактически тип BinaryFunc
не будет дедуцироваться даже при успешно дедуцированном типе T
. То есть "наруральный" синтаксис вызова функции работать не будет
int a = 5, b = 10;
testFunc(a, b); // Ошибка - невозможно дедуцировать тип `BinaryFunc`
Указать точный тип этого аргумента явно вручную вы не сможете, ибо тип лямбда-выражения вам неизвестен. Можно в качестве типа BinaryFunc
указать std::function<int(int, int)>
и это будет работать
int a = 5, b = 10;
testFunc<int, std::function<int(int, int)>>(a, b);
но в такой ситуации вообще пропадает необходимость в независимой шаблонной параметризации для этого параметра. Т.е. можно просто сделать так
template<class T>
T testFunc(T t1, T t2,
std::function<T(T, T)> func = [](T v1, T v2){return v1 < v2;})
{
return func(t1, t2);
}
и забыть о необходимости дедуцировать тип этого аргумента. (Фактически основным предназначением std::function
как раз и является такое избавление от шаблонной параметризации кода. Платой за это является потенциальная внутренняя неэффективность std::function
.)
Вашу же исходную функциональность можно "сэмулировать" через перегрузку функции вместо использования аргумента по умолчанию
template<class T, class BinaryFunc>
T testFunc(T t1, T t2, BinaryFunc func)
{
return func(t1, t2);
}
template<class T>
T testFunc(T t1, T t2)
{
return testFunc(t1, t2, [](T v1, T v2){return v1 < v2;});
}