rust - 从闭包返回闭包作为函数的返回值

Question

我正在努力适应 impl Fn，但我不明白这段代码的错误:

fn y(state: bool) -> impl Fn() -> impl Fn(bool) -> bool {
    move || {
        println!("state, {}", state);
        |x: bool| {
            println!("state, {}", state);
            !x
        }
    }
}

fn main() {
    y(true)()(true);
}

错误是:

error[E0562]: `impl Trait` not allowed outside of function and inherent method return types
 --> src/main.rs:1:35
  |
1 | fn y(state: bool) -> impl Fn() -> impl Fn(bool) -> bool {
  |                                   ^^^^^^^^^^^^^^^^^^^^^

1. 为什么第一个 impl Fn 允许，而第二个不允许？
2. 如何在不使用堆的情况下完成此操作(通过 Box 等)？

Answer 1

如果您仔细阅读消息，它会准确说明问题所在:

`impl Trait` not allowed outside of function and inherent method return types

目前，您只能使用impl Trait:

• 作为函数的返回类型:fn 在 impl block 之外使用。
• 作为固有方法的返回类型:fn 在 impl Type block 中使用。

就是这样。

因此，您无法形成特征 Fn() -> impl X。

我要指出的是，希望这是一个临时限制，因为正在努力扩展可以使用 impl X 的地方，并且需要关联的类型和特征方法。

Why is it allowed for the first impl Fn, but not allowed for the second?

第一个 impl Fn 是函数的返回类型 (y) 所以它是允许的。第二个是特征方法的返回类型，所以不是。

How this can be done without using the heap?

您可以从第一个 Fn 返回一个具体实例。

例如，如果您不需要状态，则可以返回一个 fn(bool) -> bool。

否则，您将需要手动创建一个封装所述状态的结构，以便能够命名类型，而不是依赖闭包。