0

Допустим есть такой псевдокод на c++. Какая-то функция(допустим сортировка), принимает какие-то значения и функцию-компаратор. Значения аргументов функций можно инициализировать по умолчанию. Можно ли что-нибудь подобное провести с компаратором, только инициализировав его лямбдой? Это удобно, например, если сортируются стандартные типы для которых уже определена операция сравнения.

template<class T, class BinaryFunc>
T testFunc(T t1, T t2, BinaryFunc func = [](T v1, T v2){return v1 < v2;}){
  return func(t1,t2);
}

И второй вопрос: ключевое слово auto определено только для стандартных типов? Или для пользовательских тоже?
зы: можно, конечно, переопределить эту фукнцию, но мне кажется, что так было бы лаконичней

1 ответ 1

1

Формально лямбда-выражения можно использовать в качестве аргументов по умолчанию. Однако аргументы по умолчанию не будут приниматься во внимание в процессе дедукции шаблонных аргументов. Это значит, что фактически тип 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;});
}
9
  • А что значит "дедуцироваться"'? 1 апр 2017 в 17:53
  • @Максим Петров: Значит: выводиться компилятором автоматически на основе типов фактических аргументов функции в точке вызова. Без дедукции шаблонных аргументов компилятором вам бы пришлось указывать шаблонные аргументы явно, через <...>, как у меня в примере выше. 1 апр 2017 в 17:58
  • template<class T> T testFunc(T t1, T t2, std::function<int(int, int)> func = [](T v1, T v2){return v1 < v2;}) { return func(t1, t2); } 1 апр 2017 в 18:07
  • Этот вариант не компилится. Пишет, что не может зарезервировать переменные v1 и v2 1 апр 2017 в 18:07
  • через CLion запускаю 1 апр 2017 в 18:53

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.