为何Rc已实现负trait但负trait尚未进入Rust稳定版？

你看到的这两个负impl并不是基于Rust稳定版尚未支持的通用负impl语法编写的普通代码，而是Rust编译器针对Rc类型内置的特殊线程安全约束，只是在文档中用负impl的形式做了直观展示。

具体原因如下：

• Rc作为单线程引用计数指针，内部计数未使用原子操作，天生无法安全跨线程传递或共享，因此必须明确禁用Send和Sync trait。
• 从Rust 1.0稳定版发布开始，编译器就通过内部逻辑实现了对Rc禁用Send/Sync的约束，这个行为一直是稳定且固定的。
• 后来为了让文档更清晰易懂，标准库团队用负impl的语法来呈现这一约束，同时保留了#[stable]属性——因为“Rc不实现Send/Sync”这个核心行为从1.0起就是稳定的，和通用负impl语法的稳定性无关。

需要区分的是：通用负impl语法（允许普通开发者自行编写!Trait实现）确实尚未进入稳定版，但标准库中Rc的这两个标记是编译器内置的特殊处理，并非使用通用负impl语法，所以可以标注为稳定。

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