Rust中的类子类型

问题描述 投票:0回答:2

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版本,无论如何我需要做。

rust upcasting subtyping
2个回答
3
投票

使用组合而不是继承。

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旨在提供更好的东西,以及之前的讨论12

我认为做一个impl<T> for Base<T>会产生大量相同功能的副本,因此组合不是真正的选择。

我不确定这个语法试图显示什么,因为Base没有泛型类型。确实,泛型类型对于每个具体的类型参数集都是单形的,但是我没有看到/知道这与C ++有什么不同。我认为Rust版本的重量会稍微轻一点,因为你无法从Derived升级到Base,所以编译器不必维护那些不变量。

所有这些都假设有一些代码可以重用。在许多情况下,你最好编程到一个接口,在Rust中用traits表示。您可以将这两种方法结合起来 - 将可重复使用的小代码段作为组件提取,将它们捆绑在一起形成聚合,并实现聚合类型的特征。


0
投票

我想答案是Rust还没有子类型。解决子类型问题的种类并不总能通过组合,泛型或特征来解决。问题是known to the devs并且已经提供了解决方案,但还没有任何决定。

© www.soinside.com 2019 - 2024. All rights reserved.