c++ - 如何为通用 lambda 参数定义模板参数？

Question

<分区>

Answer 1

忽略 const问题，你有一种先有鸡还是先有蛋的问题。

的确，您的 lambda 可以转换为 std::function<std::uint32_t(std::unit32_t)> .

但 lambda 不是 std::function<std::uint32_t(std::unit32_t)> 也是事实所以编译器无法推断出 A .

如果编译器不能推导出A , 无法将 lambda 转换为 std::function<A(T)> .

您显然可以显式显示正确的 std::function键入调用 map()

a.map(std::function<std::uint32_t(std::uint32_t)>{[]( uint32_t c ) -> uint32_t {
    return c * c;
}});

并且，考虑到您使用的是 C++17(因此您可以使用 std::function 的推导指南)，同时推导 std::function 的模板参数

a.map(std::function{[]( uint32_t c ) -> uint32_t {
    return c * c;
}});

但是，再次使用 std::function 的模板推导指南，写的怎么样mat()接受一个简单的可调用和推导 A从中？

我的意思是...下面的内容怎么样？

template <typename F>
auto map( F && func ) const {
    using A = typename decltype(std::function{std::forward<F>(func)})::result_type;

    auto sequence = new Sequence< A >;
    for ( const T& element : *this ) {
        sequence->push( std::forward<F>(func)( element ) );
    }
    return *sequence;
}

(注意:代码未经测试)。

你也可以推导出A , 没有 std::function演绎指南(在 C++17 之前)，正如 Michael Kenzel 所建议的那样。