C ++允许类子类型,这非常方便,因为您可以使用为派生类实现的基类函数。 Rust看起来没有那样的东西。该功能似乎在某些时候可用,但从那以后就被删除了。这在Rust中不可能吗?如果是的话,有没有计划拥有此功能?
我想要做的是定义一个继承自另一个结构的结构,在C ++中看起来像:
struct Base {
int x;
int y;
void foo(int x, int y) { this->x = x; this->y = y; }
}
struct Derived: public Base {
...
}
void main() {
Derived d;
d.foo();
}
在我看来它的方式,在Rust中你必须写这样的东西,以便为所有'派生'结构提供相同的功能:
struct Base<T> {
x: i32,
y: i32,
derived: T
}
impl<T> Base<T> {
fn foo(&mut self, x: i32, y: i32) {
self.x = x;
self.y = y;
}
}
我认为做一个impl<T> for Base<T>
会产生大量相同功能的副本,因此组合不是真正的选择。
我应该指出,选择上面的实现的原因很简单,它允许更安全的upcasting版本,无论如何我需要做。
使用组合而不是继承。
struct Base {
x: u8,
y: u8,
}
impl Base {
fn foo(&mut self, x: u8, y: u8) {
self.x = x;
self.y = y;
}
}
struct Derived {
base: Base,
}
impl Derived {
fn foo(&mut self, x: u8, y: u8) {
self.base.foo(x, y);
}
}
fn main() {
let mut d = Derived { base: Base { x: 1, y: 3 } };
d.foo(5, 6);
}
尽管如此,Rust可以更好地使键盘上的合成变得像继承一样容易。有a RFC旨在提供更好的东西,以及之前的讨论1,2。
我认为做一个
impl<T> for Base<T>
会产生大量相同功能的副本,因此组合不是真正的选择。
我不确定这个语法试图显示什么,因为Base
没有泛型类型。确实,泛型类型对于每个具体的类型参数集都是单形的,但是我没有看到/知道这与C ++有什么不同。我认为Rust版本的重量会稍微轻一点,因为你无法从Derived
升级到Base
,所以编译器不必维护那些不变量。
所有这些都假设有一些代码可以重用。在许多情况下,你最好编程到一个接口,在Rust中用traits表示。您可以将这两种方法结合起来 - 将可重复使用的小代码段作为组件提取,将它们捆绑在一起形成聚合,并实现聚合类型的特征。
我想答案是Rust还没有子类型。解决子类型问题的种类并不总能通过组合,泛型或特征来解决。问题是known to the devs并且已经提供了解决方案,但还没有任何决定。