注释闭包参数可重点使用更高等级的特征边界

问：

在这个朴素的代码片段（playground）中，使用闭包的未注释版本不会编译，而使用类型进行注释会：

fn bounded(items: &[&u8]) -> bool {
    items.iter().all(|item| **item <= 10)
}

fn check(check_function: &dyn Fn(&[&u8]) -> bool, items: &[&u8]) -> bool {
    check_function(items)
}

fn main() {
    let a = [1, 45, 7, 2];
    let b = [&a[2], &a[0], &a[0]];
    
    let func = |items| bounded(items); // E0308
    // let func = |items: &[&u8]| bounded(items);
    
    println!("{:?}", check(&func, &b));
}

   Compiling playground v0.0.1 (/playground)
error[E0308]: mismatched types
  --> src/main.rs:28:35
   |
28 |     println!("{:?}", Checker::new(&func).check(&b));
   |                                   ^^^^^ one type is more general than the other
   |
   = note: expected trait `for<'a, 'b> Fn<(&'a [&'b u8],)>`
              found trait `Fn<(&[&u8],)>`
note: this closure does not fulfill the lifetime requirements
  --> src/main.rs:25:16
   |
25 |     let func = |items| bounded(items);
   |                ^^^^^^^

error: implementation of `FnOnce` is not general enough
  --> src/main.rs:28:35
   |
28 |     println!("{:?}", Checker::new(&func).check(&b));
   |                                   ^^^^^ implementation of `FnOnce` is not general enough
   |
   = note: closure with signature `fn(&'2 [&u8]) -> bool` must implement `FnOnce<(&'1 [&u8],)>`, for any lifetime `'1`...
   = note: ...but it actually implements `FnOnce<(&'2 [&u8],)>`, for some specific lifetime `'2`

error: implementation of `FnOnce` is not general enough
  --> src/main.rs:28:35
   |
28 |     println!("{:?}", Checker::new(&func).check(&b));
   |                                   ^^^^^ implementation of `FnOnce` is not general enough
   |
   = note: closure with signature `fn(&[&'2 u8]) -> bool` must implement `FnOnce<(&[&'1 u8],)>`, for any lifetime `'1`...
   = note: ...but it actually implements `FnOnce<(&[&'2 u8],)>`, for some specific lifetime `'2`

For more information about this error, try `rustc --explain E0308`.
error: could not compile `playground` (bin "playground") due to 3 previous errors

我现在知道我可以用来直接存储函数指针（playground），但想调查使用闭包引起的错误。fn

fn check(check_function: fn(&[&u8]) -> bool, items: &[&u8]) -> bool {
    check_function(items)
}

这个问题还涉及闭包编译的显式注释，但是关于借用检查器的，而我在代码中没有借用两次。

我读过《鲁斯托诺米孔》的终生章节，以及这本书的终生章节。我大致了解了机制，但需要帮助进行生命周期省略和特定/一般生命周期的概念推理。

1. 为什么不够？&'c [&'c u8]&'a [&'b u8]

后者来自生命周期省略，但在我看来，如果无效，也是无效的，因此任何接收前者的函数（两者中寿命最短）也应该有效。'a'b

我不认为这是一个过于保守的检查，因为 Rustonomicon 提到引用可以重新初始化。这是我尝试解释为什么（游乐场）：

fn print(vec: &[&u8]) {
    println!("{vec:?}")
}

fn main() {
    let x = [1, 2, 3, 4];
    let mut y = vec![&x[1], &x[2], &x[3]];
    print(&y); // &y is &'b [&'a u8, &'a u8, &'a u8]
    y.insert(0, &x[0]); // lifetime of 'b is invalidated and 'c is initialized
    print(&y); // &y is &'d [&'c u8, &'a u8, &'a u8, &'a u8]
}

尽管这确实重新初始化了引用，但似乎我仍然可以通过将所有引用分别绑定到较短的生命周期（和）来运行这两个函数。print&y'b'd

2. 闭包捕获的值的生命周期是多久？

使用 rust-analyzer，它正确地推断出 的类型是 。查看错误，这也是捕获的类型：items&[&u8]

发现性状Fn<(&[&u8],)>

但是提到 HRTB 和这个解释，似乎应该对某些人进行脱糖，这里没有这样做。Fnfor<...> Fn(...)func

其他错误也暗示了在某个特定生存期（？）的生存期）内实现了闭包。这就是没有给出明确的生命周期标记的原因吗？main()

相关：生存期省略/注释不能应用于闭包。

3. 为什么用闭包注释有效？&[&u8]

这个我没有太多线索。我猜这允许编译器将捕获的值显式绑定到 HRTB，并且允许闭包足够通用。