时间戳

首页 > 解决方案 > 为什么我不能将 lambdas 分配给函数参数作为默认值？

c++ - 为什么我不能将 lambdas 分配给函数参数作为默认值？

问题描述

采取以下功能：

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]))where arris an std::array，这应该可以工作。但它不起作用，有人可以告诉我为什么吗？

标签： c++templateslambdac++20

解决方案

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

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

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

推荐阅读