在 Rust 中匹配参数化类型

Question

在一个 Rust 程序中，我有一个用例，我想打印一个数字或管道分隔的数字向量，因此这个简单的包装枚举：

pub enum OneOrMore<T> {
  One(T),
  More(Vec<T>)
}

效果很好。但是后来我想把格式逻辑移到OneOrMore类型中，所以我尝试了：

impl<T: Show> Show for OneOrMore<T> {
  fn fmt(&self, f: &mut Formatter) -> Result {
    match self {
      One(x) => x.fmt(f),
      More(xs) => /* vec_join(xs, "|") or whatever */,
    }
  }
}

由于impl 是参数化的，因此它需要One<T>，但我的代码描述的是One<_>。问题是我无法弄清楚将类型参数放在匹配臂内的位置。 syntax guide 没有给出参数化类型匹配的示例，fmt 本身不接受类型参数，而且我所有的盲目猜测（One(x: T)、One<T>(x) 等）都不是有效的 Rust。有什么想法我应该指出火柴臂的类型吗？

Answer 1

在match 表达式中，self 的类型为&OneOrMore<T>，但手臂图案的类型为OneOrMore<T>；即您在参考上匹配，但手臂不是参考。

您可以将模式更改为引用：

impl<T: Show> Show for OneOrMore<T> {
  fn fmt(&self, f: &mut Formatter) -> Result<(), Error> {
    match self {
      &One(ref x) => x.fmt(f),
      &More(ref xs) => /* ... */,
    }
  }
}

或者您可以通过取消引用 self 来避免重复 &：

impl<T: Show> Show for OneOrMore<T> {
  fn fmt(&self, f: &mut Formatter) -> Result<(), Error> {
    match *self {
      One(ref x) => x.fmt(f),
      More(ref xs) => /* ... */,
    }
  }
}

请注意，在这两种情况下，我们都需要在x 和xs 绑定上添加ref 关键字，以创建对OneOrMore 内部的引用。换句话说，没有ref，x 和xs 将是T 类型；对于ref，它们的类型为&T。如果没有ref，编译器会抱怨我们试图将一个值移出OneOrMore，这是不允许通过借用的。