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

2023-11-26

可变性可以成为特征中的通用参数吗?我想实现类型的可变和不可变变体的特征,而不必复制和粘贴impl block.



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 {…}
  

可变性可以成为特征中的通用参数吗?

No. ^_^

这是关于这个问题的一些详细讨论(内部结构, Reddit).

我认为总的来说,人们认识到当前的状态并不理想,但目前也没有太大的限制。人们担心它的具体实施方式以及各种方法的合理性。有些人想知道,如果将更高种类的类型 (HKT) 添加到 Rust 中,是否可以解决问题。

也可以看看:

  • 如何避免在 Rust 中为可变和不可变引用编写重复的访问器函数?
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

如何实现任何可变性的特征? 的相关文章

随机推荐