Не могли бы вы объяснить, почему следующий код не компилируется? Очевидным обходным решением является добавление 1-аргументной перегрузки Apply, есть ли более простая?
template <typename T>
T Identity(const T& i_val)
{
return i_val;
}
template <typename Val, typename Fn>
Val Apply(const Val& v, Fn fn = Identity<Val>)
{
return fn(v);
}
int main() {
Apply(42); // error: no matching function for call to 'Apply(int)'
Apply(42, Identity<int>); // OK
return 0;
}
Поиск функции для вызова состоит из: 1. создание набора кандидатов, который включает в себя вывод аргумента шаблона 2. определение наилучшей перегрузки
Если я правильно понимаю стандарт, в выводе аргументов шаблона принимают участие только фактические аргументы функции (т.е. не по умолчанию). Поэтому из аргумента 42 единственное, что может сделать компилятор, это Val= int. Перегрузка не входит в набор кандидатов, и аргумент по умолчанию никогда не просматривается.
Вычисление аргумента шаблона не работает таким образом - вы не можете вывести тип аргумента из значения по умолчанию. В С++ 11 вы можете указать аргумент шаблона по умолчанию:
template <typename Val, typename Fn = Val(&)(Val const &)>
Val Apply(const Val& v, Fn fn = Identity<Val>)
{
return fn(v);
}
Применить - это шаблонная функция. Вам нужно сделать Apply<MyValueType,MyFuncType>(42);
Вы можете разумно ожидать, что компилятор выведет Val как int, но вы не можете ожидать, что он выведет тип функции, даже если вы указали параметр по умолчанию. В результате этого не будет выведено, что вы пытаетесь вызвать это объявление функции Apply.