Rust开发者不借助IDE和官方文档如何推断变量数据类型？

针对你代码中的num变量，首先可以明确类型逻辑：
你的代码中counter为Arc<Mutex<i32>>类型（对应官方示例的默认定义），调用lock()方法会返回LockResult<MutexGuard<i32>>，经过unwrap()取出Ok分支的值后，num的类型就是MutexGuard<i32>。它属于智能指针，实现了Deref/DerefMut trait，指向Mutex内部存储的i32值，因此修改内部值需要用*解引用。

没有IDE智能提示、不查文档的前提下，可以通过以下几种方法推断Rust变量类型：

• 利用编译器报错推导：故意给未知类型的变量加一个明显错误的类型标注，比如写let mut num: () = counter.lock().unwrap();，执行cargo build后，编译器会在报错信息中直接给出变量的实际类型，Rust的类型报错精度很高，会完整打印包括泛型参数在内的全类型信息。
• 逐层拆解方法调用链匹配标准库签名：从变量定义的调用链逐层向上确认每个方法的返回类型。比如这段代码的调用链是counter.lock().unwrap()：首先确认counter的定义类型是Arc<Mutex<i32>>，Mutex的lock()方法签名返回值为Result<MutexGuard<'_, T>, PoisonError<MutexGuard<'_, T>>>，而unwrap()对Result操作会取出Ok变体包裹的值，自然就能推出num是MutexGuard<i32>类型。
• 用标准库工具打印类型：直接调用std::any::type_name_of_val函数即可打印任意变量的类型，示例代码如下：

  println!("num的类型是：{}", std::any::type_name_of_val(&num));
  

  编译运行后控制台会直接输出变量的完整类型信息，不需要依赖IDE支持。
• 结合上下文操作反推类型：根据变量后续的使用逻辑反推所属类型。比如这段代码里后续对num执行了*num += 1操作，+=是数值类型的运算符，说明*num是数值类型，反推num本身是可以解引用的指针/智能指针类型，再结合使用了Mutex做并发锁的上下文，就能关联到它是Mutex的守卫智能指针MutexGuard。

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