特征名称后面的特征是什么意思？

Question

我在阅读 Rust 时遇到了这个 trait 定义：

trait Enchanter: std::fmt::Debug {
    ...
}

由此我了解到特征的名称是Enchanter ，但我不明白std::Format:Debug部分意味着什么，因为它也是一个特征（我认为）。

Answer 1

这是声明一个supertrait 。 它相当于：

trait Enchanter
where
    Self: std::fmt::Debug,
{
}

简而言之，它需要任何想要实现Enchanter的类型也实现std::fmt::Debug 。 否则， 将引发错误：

error[E0277]: `S` doesn't implement `Debug`
 --> src/lib.rs:4:6
  |
4 | impl Enchanter for S {}
  |      ^^^^^^^^^ `S` cannot be formatted using `{:?}`
  |
  = help: the trait `Debug` is not implemented for `S`
  = note: add `#[derive(Debug)]` to `S` or manually `impl Debug for S`
note: required by a bound in `Enchanter`
 --> src/lib.rs:1:18
  |
1 | trait Enchanter: std::fmt::Debug {}
  |                  ^^^^^^^^^^^^^^^ required by this bound in `Enchanter`