qed

编译时断言。

QED 是拉丁短语 quod erat demonstrandum 的缩写，意为“需要证明的”。

此软件包包含用于维护安全性不变量或限制平台支持的编译时断言宏。如果断言为假，则编译器会发出错误。

用法

将其添加到您的 Cargo.toml

[dependencies]
qed = "1.6.1"

然后进行编译时断言，如下所示

use core::num::NonZeroU8;

qed::const_assert!(usize::BITS >= u32::BITS);
qed::const_assert_eq!("Veni, vidi, vici".len(), 16);
qed::const_assert_ne!('∎'.len_utf8(), 1);
qed::const_assert_matches!(NonZeroU8::new(42), Some(nz) if nz.get() == 42);

no_std

qed 与 no_std 兼容，并且所有宏仅需要 core。

最低支持的 Rust 版本

此软件包至少需要 Rust 1.64.0。此版本可以在小版本发布中升级。

许可证

qed 在 MIT 许可证 下授权（c）Ryan Lopopolo。