如何实现任何可变性的特征？

Question

可变性是特征中的通用参数吗？ 我想为一个类型的可变和不可变变量实现一个特性，而不必复制和粘贴impl块。

trait Foo<T> {…}

impl<T> Foo for *const T {…}
impl<T> Foo for *mut T {…same thing again…}

一厢情愿的伪代码：

trait Foo<T> {…}

impl<T, Mutability> Foo for *Mutability T {…}

Answer 1

可变性是特征中的通用参数吗？

没有。^ _ ^

这里有一些关于此事的详细讨论（ Internals ， Reddit ）。

我认为一般人都认识到目前的状态并不理想，但目前也不是非常严格的限制。 人们关注的是如何实施以及各种方法的合理性。 有些人想知道更高级的类型（HKTs）是否可以解决问题，如果它们被添加到Rust中。

也可以看看：

• 如何避免在Rust中为可变和不可变引用编写重复的访问器函数？