为什么不能将 lambda 分配给函数参数作为默认值？

Question

使用以下函数：

template<typename T>
decltype(auto) find_median(T begin,
T end,
bool sorted = false,
auto comparison = [](auto a, auto b){return a < b;}){
assert(begin != nullptr);
assert(end != nullptr);
return sorted ? find_median_sorted(begin, end) : find_median_unsorted(begin, end, comparison);
}

请注意，我将comparison参数设置为默认值[](auto a, auto b){return a < b;}。因此，如果我像下面这样调用这个函数：find_median(std::addressof(arr), std::addressof(arr[9]))，其中arr是std::array，这应该可以工作。但它不起作用，有人能告诉我为什么吗？

Answer 1

您可以为已知类型提供默认值，但不能为这样的推导类型提供默认数值。这不是语言所支持的。

您必须为类型和提供默认值：

template<typename T, typename Cmp = std::less<>>
decltype(auto) find_median(T begin,
T end,
bool sorted = false,
Cmp comparison = {})
{
// ...
}