如何通过Trait同时访问两个字段（其一为可变字段）？

我遇到了Rust借用规则导致的编译错误，以下是简化后的代码：

pub fn transform_vertices_in_camera(object: &mut dyn HasVertices) {
    let vertices_transformed = object.get_vertices_transformed(); // 返回 &mut Box<[Vec3]>
    for (i, p) in object.get_vertices().iter().enumerate() { // 返回 &Box<[Vec3]>
        let result = Vec3::new(); // 数学计算逻辑
        vertices_transformed[i] = result;
    }
}

这段代码无法编译，因为首次调用get_vertices_transformed()已经可变借用了object，循环中调用get_vertices()时又尝试再次借用，触发了Rust的借用检查。

最初我把这个函数写在对象内部，直接访问字段可以正常运行，但现在我想把函数泛化，让它适用于所有实现HasVertices trait的对象，所以直接访问字段的方案不可行。

我不想用Mutex这类同步原语包装返回值，觉得在这个场景下完全没必要；也考虑过写一个返回两个数组元组的函数，但这样会让那些只需要单个数组的代码变得冗余尴尬。

另外这个场景对性能要求很高，解决方案不能包含克隆数组或者额外的缓冲数组操作。

想问下有没有可行的解决办法？还是说我必须做出妥协？有没有什么基础的错误我没注意到？

编辑：最终我采用的方案是直接把两个数组作为参数传入函数，从能访问对象具体类型的位置调用它（虽然不是理想方案，但我不想用元组返回的方式，尽管这可能是Trait场景下的最佳方案）

1. 调整Trait设计，新增一次性获取双引用的方法 #

修改HasVertices trait，添加一个方法同时返回不可变原始顶点引用和可变变换后顶点引用，通过一次借用拿到所有需要的资源，避免多次借用冲突：

trait HasVertices {
    fn get_vertices(&self) -> &Box<[Vec3]>;
    fn get_vertices_transformed(&mut self) -> &mut Box<[Vec3]>;
    // 新增方法，确保返回的是对象中不同字段的引用
    fn get_vertices_pair(&mut self) -> (&Box<[Vec3]>, &mut Box<[Vec3]>) {
        (self.get_vertices(), self.get_vertices_transformed())
    }
}

之后修改你的处理函数：

pub fn transform_vertices_in_camera(object: &mut dyn HasVertices) {
    let (vertices, vertices_transformed) = object.get_vertices_pair();
    for (i, p) in vertices.iter().enumerate() {
        let result = Vec3::new(); // 数学计算逻辑
        vertices_transformed[i] = result;
    }
}

Rust的借用检查器允许这种场景，只要Trait实现保证两个引用指向的是对象的不同独立字段，就能安全通过编译。

2. 将函数改为泛型，接受具体类型而非Trait对象 #

如果调用transform_vertices_in_camera的场景能明确知道对象的具体类型，可以把函数改成泛型形式：

pub fn transform_vertices_in_camera<T: HasVertices>(object: &mut T) {
    let vertices_transformed = object.get_vertices_transformed();
    for (i, p) in object.get_vertices().iter().enumerate() {
        let result = Vec3::new(); // 数学计算逻辑
        vertices_transformed[i] = result;
    }
}

这种情况下，编译器能精准分析出两个方法引用的是不同字段，不会触发借用冲突，同时也保留了对所有HasVertices实现的通用性。

3. 你的最终方案的合理性 #

你采用的直接传入两个数组的方案，虽然不够优雅，但在性能和借用规则之间做了务实的平衡——既没有额外内存开销，也完全规避了借用问题。如果不想修改Trait设计或使用泛型，这确实是符合性能要求的可行选择。

关于妥协的必要性 #

如果坚持要使用dyn HasVertices动态分发对象，同时不想修改Trait设计，那么确实需要做出妥协：要么接受返回元组的方式，要么采用你现在的直接传参方案。因为对于动态分发的Trait对象，编译器无法在编译期确定两个方法返回的引用指向不同字段，只能通过一次借用获取所有所需引用，或者提前拿到引用再传入函数。

内容的提问来源于stack exchange，提问作者Alice