能否让Rust编译器自动推导泛型类型的Sized约束？

Rust 中泛型类型参数默认隐式带有 Sized 约束，这符合绝大多数开发者的常规需求；如果不需要该约束，必须通过 : ?Sized 显式声明。那有没有可能让编译器自动判断泛型是否需要 Sized 约束，省去手动标注的步骤？

先看两个典型场景的代码示例：

// T 直接作为参数和返回值传递，必须具备 Sized 约束
fn fn_with_sized_type<T>(x: T) -> T { ... } 

// T 始终被引用包裹，无需具备 Sized 约束
fn fn_with_unsized_type<T>(x: &T) -> &T { ... } 

答案是目前Rust不会做这种自动推断，原因主要有三点：

• 向后兼容性：默认 Sized 是Rust早期就确立的设计规则，大量现有代码依赖这个默认行为。如果改成自动推断，会导致无数旧代码编译失败，破坏生态稳定性。
• 语义明确性：手动标注 : ?Sized 能让代码意图一目了然。开发者可以明确告知编译器「这个泛型允许未固定大小的类型」，而不是让编译器猜测。比如未来如果修改函数逻辑，直接使用了T的值而非引用，手动标注的约束能提前暴露潜在问题，避免隐性的编译错误。
• 避免边缘场景歧义：有些场景下编译器很难精准推断开发者的意图。比如函数中同时存在引用T的逻辑和间接依赖T大小的操作（比如调用 std::mem::size_of::<T>()），这时候自动推断很可能和开发者的实际需求冲突，引发不必要的调试成本。

所以现阶段，你还是需要手动通过 : ?Sized 来取消泛型的默认 Sized 约束，这是Rust在兼容性、可读性和可靠性之间做出的权衡。

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