Rust：为比较长度的通用函数定义特征

Question

所以我想写一个这样的函数：

fn is_longer_than<T>(thing: T, threshold: int) -> bool {
    thing.len() > threshold 
}

一般来说，我对 rust 和静态类型/泛型还很陌生，但据我了解，您需要使用一个特征来约束 T，在这种情况下，实现方法 len

我试图做这样的事情：

trait HasLength {
    fn len(&self) -> int
}

fn is_longer_than<T>(thing: HasLength, threshold: int) -> bool {
    thing.len() > threshold 
}

但这不起作用。我错过了什么？我猜有一个涵盖这种情况的预定义特征？即便如此，有没有办法定义它（为了学习）

Answer 1

您确实需要将T 限制为特征HasLength，这是通过<T: HasLength> 之类的语法完成的。

trait HasLength {
    fn len(&self) -> int;
}

fn is_longer_than<T: HasLength>(thing: T, threshold: int) -> bool {
    thing.len() > threshold 
}

这声明函数is_longer_than 采用具有HasLength 实现的任何类型T。请注意，您必须为您可能想要传递给is_longer_than 的每种类型定义一个实现（使用impl）。

或者，函数可以定义为：

fn is_longer_than2(thing: &HasLength, threshold: int) -> bool {
    thing.len() > threshold 
}

这声明了一个接受 trait 对象 的函数，该对象将包括对数据的引用和对 trait 的动态调度表的引用。您仍然需要定义适当的impl 才能创建特征对象。

这两种形式的区别在于第一种形式将专门用于每种类型，也就是说，将为与函数一起使用的每种类型编译不同版本的函数。第二种形式更像是Java等语言中的OO-code——只会编译一个版本的函数，但是这个版本必须使用动态调度表来调用len。

以下是 HasLength 特征的示例 impl，它将 i32 的长度定义为表示它所需的 base-10 位数：

impl HasLength for i32 {
  fn len(&self) -> int { self.to_string().len() as int }
}