Rust中能否使用const泛型表达式满足trait约束？

这个错误不是代码逻辑疏漏，是当前不稳定特性generic_const_exprs的已知推导限制：

• 你为Constant<N>实现的ConvertTo<Variable<M>>是对任意M值都生效的全泛型实现，编译器在推导convert_plus_one返回类型时，首先识别到Constant<3>可以转换为任意Variable<M>，此时M是完全未确定的推断变量。
• 后续的Y: Tensor<{N + 1}>约束，当前版本的Rust编译器还不支持自动完成「未知M 必须等于 N+1」的反向const表达式合一，它只会检测到Variable<{未确定推断值}>没有明确实现Tensor<N+1>，直接抛出错误，不会自动把M绑定到N+1的计算结果上。

最稳定的绕开方式是不要给编译器留自由推断的const参数，直接通过关联类型明确绑定输入类型和+1后的输出类型的映射关系，完全避免反向推导，示例代码如下：

#![allow(incomplete_features)]
#![feature(generic_const_exprs)]

struct Variable<const N: usize>;
struct Constant<const N: usize>;

trait Tensor<const N: usize> {
    fn get_dim(&self) -> usize {
        N
    }
}

// 直接定义维度+1的转换trait，用关联类型绑定输出类型
trait ConvertPlusOne<const N: usize>: Tensor<N> {
    type Output: Tensor<{N + 1}>;
    fn convert_plus_one(self) -> Self::Output;
}

impl<const N: usize> Tensor<N> for Variable<N> {}
impl<const N: usize> Tensor<N> for Constant<N> {}

// 为Constant明确指定+1后输出N+1维的Variable
impl<const N: usize> ConvertPlusOne<N> for Constant<N>
where
    [(); {N + 1}]: , // 用于让const表达式通过合法性检查
{
    type Output = Variable<{N + 1}>;
    fn convert_plus_one(self) -> Self::Output {
        Variable
    }
}

// 为Variable明确指定+1后输出N+1维的Constant
impl<const N: usize> ConvertPlusOne<N> for Variable<N>
where
    [(); {N + 1}]: ,
{
    type Output = Constant<{N + 1}>;
    fn convert_plus_one(self) -> Self::Output {
        Constant
    }
}

fn main() {
    let x = Constant::<3>;
    let y = x.convert_plus_one();
    assert_eq!(y.get_dim(), 4);

    let v = Variable::<2>;
    let c = v.convert_plus_one();
    assert_eq!(c.get_dim(), 3);
}

如果你一定要保留原有的通用ConvertTotrait设计，只需要把输出维度的const参数提前到泛型参数列表，显式声明M和N+1的等价关系，也可以通过编译，但这种写法在更复杂的场景下还是可能触发const推导失败：

fn convert_plus_one<const N: usize, const M: usize, X, Y>(x: X) -> Y
where
    X: Tensor<N> + ConvertTo<Y>,
    Y: Tensor<M>,
    M: ~const From<{N + 1}>,
    [(); {N + 1}]: ,
{
    x.convert()
}

需要说明的是，generic_const_exprs目前还处于开发阶段，类似的跨trait反向const推导能力还没有实现，后续特性稳定后这类场景的推导会自动生效，不需要额外绕路。

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