C++允许类子类型,这非常方便,因为您可以在派生类中使用为基类实现的函数。铁锈似乎没有这样的东西。该功能似乎在某一时刻可用,但后来被删除。这在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>会产生大量相同函数的副本,所以组合并不是一个真正的选择。
我可能应该指出,选择上面的实现是因为它允许一个更安全的向上转换版本,这是我无论如何都需要做的。
发布于 2016-06-20 01:49:55
使用组合而不是继承。
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中用表示。您可以结合这两种方法-提取可重用的小块代码作为组件,将它们捆绑在一起形成聚合,并为聚合类型实现特征。
https://stackoverflow.com/questions/37894776
复制相似问题