Rust中能否使用const泛型实例化新类型实现K到K+1类型转换

当前Rust稳定版（1.59及以上）完全支持该需求，不需要放弃const泛型，原有写法报错是语法和泛型规则使用错误导致的。

原有方案错误原因 #

• 第一种方案存在两个核心问题：
  • 函数内部通过const关键字定义的是全局编译期常量，作用域规则不允许其捕获外层函数的泛型参数，这是Rust常量项的基础规则，和const泛型本身的属性无关；
  • 同时在函数泛型列表声明了const参数L、又在函数内部定义同名常量L，本身存在命名冲突，即使作用域允许也会触发重名编译错误。
• 第二种方案违反了Rust泛型的约束规则：impl块上声明的所有泛型参数，必须出现在自类型、实现的trait、关联类型或trait约束中，你声明的L没有被任何上述要素引用，编译器无法推导L的取值，因此报未约束错误。

正确实现代码 #

你不需要额外声明第二个const泛型参数，直接在返回值的泛型位置传入{K + 1}作为const实参即可，稳定版Rust原生支持const上下文内的基础算术运算作为const泛型实参：

pub struct Base<const K: u32> {}

// 自由函数版本，支持const上下文调用
pub const fn base_bump<const K: u32>(_b: Base<K>) -> Base<{K + 1}> {
    Base::<{ K + 1 }> {}
}

// 结构体方法版本
impl<const K: u32> Base<K> {
    pub fn base_bump(&self) -> Base<{K + 1}> {
        Base::<{ K + 1 }> {}
    }
}

语法注意：const泛型位置如果传入的是运算表达式而非单个字面量/单个泛型参数，必须用大括号包裹表达式，即Base<{K + 1}>的写法，省略大括号会触发语法错误。

选型参考 #

• 如果K的取值可以在编译期完全确定，且你需要借助类型系统实现不同K值的类型隔离、类型级计数/状态标记，直接使用上述const泛型方案即可，除了递增，递减、乘法等所有const fn支持的基础运算都可以用在const泛型实参位置。
• 如果K的值需要在运行时动态变化，无法在编译阶段枚举所有可能取值，就不要使用const泛型，将K作为结构体的普通u32字段存储即可，避免引入不必要的类型系统复杂度。

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