Rust能否在trait中使用关联常量作为数组的const泛型长度？

结论 #

稳定版Rust目前无法直接实现该写法，有两种可选落地方案：要么使用nightly版本开启对应不稳定特性，要么保留原有const泛型参数的写法。

具体原因 #

该报错的本质是Rust稳定版暂不支持在trait方法签名中，将关联常量作为数组长度这类const表达式的入参。关联常量参与const运算的能力属于仍在迭代的generic_const_exprs特性，仅支持nightly版本编译器。

可选解决方案 #

方案1：nightly版本开启特性（适合非生产场景尝鲜）

在项目根目录的rust-toolchain.toml中指定nightly工具链，同时在crate根文件（通常为lib.rs/main.rs）顶部添加特性开启标记即可编译通过：

#![feature(generic_const_exprs)]

trait Buf {
    const N: usize;
    fn to_buf(&self) -> [u8; Self::N];
    fn from_buf(buf: [u8; Self::N]) -> Self;
}

注意：generic_const_exprs目前属于不稳定特性，后续API和行为可能发生破坏性变更，不建议在生产级稳定项目中使用。

方案2：保留原有const泛型写法（稳定可用，推荐）

原有trait定义在Rust 1.59及以上稳定版完全支持，无兼容性问题：

pub trait Buf<const N: usize> {
    fn to_buf(&self) -> [u8; N];
    fn from_buf(buf: [u8; N]) -> Self;
}

两种写法的使用场景差异不大，const泛型版本还可以在调用时直接约束长度，灵活度更高，比如可以直接通过fn take_buf<T: Buf<16>>(val: T)指定需要长度为16的Buf实现，比关联常量的写法约束起来更直接。

内容的提问来源于stack exchange，提问作者Nur