Rust 2024 中 `impl Trait` 的变更
内容提要
Rust 2024将改变impl Trait在返回位置的默认行为，允许隐藏类型使用范围内的任何泛型参数。引入了一种新的语法“use bound”来明确声明可以使用的类型。这些改变旨在简化impl Trait，并解决与Rust的其他部分存在的可用性问题和不一致性。新的默认行为将默认允许使用生命周期，并且use bound语法提供了更多对可以使用的泛型参数的控制。然而，use bound语法仍然存在一些实现限制。总体而言，这些改变将使Rust代码更加灵活和易于理解。
延伸解读
迁移到 Rust 2024 的注意事项
Rust 2024 改变了 impl Trait 的默认捕获行为，允许隐藏类型使用作用域内的任何泛型参数。这可能导致调用方代码出现编译错误，因为返回类型现在可能捕获输入生命周期。例如，函数 indices 在 Rust 2021 中不捕获 slice，但在 Rust 2024 中默认会捕获，导致调用方在迭代器使用期间无法修改数据。使用 cargo fix 可以自动迁移，但手动迁移时需注意此类变化。
use bound 语法及其当前限制
use bound 语法（如 impl Trait + use<'x, T>）允许显式声明隐藏类型可以使用的泛型参数，提供了更精确的控制。然而，目前该语法存在实现限制：必须至少包含类型参数，不能只指定生命周期或使用 use<>。例如，对于不捕获任何泛型参数的函数，理想情况下应写 use<>，但当前只能写 use<T> 或使用 'static 边界作为替代。这些限制是暂时的，预计未来会解除。
新默认行为对代码灵活性的影响
Rust 2024 的新默认行为使返回位置的 impl Trait 可以捕获任何作用域内的泛型参数，这简化了大多数代码，减少了之前常见的“隐藏类型捕获生命周期”错误。同时，它保留了函数实现变更而不破坏调用方的灵活性。例如，函数 indices 现在默认捕获 slice，这意味着未来可以修改其实现以在返回类型中使用 slice，而无需更改签名。这种设计旨在解决旧规则中的不一致性和可用性问题。
Q&A
Rust 2024中`impl Trait`的默认行为有什么变化？
Rust 2024中，`impl Trait`在返回位置的默认行为将允许使用范围内的任何泛型参数，而不仅仅是类型。
什么是`use bound`语法，它的作用是什么？
`use bound`语法用于明确声明可以在`impl Trait`中使用的类型和生命周期，提供了更大的控制能力。
Rust 2024的更新如何解决现有`impl Trait`的可用性问题？
Rust 2024的更新通过允许返回位置的`impl Trait`使用任何范围内的泛型参数，简化了使用方式，解决了用户常遇到的错误。
在Rust 2024中，如何处理不捕获任何引用的情况？
对于不捕获任何引用的情况，可以使用`'static`边界来声明返回类型不捕获引用。
Rust 2024的`impl Trait`变更对现有代码有什么影响？
大多数现有代码在迁移到Rust 2024时无需修改，更新将避免混淆错误，提升代码的灵活性。
Rust 2024中`impl Trait`的实现限制是什么？
当前，`use<>`语法必须包含类型参数，这限制了其灵活性，但这一限制预计会在未来解除。
