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

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

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

没有.^ _ ^

以下是关于此事的一些详细讨论(论坛,Reddit).

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