generics - 将 trait 中方法的返回类型与实现该 trait 的类型绑定(bind)

Question

这个问题在这里已经有了答案:





Why is the `Sized` bound necessary in this trait?

(2 个回答)


1年前关闭。




我有一个特质 Vertex我想要几个结构来实现。我想要求实现该特征的结构具有返回该结构的向量的方法。所以实现看起来像这样。

struct Point {
    // ...
}

impl Vertex for Point {
    fn from_byte_buffer(buffer: &[u8]) -> Vec<Self> {
        unimplemented!()
    }
}

这样你就可以把它叫做 Point::from_byte_buffer(...) .但是，我不知道如何在特征中编写方法签名。这是我最好的猜测。

trait Vertex {
    fn from_byte_buffer(buffer: &[u8]) -> Vec<Self>;
}

但是，这给了我一个错误，

the size for values of type `Self` cannot be known at compilation time

这有点道理，因为在这种情况下，Self 不是一个具体的类型。我想过做这样的事情，

trait Vertex {
    fn from_byte_buffer<V: Vertex>(buffer: &[u8]) -> Vec<V>;
}

但这与实现该特征的具体类型无关。我需要使用关联类型或其他东西吗？

Answer 1

所有 Rust 特征都有一个隐含的 ?Sized绑定(bind)，所以:

trait Trait {}

脱糖剂:

trait Trait where Self: ?Sized {}

这是默认完成的，因此可以将 trait 转换为 trait 对象。您可以通过设置显式 Sized 来覆盖此默认值。绑定(bind)在特征上，例如

trait Trait: Sized {}

或者可选地设置显式 Sized绑定(bind)在特定的特征项上，例如

trait Trait {
    fn func() where Self: Sized {}
}

后一种方法的好处是您仍然可以将上述特征转换为特征对象(尽管您将无法调用该特定的 Sized 方法)。
将第一个解决方案应用于您的示例会产生:

trait Vertex: Sized {
    fn from_byte_buffer(buffer: &[u8]) -> Vec<Self>;
}

struct Point;

impl Vertex for Point {
    fn from_byte_buffer(buffer: &[u8]) -> Vec<Self> {
        todo!()
    }
}

playground
应用第二种解决方案产生:

trait Vertex {
    fn from_byte_buffer(buffer: &[u8]) -> Vec<Self> where Self: Sized;
}

struct Point;

impl Vertex for Point {
    fn from_byte_buffer(buffer: &[u8]) -> Vec<Self> {
        todo!()
    }
}

playground
两者都可以按照您的预期编译和工作。需要标记的原因 Self如 Sized首先是因为 Vec只能包含在编译时已知大小的项目。
如果您想更彻底和深入地了解 Rust 中的大小如何工作，我建议您阅读 Sizedness in Rust (免责声明:我写的)。