Rust视图类型：最小化提案

问题

在Rust中，常见的一个挫折是：当你想在循环中drain一个vector并同时调用一个mut方法时，borrow checker会报错。

pub fn process_pushed_messages(&mut self) {
    for message in self.messages.drain(..) {
        // self.messages 被mut borrow
        self.process_message(message); // 错误：self被borrow
    }
}

解决方案：视图类型

视图类型扩展了struct类型，允许指定方法能访问哪些字段：

语法

在方法签名中指定字段集：

// 修改前
fn process_message(&mut self, message: String) {
    self.statistics.message_count += 1;
    // ...
}

// 修改后
fn process_message(&mut self {statistics}, message: String) {
    // self {statistics} 表示只访问statistics字段
    self.statistics.message_count += 1;
    // ...
}

工作原理

• 编译器自动ref - 方法调用时，编译器自动生成视图borrow
• borrow checker理解 - &mut self {statistics} 产生两个独立的loan：self.statistics
• 运行时无开销 - 视图类型是纯静态检查，运行时就是普通指针

详细示例

// 原始代码
pub fn process_pushed_messages(&mut self) {
    for message in self.messages.drain(..) {
        // self.messages.drain(..) -> mut-borrows self.messages
        self.process_message(message); 
        // self.process_message -> mut-borrows all of self
        // 冲突！
    }
}

// 添加视图类型后
fn process_message(&mut self {statistics}, message: String) {
    self.statistics.message_count += 1;
    // 只访问 self.statistics
}

// 现在 process_pushed_messages 可以工作：
// self.messages.drain(..) -> mut-borrows self.messages
// self.process_message -> mut-borrows self.statistics
// 不冲突！

关键约束

• 尊重隐私 - 只能指定可见的字段（私有方法最有用）
• 公开字段有限制 - MVP主要面向私有方法
• 显式指定 - 目前需要显式写字段，未来可推断

FAQ

实现难度？

不大，今年可以完成MVP

性能影响？

零运行时开销，纯静态分析

可以推断吗？

未来可以结合row polymorphism实现自动推断

为什么重要

这个提案解决了Rust最常见的挫折之一——过于保守的borrow checker。虽然有变通方法，但都很麻烦。视图类型提供了一种优雅的解决方案。

来源: smallcultfollowing.com | 探索日期: 2026-03-23