rust 中引用与值的显式注释

Question

所以在 Rust 中，我对值与引用的类型推断能力感到困惑。例如，

fn main() {
    let s1 = String::from("h1");
    let s2 = &s1;
    println!("string is {}", s1);
} 

借用检查器允许编译，但我不知道为什么？ s2 这里是一个值还是被推断为对 s1 的引用？

在 C++ 中，通过引用初始化新值会创建一个副本，除非该变量被显式声明为引用：

#include <string>

int main(int argc, char const* argv[]) {
    std::string s1("Hello");
    std::string& s2 = s1; // reference
    std::string s3 = s2; // copy
}

所以在 rust 中，我的问题是，类型推断是否也适用于引用与值的情况？如果是这样，什么时候需要将变量显式声明为引用？

Answer 1

我的类型是什么？

s2 的类型是&std::string::String，更常用的简单表示为&String。

s2 是以（只读）引用（&）的形式借用s1，并且会阻止s1 在@987654330 时被写入（如果它是可变的） @ 在范围内。

我以后如何自行确定？

Sample code on Playground

如果您想要求编译器显示特定绑定的类型，一个常见的习惯用法是使用let () = some_binding;。编译器会给你一个错误，显示some_binding的类型。

我注意到编译器似乎通过省略前导 & 来“提供帮助”，因此当您熟悉 Rust 时，我建议您尝试调用具有错误类型的虚拟函数，这会显示绑定的完整类型。在这里，编译器确实显示了调用参数的完整类型，您可以看到它是&String。

显式声明类型（针对 OP 的评论）：

关于在声明的 let 一侧显式声明类型，如在 C++ (see 'AAA') 中，Rust 支持类似的东西：

let a: u32 = 42;

// equvialent
let b = 42_u32;

对于构造类型，类型将是类型构造函数返回的任何类型：

// seems somewhat redundant (since `String::new()` returns `String`) 
// but is perfectly legal
let c: String = String::new("Hello, world!");

// equivalent
let d = String::new("Hello, world!");

所以只要编译器可以从右侧明确确定类型，就可以推断出let的类型。

注意：const 绑定的类型规范仍然是强制性的：

// error: despite the explicit type declaration on the RHS, the type is still required
//const foo = 42_u32;

// since the type must be explicitly defined specifying again on the RHS is redundant
// (but legal):
const foo: u32 = 42_u32;

// Rustic (idiomatic) for `const`
const bar: u32 = 42;