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或{{ 1}}）。但是，&mut self没有接收器，因此它是一个关联函数。这类似于Java等某些语言中的静态方法。与Java不同，Rust中的关联函数只能通过使用该函数指定type或type参数来调用：

get_value()

这现在可以工作，甚至不需要参数fn has_trait<T>(trt: T) where T: MyTrait + std::fmt::Debug { println!("{:?}", T::get_value()) }，因为我们只是调用类型为trt的关联函数，而不是方法。尽管在这种情况下T是函数参数的标识符，但编译器实际上一旦与trt标记结合使用，便会尝试将其解释为其他名称（模块名称，类型名称...），因此给出了错误消息。

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

1 个答案: