为什么在调用结构的函数时会出现“使用未声明的类型或模块”错误？

Question

我在 Rust 中有以下代码：

trait MyTrait {
    fn get_value() -> &'static str;
}

#[derive(Debug)]
struct MyStruct;

impl MyTrait for MyStruct {
    fn get_value() -> &'static str {
        "has value"
    }
}


fn main() {
    println!("My value: {}", MyStruct::get_value());
    has_trait(MyStruct);
}

fn has_trait<T>(trt: T) where T: MyTrait + std::fmt::Debug {
    println!("{:?}", trt)
}

这段代码很好。它定义了一个特征和一个结构。该结构实现了特征；这需要实现一个功能。到目前为止一切都很好。但如果我尝试以下代码：

trait MyTrait {
    fn get_value() -> &'static str;
}

#[derive(Debug)]
struct MyStruct;

impl MyTrait for MyStruct {
    fn get_value() -> &'static str {
        "has value"
    }
}


fn main() {
    println!("My value: {}", MyStruct::get_value());
    has_trait(MyStruct);
}

fn has_trait<T>(trt: T) where T: MyTrait + std::fmt::Debug {
    println!("{:?}", trt::get_value())
}

我收到以下错误：

error[E0433]: failed to resolve: use of undeclared type or module `trt`
  --> src/main.rs:21:22
   |
21 |     println!("{:?}", trt::get_value())
   |                      ^^^ use of undeclared type or module `trt`

现在，我不太明白为什么这行不通。 trt 应该代表myStruct 的一个副本，然后它应该有自己的功能，对吧？

有趣的是，以下代码将编译：

trait MyTrait {
    fn get_value(&self) -> &'static str;
}

#[derive(Debug)]
struct MyStruct;

impl MyTrait for MyStruct {
    fn get_value(&self) -> &'static str {
        "has value"
    }
}


fn main() {
    println!("My value: {}", MyStruct.get_value());
    has_trait(MyStruct);
}

fn has_trait<T>(trt: T) where T: MyTrait + std::fmt::Debug {
    println!("{:?}", trt.get_value())
}

那么无法编译的代码到底有什么问题呢？

Answer 1

现在，我不太明白为什么那行不通。 trt 应该代表MyStruct 的一个副本，然后它应该有自己的功能，对吧？

对于 Rust 中的关联函数，这种方式不太适用。 使用标识符trt，您可以调用方法，其中trt 是接收者（self 或其变体之一，例如&self 或&mut self）。但是，get_value() 没有接收器，所以它是一个关联函数。这类似于某些语言（如 Java）中的 静态方法。与 Java 不同，Rust 中的关联函数只能通过指定该函数的类型或类型参数来调用：

fn has_trait<T>(trt: T) where T: MyTrait + std::fmt::Debug {
    println!("{:?}", T::get_value())
}

现在可以工作了，甚至不需要参数trt，因为我们只是调用T 类型的关联函数，而不是方法。 尽管trt 在此上下文中是函数参数的标识符，但编译器实际上会在与:: 标记结合后尝试将其解释为其他内容（模块名称，类型名称，...），因此给出错误消息。