即使使用:: from，我也得到了预期的类型参数错误[重复]

Posted 2023-02-05

此问题已经在这里有了答案：

How do I use integer number literals when using generic types?（2个答案）

How do I use floating point number literals when using generic types?（3个答案）

关闭3分钟前。

使用此功能，

fn incr<A: std::ops::AddAssign>(mut foo: A) -> A 
    foo += A::from(1);
    foo

我正在，

error[E0308]: mismatched types
 --> src/lib.rs:2:20
  |
1 | fn incr<A: std::ops::AddAssign>(mut foo: A) -> A 
  |         - this type parameter
2 |     foo += A::from(1);
  |                    ^ expected type parameter `A`, found integer
  |
  = note: expected type parameter `A`
                       found type `integer`
  = help: type parameters must be constrained to match other types
  = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters

我该如何进行这项工作？

答案

您需要指定A具有特征范围，要求它实现From<u8>：

fn incr<A: std::ops::AddAssign + From<u8> > (mut foo: A) -> A 
    foo += A::from(1);
    foo