为何std::num::Wrapping未实现与非包装整数类型的BitAnd trait？

背景现象 #

Wrapping 针对 &=（对应BitAndAssign trait）实现了以下重载：

• BitAndAssign<[u/i]xx>
• BitAndAssign<&[u/i]xx>
• BitAndAssign<Wrapping<[u/i]xx>>
• BitAndAssign<&Wrapping<[u/i]xx>>

但针对 &（对应BitAnd trait）仅实现了：

• BitAnd<Wrapping<[u/i]xx>>
• BitAnd<&Wrapping<[u/i]xx>>

核心原因 #

这是Rust标准库基于语义清晰性、类型设计原则和避免侵入性修改做出的选择：

1. 语义明确性优先
   Wrapping 的核心价值是提供与原生数值不同的“环绕式运算”语义。如果允许Wrapping直接与原生数值执行&运算（即实现BitAnd<[u/i]xx>），容易让开发者忽略当前运算的“环绕”特性，导致逻辑混淆。而&=是原地修改操作，Wrapping实例的上下文已经明确，接收原生数值做原地运算不会模糊语义。

2. 避免侵入原生类型实现
   Rust的运算符重载需要保证对称性：如果实现BitAnd<[u/i]xx> for Wrapping<[u/i]xx>，理论上还需要实现BitAnd<Wrapping<[u/i]xx>> for [u/i]xx才能支持3 & Wrapping(5)这样的表达式，但标准库不会给原生数值类型添加针对Wrapping的trait实现，这会破坏原生类型的封装性和独立性。

3. 引导显式语义声明
   标准库希望开发者通过显式转换明确运算语义：如果需要让Wrapping与原生数值执行按位与，只需手动将原生数值包装为Wrapping实例即可，比如Wrapping(5) & Wrapping(3)，这种写法清晰传递了“环绕运算”的意图，避免意外错误。

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