1

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>会产生大量相同功能的副本，因此组合并不是一个真正的选择。

我可能应该指出，选择上述实现的原因很简单，即它允许更安全的向上转换版本，无论如何我都需要这样做。

4

2 回答 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可以做得更好，使键盘上的组合变得像继承一样简单。有一个 RFC旨在提供更好的东西，以及之前的讨论1、2。

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

我不确定这种语法试图显示什么，因为Base它没有泛型类型。确实，对于每个具体的类型参数集，泛型类型都是单态的，但我看不出/不知道这与 C++ 有什么不同。我认为 Rust 版本的重量会稍微轻一些，因为您不能从 a 向上转换为Deriveda，Base因此编译器不必维护这些不变量。

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

于 2016-06-19T17:49:55.317 回答
0

我想答案是 Rust 中还没有子类型。子类型解决的问题类型并不总是可以通过组合、泛型或特征来解决。开发人员知道这个问题，并且已经提供了解决方案，但尚未做出任何决定。

于 2016-06-24T09:17:23.490 回答