generics - 编写没有大量样板类型约束的通用浮点代码

Question

有没有办法指定泛型类型 T只能是f32或 f64 ？否则我最终会施加很多样板类型约束:Copy , Add<Output=T> , Sub<Output=T> , Mul ..., Div ..., Zero , One等，一段时间后会变得乏味。另外，我担心这个列表会增长到包括 Sin , Cos , Tan等 future 。

Answer 1

你想要 num::traits::Float , 在 crate 中可用 num .

满足Float的每种类型保证是 Num + Copy + NumCast + PartialOrd + Neg<Output=Self> .反过来，PartialEq + Zero + One + Add + Sub + Mul + Div + Rem Num 需要.这回答了您对基本算术的第一个要求。其他操作，如 sin() , cos()可作为 Float 中的成员函数使用.

最后，f32和 f64作为 Float 的实现者开箱即用.