无法创建使用文字零的泛型函数

Question

我正试图编写一个类似于内置范围的Rust函数，但我想要一个只返回X个数字的函数，并将其作为列表返回，这就是为什么我试图创建这个函数：extern crate num；

use num::Integer;

fn positions<T: Integer>(start: T, step: T, len: T) -> Vec<T> {
    (0..len).map(|i| start + step * i).collect()
}

fn main() {
    println!("{:?}", positions(10, 2, 10));
}

除了我收到一个编译器错误：

error[E0308]: mismatched types
 --> src/main.rs:6:9
  |
6 |     (0..len).map(|i| start + step * i).collect()
  |         ^^^ expected integral variable, found type parameter
  |
  = note: expected type `{integer}`
             found type `T`
  = help: here are some functions which might fulfill your needs:
          - .div_floor(...)
          - .gcd(...)
          - .lcm(...)
          - .mod_floor(...)

error[E0308]: mismatched types
 --> src/main.rs:6:37
  |
6 |     (0..len).map(|i| start + step * i).collect()
  |                                     ^ expected type parameter, found integral variable
  |
  = note: expected type `T`
             found type `{integer}`

Answer 1

问题是0。我现在还不清楚确切的规则，但让我们概括一下：0是某种特定的整数类型，它可能与T是什么，也可能不是什么。因此，编译器无法计算出范围的类型参数应该是什么。

您可以通过使用Zero:：Zero：

fn positions<T: Integer>(start: T, step: T, len: T) -> Vec<T> {
    (T::zero()..len).map(|i| start + step * i).collect()
}

这使编译器有足够的余地来推断range的两个参数属于同一类型。但是，这仍然不足以将Range用作迭代器：

error: no method named `map` found for type `std::ops::Range<T>` in the current scope
 --> src/main.rs:8:22
  |
8 |     (T::zero()..len).map(|i| start + step * i).collect()
  |                      ^^^
  |
  = note: the method `map` exists but the following trait bounds were not satisfied: `T : std::iter::Step`, `&'a T : std::ops::Add`, `std::ops::Range<T> : std::iter::Iterator`

不幸的是，从Rust 1.17开始，Steptrait不稳定，因此目前没有使用稳定的Rust解决此问题的好方法。

使用不稳定的Rust，您可能需要Step的实现：

#![feature(step_trait)]

extern crate num;

use num::Integer;

fn positions<T>(start: T, step: T, len: T) -> Vec<T>
    where T: Integer + std::iter::Step + Copy,
          for<'a> &'a T: std::ops::Add<Output = T>
{
    (T::zero()..len).map(|i| start + step * i).collect()
}

fn main() {
    println!("{:?}", positions(10, 2, 10));
}

您还需要要求T可以被复制（或克隆，如果您愿意），因为Add和Mul的实现按值消耗操作数，这意味着start step*i只能被调用一次，除非需要多次调用。