当我们只有通用特征时，如何处理恒定数学的锈蚀方法是什么

Question

这是我损坏的示例代码。请注意，我只想将值加倍，并允许任何知道如何倍增的东西。

fn by_two<T: Mul<Output = T>>(x: T) -> T {
    x * 2
}

Answer 1

我认为您遇到的问题是您需要说出您正在使用的内容。 2 默认为＆lt; integer＆gt; ，如果未指定的将其计数为 i32 ，那么这里就是这样的示例：

fn by_two<T: Mul<i32, Output=T>>(x: T) -> T {
    x * 2
}

另外，您可以离开结果直至特征。通常 *等于仅使用 x * 2 而无需调用函数。

fn by_two<T: Mul<i32>>(x: T) -> <T as Mul<i32>>::Output {
    x * 2
}

但是，这与大多数类型都无法使用，因为Rust通常希望原语将乘以同类类型的其他私有。我们可以将其更改为从＆lt; i32＆gt; 使用以使其更具包容性。

fn by_two<T: Mul + From<i32>>(x: T) -> <T as Mul>::Output {
    x * T::from(2)
}

在这一点上，您可能会注意到问题。我们需要弄清楚哪种类型的“ 2”是可以用 t 倍增的。 来自＆lt; i32＆gt; 解决方案适用于原始类型，但是如果您尝试将矢量或矩阵插入该功能，则将遇到困难。一种解决方案是添加一个单独的通用，以允许用户指定其乘以的内容。

fn by_two<T: Mul<K>, K: From<i32>>(x: T) -> <T as Mul<K>>::Output {
    x * K::from(2)
}

但是，这开始变得有些麻烦。与以前的版本不同，我们不能让编译器推断出一种用于 k 的类型，因为可能有多种类型可以满足 k 的要求。

一个不能完全解决我们的问题的选项，但可能会有所帮助的是使用像 Num-Thraits 。坦白地说，这实际上与示例2相同，但更广泛地概念为2。

use num_traits::identities::One;
fn by_two<T: One + Add<Output=T>>(x: T) -> T {
    x * (T::one() + T::one())
}

您有很多选择，但没有一个包容性。如果您想保持匹配尽可能通用，最好先编写功能，然后确定值必须满足的数学属性才能使其正常工作。您可以使用 num-traits 对于基本特征界（例如在浮子和INT之间。然后，对于更复杂的概念，我建议使用 alga 。

Answer 2

好吧... 是两个？例如，如果我在 color 上将乘法定义为混合两种颜色，那么将颜色乘以两种颜色意味着什么？

解决此问题的最简单方法是选择一个非常小的数据类型（例如 u8 ）并接受任何可以（尝试）从<<<代码> u8 ：

fn by_two<T: Mul<Output = T> + TryFrom<u8>>(x: T) -> T {
    x * 2.try_into().ok().expect("could not convert two into T")
}

越通用（但麻烦）的方法是使用 num 板条箱，并接受任何可以乘以的东西，并且具有的概念一个，使用一个 +一个作为两个。