为什么Rust需要所有权注释而不是推断它？[重复]

Question

为什么Rust不能完全推断其变量的所有权？为什么需要注释？

Answer 1

如果这是可能的，我相信这将是一个可怕的用户体验，因为：

• 如果编译器无法推断对象的所有权，那么错误几乎无法理解（就像C模板链接中的试错方法）

然而，如果您难以解决多态性的缺乏，通常可以使用所有权类型对方法进行参数化，这可能被认为是推理的一种明确的替代方法，例如：

fn print_str(s: impl AsRef<str>) {
    println!("{}", s.as_ref());
}

fn main() {
    print_str("borrowed");
    print_str("owned".to_owned());
}