为什么 Clippy 建议传递 Arc 作为参考？

Question

我正在检查我的代码中的 Clippy 发现，发现 the pedantic rule needless_pass_by_value 可能是误报。

上面写着：

警告：此参数是按值传递的，但不会在函数体中使用

帮助：考虑改为参考：&Arc<Mutex<MyStruct>>

由于克隆Arc 只是引用计数，移动Arc 应该不是坏主意。发送参考而不是 Arc 的值真的会在质量和性能方面产生任何影响吗？

#![warn(clippy::pedantic)]

use std::sync::{Arc, Mutex};

fn main() {
    let my_struct = MyStruct { value: 3 };
    let arc = Arc::new(Mutex::new(my_struct));

    arc_taker(arc.clone());
}

fn arc_taker(prm: Arc<Mutex<MyStruct>>) {
    prm.lock().unwrap().do_something();
}

struct MyStruct {
    value: i32,
}

impl MyStruct {
    fn do_something(&self) {
        println!("self.value: {}", self.value);
    }
}

Playground

Answer 1

调用arc_taker(arc.clone()) 会增加引用计数，从arc_taker 返回会再次减少引用计数。在这种情况下这是没有用的，因为main 的arc 变量已经在整个调用期间保持Arc 处于活动状态。对它的引用就足够了。无需增加和减少引用计数。

在您的具体示例中，arc_taker 甚至不关心它是否由Arc 管理。它只关心Mutex 到lock，所以为了减少你的功能限制，只需使用&Mutex<MyStruct>。

如果你想对它做任何Arc 特定的事情，比如获取weak_count 或其他东西，那么使用&Arc<..> 是有意义的。如果您的函数将保留 Arc 的克隆，那么只有按值获取 Arc 才有意义，因为调用者可以决定通过调用 .clone() 来给您额外的引用（从而碰撞引用计数），或者给你它自己的Arc 的所有权（因此不会增加引用计数）。