Rust中‘先增后减’泛型常量表达式为何无法工作？

你的代码存在两个核心问题：

1. 未为Number<VALUE+1>的decrement方法添加约束：当调用number.increment().decrement()时，第二个decrement是作用在Number<VALUE+1>实例上的，此时需要满足该实例decrement方法的约束（即(VALUE+1)-1必须是合法的usize值），但你之前只约束了原VALUE的VALUE-1。
2. 编译器无法自动推导常量等式：数学上(VALUE+1)-1等于VALUE，但Rust的泛型常量表达式需要明确的约束来确认这一等式，否则会认为返回类型不匹配。

修正后的代码 #

#![feature(generic_const_exprs)]
#![feature(const_eq)]
#![allow(unused, incomplete_features)]

struct Number<const VALUE: usize>;

impl<const VALUE: usize> Number<VALUE> {
    fn new() -> Number<0> {
        Number::<0>
    }

    fn increment(self) -> Number<{VALUE + 1}> {
        Number::<{VALUE + 1}>
    }
    
    // 为decrement方法自身添加约束，确保VALUE >=1（避免usize下溢）
    fn decrement(self) -> Number<{VALUE - 1}>
    where
        [(); VALUE - 1]:,
    {
        Number::<{VALUE - 1}>
    }
}

fn increment_decrement<const VALUE: usize>(number: Number<VALUE>) -> Number<VALUE> 
where
    // 确保increment后的VALUE+1是合法的usize（usize默认非负，此约束实际可省略，但显式添加更清晰）
    [(); VALUE + 1]:,
    // 确保Number<VALUE+1>的decrement方法可以被调用（即(VALUE+1)-1是合法的）
    [(); (VALUE + 1) - 1]:,
    // 明确告诉编译器：(VALUE+1)-1 等于 VALUE，解决类型不匹配问题
    { (VALUE + 1) - 1 } == VALUE,
{
    number.increment().decrement()
}

fn main() {}

关键说明 #

• 为decrement方法添加自身约束：在impl块的decrement方法中添加where [(); VALUE - 1]:，确保只有当VALUE >=1时才能调用该方法，从根源避免下溢风险，同时让编译器明确调用条件。
• 补充Number<VALUE+1>的调用约束：[(); (VALUE + 1) - 1]:等价于[(); VALUE]:，确保调用Number<VALUE+1>的decrement方法时满足其约束。
• 添加常量等式约束：启用const_eq特性后，通过{ (VALUE + 1) - 1 } == VALUE让编译器确认返回类型与函数声明的Number<VALUE>一致。

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