使用 lambda 表达式定义默认函子参数

Question

我正在尝试为函子的参数定义默认值。但是我收到了这个错误：

注意：候选模板被忽略：无法推断模板参数 '比较'

这是我的函数的定义：

template <typename RAIterator, typename Comp> 
void somefunction(RAIterator beg, RAIterator end, Comp comp=
[](const typename iterator_traits<RAIterator>::value_type& a, 
   const typename iterator_traits<RAIterator>::value_type& b)->bool
   {return b<a?true:false;}){
   //the content of the "somefunction"
}

我想知道我是否可以这样做，如果可以，我做错了哪一部分。谢谢。

Answer 1

如果不要求用户明确指定Comp 的类型，就不能为模板参数提供默认参数，这对于这个用例来说非常不方便。你可以改为做两件事之一。您可以提供一个传入默认值的重载：

template <typename RAIterator, typename Comp> 
void somefunction(RAIterator beg, RAIterator end, Comp comp ) { ... }

template <typename RAIterator>
void somefunction(RAIterator beg, RAIterator end) {
    somefunction(beg, end, std::less<typename std::iterator_traits<RAIterator>::value_type>{});
}

或者，您可以将 comp 的类型设为非推导上下文，这样您就可以添加默认参数，但在这种情况下可能会增加开销，因为我们将其设为 std::function：

template <typename Iter>
using value_type_t = typename std::iterator_traits<Iter>::value_type;

template <typename Iter>
using Comp = std::function<bool(const value_type_t<Iter>&, const value_type_t<Iter>&)>;

template <typename RAIterator>
void somefunction(RAIterator beg, RAIterator end,
    Comp<RAIterator> cmp = std::less<value_type_t<RAIterator>>{})
{
    // ...
}