指定模板函数参数的默认值

Question

你能解释为什么下面的代码不能编译吗？一个明显的解决方法是添加一个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;
}

Answer 1

模板参数推导不起作用 - 您不能从默认值推导出参数的类型.但是,在C++ 11中,您可以指定默认模板参数:

template <typename Val, typename Fn = Val(&)(Val const &)>
Val Apply(const Val& v, Fn fn = Identity<Val>)
{
   return fn(v);
}

Answer 2

查找要调用的函数包括:1.创建候选集,其中包括模板参数推导2.确定最佳超载

如果我正确理解标准,只有实际的函数参数(即不是默认的参数)参与推导模板参数.因此,从参数来看42,编译器唯一可以推断的是Val= int.重载不会进入候选集,并且永远不会查看默认参数.