Rust Const Generics如何约束usize类型常量参数必须大于0

你可以通过编译期trait bound的方式实现合法性校验，从编译层面拦截N=0的非法实例化，不需要运行期检查。

稳定版Rust可用写法（无nightly特性依赖） #

核心是利用数组长度合法性检查做约束，仅当N≥1时约束才会被满足：

struct S<const N: usize>
where
    (): CheckPositive<N>,
{
    arr: [u32; N]
}

// 内部校验用辅助trait，不需要对外暴露
trait CheckPositive<const N: usize> {}
impl<const N: usize> CheckPositive<N> for () where [(); N - 1]: Sized {}

实现逻辑：当N=0时，N-1在类型计算阶段会触发长度下溢错误，[(); N-1]是非法类型，编译器不会为这种情况匹配对应的impl，因此()不会实现CheckPositive<0>，实例化S<0>时就会因约束不满足直接编译失败。

Nightly版本更简洁的写法 #

如果你可以使用nightly工具链，开启generic_const_exprs特性后可以省去辅助trait，直接写约束：

// 放在crate根目录声明启用特性
#![feature(generic_const_exprs)]

struct S<const N: usize>
where
    [(); N - 1]: Sized,
{
    arr: [u32; N]
}

约束效果 #

两种写法都会在编译期拦截非法实例化：

• 合法写法S::<1> { arr: [1] }、S::<5> { arr: [1,2,3,4,5] }可以正常编译通过
• 非法写法S::<0> { arr: [] }会直接触发编译错误，提示约束不满足，从根源上禁止N=0的情况。

如果你给结构体实现了构造方法，记得在构造方法上也添加相同的约束，保证所有创建实例的路径都受校验规则保护。

内容的提问来源于stack exchange，提问作者Michał Zabielski