为什么Rust中`Box::new(*my_string)`代码无法通过编译？

1. Sized trait的核心含义 #

• Rust中Sized是标记trait，用来标识类型的内存大小可以在编译阶段确定。所有泛型参数默认会自动带上Sized约束，只有显式声明?Sized才会取消这个默认约束。
• str属于动态大小类型（DST），它的实际长度由存储的内容决定，编译阶段无法确定固定大小，因此没有实现Sized trait，不能直接作为栈上的值存在，也不能直接作为普通函数的入参传递。

2. Box::new(*my_string)编译失败的原因 #

你看到Box的定义是Box<T: ?Sized>，这仅表示Box本身支持持有编译期大小不确定的类型，不代表Box的所有关联方法都支持非Sized的泛型参数：

• Box::new方法的签名是fn new(x: T) -> Box<T>，它的泛型参数T没有声明?Sized，默认要求T实现Sized trait，入参必须是编译期大小确定的类型。
• 代码中*my_string是对String类型的解引用操作，得到的是str类型的值，不符合Box::new的入参要求，同时普通函数入参本身也要求编译期大小确定，因此触发了两个相关的E0277报错。

3. into_boxed_str()正常编译的原因 #

into_boxed_str是String类型的原生方法，绕开了需要传递str类型值的逻辑：

• 它不会在栈上生成str类型的值，而是直接复用String已经在堆上分配的内存空间，将String持有的堆指针、长度信息直接转换为Box<str>的胖指针元数据。
• 最终得到的Box<str>本身是固定大小的胖指针（包含两个usize长度的字段：堆地址、字符串长度），编译期大小确定，可以正常在栈上存储和传递。

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