Rust中移println至函数出现E0275溢出错误的原因与解决

当你在print_neg函数中使用for<'a> &'a T: ops::Neg<Output = T>这个泛型约束时，Rust类型检查器会陷入无限递归推导：

• 该约束要求“所有生命周期的&'a T都能实现Neg且输出类型为T”；
• 类型检查器在验证过程中，会错误地将约束递归应用到&'a T自身（即要求&'b (&'a T)也满足Neg<Output=&'a T>），导致推导过程无限循环，最终触发overflow evaluating the requirement错误。

你的MyStruct的Neg实现本身是正确的，问题出在函数泛型约束的写法导致了不必要的递归推导。

以下两种方式均可解决问题：

方式一：缩小约束范围，仅针对当前引用生命周期 #

将泛型约束从“所有生命周期的&'a T”改为仅针对函数参数的&T，避免递归推导：

use std::{ops, fmt};

#[derive(Debug, Clone)]
struct MyStruct<F>(F);

impl<F> ops::Neg for &MyStruct<F> where for<'a> &'a F: ops::Neg<Output = F> {
    type Output = MyStruct<F>;

    fn neg(self) -> MyStruct<F> {
        MyStruct(- &self.0)
    }
}

fn print_neg<T: fmt::Debug>(x: &T)
        where &T: ops::Neg<Output = T> { // 修改约束为当前引用的生命周期
    println!("{:?}", -x); 
}

fn main() {
    let x = MyStruct::<i8>(3);
    print_neg(&x);
}

方式二：直接为MyStruct<F>实现Neg（更符合常规写法） #

如果F类型支持所有权操作（比如Copy或Clone），可以直接为MyStruct<F>本身实现Neg，规避引用生命周期的推导问题：

use std::{ops, fmt};

#[derive(Debug, Clone)]
struct MyStruct<F>(F);

impl<F> ops::Neg for MyStruct<F> where F: ops::Neg<Output = F> {
    type Output = MyStruct<F>;

    fn neg(self) -> MyStruct<F> {
        MyStruct(-self.0)
    }
}

fn print_neg<T: fmt::Debug + ops::Neg<Output = T>>(x: T) {
    println!("{:?}", -x); 
}

fn main() {
    let x = MyStruct::<i8>(3);
    print_neg(x);
}

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