tokio::pin如何改变变量类型？为何该宏能修改外部变量类型？

首先明确：Rust中变量的类型在声明后不可修改，tokio::pin!并没有真正改变原变量的类型，它是通过Rust的**变量遮蔽（variable shadowing）**特性实现的直观效果。

具体实现逻辑 #

tokio::pin!宏的核心是创建一个同名的新变量，这个新变量的类型是Pin<&mut T>，指向原变量的可变引用。以你的示例代码为例，宏展开后的逻辑大致如下：

// 原变量：String类型
let s = String::from("abc");
// tokio::pin!(s) 展开后类似：
let mut s = s; // 将原变量转为可变绑定
let s = unsafe { Pin::new_unchecked(&mut s) }; // 创建Pin<&mut String>类型的新同名变量

这里的unsafe是安全的：tokio::pin!会确保原变量后续无法被移动——新的Pin变量持有原变量的可变引用，且原变量被遮蔽后无法直接访问，满足Pin对"不可移动"的约束要求。

对应你的代码现象 #

• 两次调用print_type_of(&s)，第一次输出原String类型，第二次输出的是被遮蔽后的Pin<&mut String>类型。
• test(s)报错，因为此时的s已经是Pin类型，不再是原String类型，无法匹配函数参数。
• test2(s)可以正常调用，因为参数类型正好是Pin<&mut String>，和被遮蔽后的变量类型匹配。

本质总结 #

tokio::pin!并没有修改原变量的类型，只是利用Rust的变量遮蔽特性，用一个同名的Pin类型变量覆盖了原变量，让后续代码中对s的引用都指向这个新的Pin变量，从而产生"类型改变"的直观效果。

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