const_fn_assert

此crate提供可以在const函数中使用的宏断言。

• 文档
• 发行说明

示例

const fn my_const_fn(x: u8) -> u8 {
    cfn_assert!(x < 5);
    x + 1
}

const _CONST: u8 = my_const_fn(1);

fn main() {
    let _var = my_const_fn(2);
}

下面的函数在运行时将引发panic

fn fail() {
    let _var = my_const_fn(6); //thread 'main' panicked at 'index out of bounds: the len is 1 but the index is 1'
}

此代码无法编译

const _CONST: u8 = my_const_fn(6); //~ ERROR any use of this value will cause an error

可用的宏有cfn_assert、cfn_assert_eq、cfn_assert_ne、cfn_debug_assert、cfn_debug_assert_eq和cfn_debug_assert_ne。

安装

此crate在crates.io上可用，可以通过将以下内容添加到项目中的Cargo.toml来使用：

[dependencies]
const_fn_assert = "0.1"

并在crate根目录（main.rs或lib.rs）中添加以下内容：

#[macro_use]
extern crate const_fn_assert;