将不可变引用转换为*mut指针无需mut修饰是Rust的预期行为吗？

结论 #

这是Rust的预期设计，核心逻辑是safe Rust的借用规则仅约束引用类型（&T/&mut T），裸指针（*const T/*mut T）的转换、别名规则校验由unsafe块的编写者自行负责。

1. 裸指针本身不携带可变性权限 #

• Rust的可变性、别名规则是作用于引用类型的：&T代表不可变引用，同一时间可以存在多份，规则上禁止修改指向数据；&mut T代表可变独占引用，同一时间只能存在一份，允许修改指向数据。
• 裸指针*const T和*mut T本质上只是代表内存地址的整数，类型系统不会限制两者之间的转换，你可以在safe代码中任意做两者的类型转换，不需要mut修饰符。只有对裸指针解引用的操作才需要放在unsafe块中，此时你需要自行保证操作符合Rust的内存安全规则。

2. 示例代码已经触发未定义行为（UB） #

你给出的示例能正常输出1和0只是debug模式下编译器未做优化的偶然结果，并不代表代码合法：

将&T类型指向的不可变数据，通过*mut T指针进行修改，属于明确的未定义行为，Rust编译器不会对这类unsafe操作的正确性做保证，在release模式下可能出现逻辑异常、程序崩溃等任意不符合预期的结果。

你在why函数中没有使用&mut NonMut作为参数，却修改了参数指向的数据，属于函数API契约撒谎：对外暴露的签名承诺不会修改输入的不可变引用，内部却通过unsafe代码违反了承诺，这是unsafe代码编写者的错误，而非Rust语言设计的问题。

3. 该设计的核心合理性 #

Rust允许safe代码中自由转换*const T和*mut T，主要是为了适配跨语言交互场景：

• 大量C语言API的参数定义为*mut T，但实际内部不会修改该指针指向的数据，只是C的类型系统没有区分可变/不可变指针的能力。如果Rust强制要求转换*mut T必须持有可变引用，会导致这类FFI调用被迫要求传入&mut T，无端增加使用成本，也不符合实际语义。
• 裸指针的安全校验全部转移到unsafe块中，既保证了safe代码的零成本抽象和内存安全，也给了unsafe代码足够的灵活性处理底层场景，权责划分清晰。

针对你最初的疑问 #

你声明可变引用却收到mut非必需的警告，是因为你做的裸指针转换操作本身在safe代码中确实不需要可变引用。但如果你需要合法修改结构体的数据，正确的做法是将why函数的参数改为&mut NonMut，通过合法的可变引用获取*mut指针，此时就不会有多余的mut警告，也符合Rust的安全规则。

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