使用泛型类型时如何使用浮点数文字？

Question

常规浮点文字不起作用：

extern crate num_traits;

use num_traits::float::Float;

fn scale_float<T: Float>(x: T) -> T {
    x * 0.54
}

fn main() {
    let a: f64 = scale_float(1.23);
}

error[E0308]: mismatched types
 --> src/main.rs:6:9
  |
6 |     x * 0.54
  |         ^^^^ expected type parameter, found floating-point variable
  |
  = note: expected type `T`
             found type `{float}`

Answer 1

使用FromPrimitive trait：

use num_traits::{cast::FromPrimitive, float::Float};

fn scale_float<T: Float + FromPrimitive>(x: T) -> T {
    x * T::from_f64(0.54).unwrap()
}

或标准库From / Into特征

fn scale_float<T>(x: T) -> T
where
    T: Float,
    f64: Into<T>
{
    x * 0.54.into()
}

也可以看看：

• How do I use number literals with the Integer trait from the num crate?

Answer 2

你不能直接从文字创建Float。我建议采用类似于FloatConst特征的方法：

trait SomeDomainSpecificScaleFactor {
    fn factor() -> Self;
}

impl SomeDomainSpecificScaleFactor for f32 {
    fn factor() -> Self {
        0.54
    }
}

impl SomeDomainSpecificScaleFactor for f64 {
    fn factor() -> Self {
        0.54
    }
}

fn scale_float<T: Float + SomeDomainSpecificScaleFactor>(x: T) -> T {
    x * T::factor()
}

（Qazxswpoi）

Answer 3

在某些情况下，您可以添加一个限制，通用类型必须能够乘以文字的类型。在这里，我们允许任何可以乘以link to playground的类型，只要它通过特征绑定f64产生T的输出类型：

Mul<f64, Output = T>

这可能无法直接用于原始问题，但可能取决于您需要使用的具体类型。