实现的方法

所有 12 种类型都实现了在 f32 和 f64 上可用的方法，除了

• 已弃用和仅限夜间构建的方法
• total_cmp(&self, other: &f64) -> Ordering
• sin_cos(self) -> (f64, f64)
• mul_add(self, a: f64, b: f64) -> f64
• clamp(self, min: f64, max: f64) -> f64
• LowerExp
• UpperExp
• Product
• Sum
• to_int_unchecked
• to*_bits
• from*_bits

Panics

唯一可以触发 panic! 的方法是使用不正确的方式调用 unsafe 方法 new_unchecked。

以任何其他方式触发的 panic! 都被视为安全漏洞，应该报告。

最小开销

这个crate设计时考虑到了运行时的最小开销，包括内存、速度和二进制文件大小。

它甚至可能比直接使用原语 f32 和 f64 更快，因为它可能通过使用编译器提示避免了某些检查。

唯一会增加一点开销的方法是 try_from，因为它在运行时进行了一些检查，与 unsafe 方法 new_unchecked 相比。

在调试模式下，存在一些开销，一方面是为了检查值的有效性，另一方面是因为可能不遵守 inline 指令。

任何其他开销都被认为是bug，应该报告。

特性

• std：默认启用，提供所有 f32 和 f64 方法。
• serde：为所有12种类型实现 Serialize 和 Deserialize。
• libm：当禁用 std 功能时，使用来自 num-traits 的 Float 特性和 libm 来实现缺失的方法。当同时启用 std 和 libm 功能时，使用 std 实现。
• compiler_hints：默认启用，将在所有 debug_assert 后添加 core::hint::unreachable_unchecked。
• ensure_no_undefined_behavior：在发布模式下会触发 panic!，而不是冒险出现未定义的行为。这将覆盖 compiler_hints 功能，并为 new_unchecked 增加一点开销。可以通过任何父crate启用此功能来确保没有未定义的行为。

工作原理

对于每个操作，在编译时crate会确定可能的最严格的结果类型。

例如，如果你将一个 PositiveFinite 和一个 StrictlyNegativeFinite 相乘，结果将是一个 Negative。

接受另一个浮点数作为参数的方法也将返回最严格的可能类型，这取决于两种类型。对于那些无法根据参数类型指定返回类型的trait的方法，将创建一个新的trait：Hypot、Min、Max、Copysign、DivEuclid 和 Atan2。

主要限制

• 无法修复浮点数怪癖，例如 0.0 == -0.0
• 无法修复诸如以下奇特的函数
  • sqrt(-0.0) 返回 -0.0 而不是 NaN
  • min(-0.0, 0.0) 返回 -0.0 而不是 0.0 （同样适用于 max）
  • frac(-0.0) 返回 0.0 而不是 -0.0

因为这会引入运行时开销，并可能引入与现有代码的一些不兼容性。

Rust版本

当发布新版本时，此crate会使用Rust beta进行测试

• Rust beta
• Rust稳定版
• Rust 1.70.0

此外，每周在GitHub actions上运行nightly、beta和stable的测试。

由于在Cargo.toml中使用dep，最低支持的Rust版本为1.70.0。

测试

测试在GitHub actions和CircleCI上的不同架构上运行。

要运行所有测试

git clone https://github.com/tdelmas/typed_floats

# generate the published documentation, including some tests
cargo xtask pre-build

cd typed_floats
cargo test --all

类似的crate

• checked-float 用于创建不变性强制浮点数包装器的crate
• decorum Decorum是一个Rust库，它为浮点数表示提供总排序、等价性、哈希和约束。Decorum不需要std。
• eq-float 具有总排序（通过设置NAN == NAN）的浮点数包装器。
• fix_float 允许在浮点数上实现有用的特性和数据结构的固定浮点类型
• float-derive 允许为包含浮点数的类型派生Eq和Hash的crate
• float-ord 浮点数的总排序。
• nanbox NaN装箱实现。
• noisy_float 包含当设置为非法值（如NaN）时引发panic的浮点数类型。
• num-order 为各种 u32、f64、num_bigint::BigInt 等数字类型提供数值一致的 core::cmp::Eq、core::cmp::Ord 和 core::hash::Hash 实现。
• ordered-float 提供了针对 f64 及其相关类型上的 Ord 和 Eq 实现的几个包装类型。
• partial-min-max 提供了与 PartialOrd 一起工作的 min 和 max 函数。
• real_float 提供了检查正确性和实现完全排序的浮点类型。
• result_float 提供了不能存储 NaN 的浮点类型。
• totally-ordered 无依赖，不依赖 std 的 f32/f64 完全排序。
• unsigned-f64 是一个围绕 f64 的包装器，保证类型级别上的值始终为非负。

这些 crate 提供或检查的功能

✔️: 提供，❌: 不提供，❓: 未知

(可能需要向右滚动才能看到所有列：“生产就绪”，“避免 panic!”，“最小开销”，“Eq/Ord”，“Hash”，“NaN”，“Inf”，“Zero”，“Positive”，“Negative”)

(注意：“生产就绪”是一个主观衡量标准)

¹: 可手动检查

完整文档

在 docs.rs 上。