generics - "no field on type"泛型类型实现错误

Question

我正在尝试制作一个项目，但由于不断弹出的错误，我无法取得进展。我试图将其抽象化，以便为您提供一个更简单的示例。谁能告诉我为什么在 get_value 函数中，在 Element 的实现中，无法获取 Element 的值。应该是吧？因为我明确表示该实现是针对 Element 的...

struct Element<T> {
    value: T,
}

trait HasValue<T> {
    fn get_value(&self) -> T;
}

impl<Element> HasValue<Element> for Element {
    fn get_value(&self) -> Element {
        self.value // Error!
    }
}

error[E0609]: no field `value` on type `&Element`
  --> src/lib.rs:11:14
   |
9  | impl<Element> HasValue<Element> for Element {
   |      ------- type parameter 'Element' declared here
10 |     fn get_value(&self) -> Element {
11 |         self.value // Error!
   |              ^^^^^

Answer 1

Element不是Element 。也就是这个Element :

struct Element<T> {
//     ^^^^^^^

和这些不一样Element s:

impl<Element> HasValue<Element> for Element {
//   ^^^^^^^           ^^^^^^^      ^^^^^^^
    fn get_value(&self) -> Element {
    //                     ^^^^^^^

第一个是一个具体的(好吧，通用的)结构，名称为 Element 。第二个是名称为 Element 的通用参数。 ，可以是结构 Element但也可以是任何其他类型，例如 i32或String 。您可以重命名其中一个而不影响另一个。

泛型参数遮蔽结构，因为它具有相同的名称，并且位于impl内Element将引用它而不是结构。因为它可以是任何类型，所以不一定有 value字段 - 因此编译器会提示。

我想你真正想要的不是“对于任何类型”，而是“对于任何Element<T>类型”。即只有T应该是通用的，而不是类型本身。要表达你应该这样写:

impl<T> HasValue<T> for Element<T> {
    fn get_value(&self) -> T {
        self.value
    }
}

现在您将收到另一个错误，因为您正在移动 self.value ，但那是另一回事。