Const Guards [docs.rs]

使用 const_guards，您可以使用不稳定的 generic_const_exprs 功能，以表达对 Rust 的 const_generics 的一定编译时约束。

文档

有关文档，请访问 docs.rs。

动机

考虑以下对标准库中数组的 first 方法的使用

let array: [(); 1] = [(); 1];
let head: Option<&()> = array.first();

如果我们能够直接写出会更好

let head: &() = array.first();

因为编译器应该知道此时数组长度为 1。使用 const guards 我们可以这样表达

#[guard(N > 0)]
fn first<'a, T, const N: usize>(array: &'a [T; N]) -> &'a T {
    &array[0]
}

对数组 &array[0] 的索引调用不可能失败，因为我们已在编译时强制数组长度为 > 0。我们现在可以这样调用它

let array: [(); 1] = [(); 1];
let head: &() = first(&array);

而数组实际上为空的情况将 无法编译

let array: [(); 0] = [(); 0];
let head: &() = first(&array);

最后，我们甚至可以将此表达为 trait 以便更易于访问

trait ArrayHead<T, const N: usize> {
    #[guard(<const N: usize> { N > 0 })]
    fn head(&self) -> &T;
}

impl<T, const N: usize> ArrayHead<T, N> for [T; N] {
    fn head(&self) -> &T {
        &self[0]
    }
}

fn main() {
    let array: &[(); 1] = &[(); 1];
    let head: &() = array.head();
}

尽管如此，如您所见，我们需要显式地引入受保护项没有引入的泛型。

实现

考虑以下 const guard 的简单示例

fn main() {
    f::<0>()
}

#[guard(N > 0)]
fn f<const N: usize>() {
    todo!()
}

并查看展开形式

struct Guard<const U: bool>;

trait Protect {}
impl Protect for Guard<true> {}

fn main() {
    f::<0>()
}

fn f<const N: usize>()
where
    Guard<{
        const fn _f_guard<const N: usize>() -> bool {
            if !N > 0 {
                panic!("guard evaluated to false")
            }
            true
        }
        _f_guard::<N>()
    }>: Protect,
{
    todo!()
}

待办事项

• 改进错误消息
• 编写更多测试