Lib.rs

一套用于功能分析的宏

包含一些方便的宏来分析函数执行，如 count 来了解函数被调用的次数，trace 来记录函数的进入/退出及其参数，以及用于纯函数缓存的 cache。

特性

可以在属性声明中禁止、强制或设置每个特性的默认值（默认值是通过特性设置的）。例如

// `cache` and `visible` will not be implemented
// `count` will obligatory be implemented
// `time`/`depth` will be implemented if the feature `time`/`depth` is enable
#[moneta_fn::moneta(cache = "forbid", visible = "forbid", count = "force", time = "default")]
fn foo(a: u8) -> u8 {
    unimplemented!()
}

类型依赖

在函数中启用时，cache 需要所有参数实现 Debug 特性和返回类型的 Clone。

等等... 为什么参数需要 Debug，而不是 Clone 呢？

考虑以下场景

#[moneta_fn::moneta]
fn foo<'a, T>(lhs: &'a T, rhs: &'a T) -> T {
    unimplemented!()
}

很难创建具有泛型键和生命周期的缓存存储，一旦它不能被解析为全局 RwLock 的等效格式。

此外，它还允许对关联类型进行一些优化

#[moneta_fn::moneta]
fn foo<T: AsRef<str> + Debug>(lhs: T, rhs: T) -> T {
    unimplemented!()
}

我不想在发布构建中使用 trace/count/cache。我该如何禁用它？

目前还没有一种很好的方法来在不同的配置文件中启用/禁用特定特性。您需要将 default-features 设置为 false 并定义您想要的特性。例如

[dependencies]
moneta_fn = { version = "*", default-features = false, features = ["cache", "count", "time"] }

另一种方法是设置默认特性。

[dependencies]
moneta_fn = { version = "*", default-features = false, features = ["cache", "count", "time"] }

[features]
default = ["debug_mode"]
debug_mode = ["moneta_fn/trace"]

当使用配置文件发布编译时，使用 --no-default-features

cargo build --release --no-default-features

我该如何只为一个函数启用/禁用 trace/count/cache？

将 trace/count/cache 设置为 force/forbid

#[moneta_fn::moneta(cache = "forbid")] // Will not update cache storage
fn foo(a: u8) -> u8 {
    unimplemented!()
}

宏定义

存在宏来管理实现变量

所有这些宏都需要一个包含函数全局路径的参数。例如

#[moneta_fn::moneta]
fn foo() {
    unimplemented!()
}

pub mod bar {
    #[moneta_fn:moneta]
    pub fn baz() {
        unimplemented!()
    }
}

assert!(get_cache(foo).read().unwrap().is_empty())
assert_eq!(count!(bar::baz), 0)

当外部特性被禁用时，宏调用会中断吗？

不会。计数或缓存将不会更新。