如何定义可以返回给定 integer 类型的通用 function ？

Question

我想定义一个 function ，它可以返回一个在调用 function 时指定类型的数字。 function 采用缓冲区（ Vec<u8> ）并返回数值，例如

let byte = buf_to_num<u8>(&buf);
let integer = buf_to_num<u32>(&buf);

缓冲区包含一个代表数字的 ASCII 字符串，例如b"827" ，其中每个字节是一个数字的 ASCII 码。

这是我的非工作代码：

  extern crate num;
  use num::Integer;
  use std::ops::{MulAssign, AddAssign};

  fn buf_to_num<T: Integer + MulAssign + AddAssign>(buf: &Vec::<u8>) -> T {
    let mut result : T;
    for byte in buf {
      result *= 10;
      result += (byte - b'0');
    }
    result
  } 

对于加法和乘法行（ expected type T, found u32 ），我得到不匹配的类型错误。 所以我想我的问题是如何告诉类型系统T可以用文字10或(byte - b'0')的结果来表示？

Answer 1

欢迎享受将您使用的每一个操作都指定为泛型的乐趣。 这是一种痛苦，但它是值得的。

你有两个问题：

1. result *= 10; 没有相应的From<_>定义。 这是因为，当您指定“10”时，编译器无法知道“10”作为T的含义 - 它知道原始类型以及您通过实现From<_>特征定义的任何转换
2. 您正在混合两个操作 - 从字符向量强制转换为 integer，以及您的操作。

为此，我们需要做两个假设：

• 我们将需要From<u32>以便我们可以将我们的数字限制为u32

• 我们还将阐明您的逻辑并将每个u8转换为char以便我们可以使用to_digit()将其转换为u32 ，然后再使用From<u32>获取T 。

   use std::ops::{MulAssign, AddAssign}; fn parse_to_i<T: From<u32> + MulAssign + AddAssign>(buf: &[u8]) -> T { let mut buffer:T = (0 as u32).into(); for o in buf { buffer *= 10.into(); buffer += (*o as char).to_digit(10).unwrap_or(0).into(); } buffer }

你可以让自己相信它在操场上的行为

乘法是通过将常量强制转换为u8来解决的，这使其受益于我们对From<u8>对 T 的要求，并允许 rust 编译器知道我们没有做傻事。

最后的更改是将result设置为默认值 0。

让我知道这对您是否有意义（或者如果没有），如果有问题，我会很高兴进一步阐述:-)