c++ - 使用 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::函数:

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>>{})
{
    // ...
}