Rust 会优化掉未使用的函数参数吗？

Question

我有一个类型的函数

f: fn(x: SomeType, y: Arc<()>) -> ISupposeTheReturnTypeDoesNotMatter

编译时（优化或不优化），y 会被优化掉吗？

y的意图是限制f的运行实例数，如果y被引用次数过多，f的调用者将不会调用f直到引用计数y 的值变小了。

编辑：澄清我的意图

目的是控制正在运行的http请求的数量（由上面的f表示），伪代码如下所示：

let y = Arc::new(());
let all_jobs_to_be_done = vector_of_many_jobs;
loop {
    while y.strong_count() < some_predefined_limit {
        // we have some free slots, fill them up with instances of f,
        // f is passed with a clone of y,
        // so that the running of f would increase the ref count,
        // and the death of the worker thread would decrease the ref count
        let work = all_jobs_to_be_done.pop();
        let ticket = y.clone();
        spawn_work(move || {f(work, ticket)});
    }

    sleep_for_a_few_seconds();
}

这个看似 hacky 的解决方法的原因是我找不到满足我需求的库（使用有限数量的异步 (tokio) 工作者使用不断变化的工作队列，并在作业失败时重新排队工作）

Answer 1

Rust 会优化掉未使用的函数参数吗？

是的，LLVM（rustc 的后端）能够在删除未使用的变量时优化掉它们并不会改变程序的行为，尽管没有任何保证它会这样做。 rustc 在 LLVM 之前也有一些通过，但同样适用。

了解究竟什么才是程序行为是一件棘手的事情。但是，引用计数机制中使用的多线程原语通常是无法出于充分理由优化掉的东西。有关更多信息，请参阅 Rust 参考（其他可能有帮助的资源是 nomicon、不同的 GitHub 存储库、Rust 论坛、Rust 使用的 C++11 内存模型等）。

另一方面，如果你问的是语言在遇到未使用的参数时的语义是什么，那么不，Rust 不会忽略它们（希望永远不会！）。

y 会被优化掉吗？

不，是有副作用的类型。例如，删除它需要运行重要的代码。

y的目的是限制f的运行实例数

这样的安排不会限制运行f 的线程数，因为Arc 不是互斥体，即使它是某种互斥体，您也可以构建任意数量的独立线程。