Move Expressions
6 months ago
- #Rust
- #closures
- #ergonomics
- Move表达式被提议作为Rust中显式捕获子句的替代方案，可提升代码人体工程学和可读性。
- 闭包或Future中的`move($expr)`语法会创建被移入闭包的临时值，从而简化捕获管理。
- 示例用法展示在闭包中用直接的`move(self.some_value.clone())`替代`let _some_value = self.some_value.clone();`。
- 多个克隆操作可在闭包内处理，例如针对`FnMut`闭包的`move(tx.clone()).clone()`。
- 该构想源于社区讨论，由@simulacrum提出`move`关键字，改进了早期`super`关键字的建议方案。
- Move表达式使闭包更具'连续性'，通过精确控制捕获行为来契合Rust的底层模型。
- 该提案建议从move表达式开始教学闭包，将`move ||`作为默认捕获所有变量的便捷方式。
- 前缀形式的`move($expr)`比后缀形式`$expr.move`更受青睐，因其能更清晰地表达求值时机和作用域划分。
- Move表达式被视为实现Rust'既足够底层可用于内核开发，又足够友好可用于GUI开发'目标的重要一步。
- 该提案的核心优势在于延续了Rust现有设计的简洁性和普适性。