如何正确实现Rust泛型结构体？编译错误修复方案

错误原因 #

get_area方法中，self.w * self.h尝试获取self.w和self.h的所有权，但self是不可变引用（&self），且泛型T未实现Copy trait，无法自动复制值，导致所有权移动错误。

修复方案 #

方案1：添加Copy约束 #

给泛型T加上Copy trait约束，让self.w和self.h可以被自动复制，避免所有权移动：

struct Rectangle<T> {
    w: T,
    h: T
}

impl<T: std::ops::Mul<Output = T> + std::ops::MulAssign + Copy> Rectangle<T> {
    fn get_area(&self) -> T {
        self.w * self.h
    }

    fn scale(&mut self, scale: T) {
        self.w *= scale;
        self.h *= scale;
    }

    fn new(w: T, h: T) -> Rectangle<T> {
        Rectangle { w, h }
    }
}

fn main() {
    let rect = Rectangle::new(1.2, 3.4);
    let area = rect.get_area();
    println!("Rectangle Area {area}");
}

适合T为基本类型（如i32、f32）的场景，这类类型默认实现了Copy。

方案2：使用Clone约束（无Copy时） #

如果T无法实现Copy但可以Clone，可以显式克隆值：

struct Rectangle<T> {
    w: T,
    h: T
}

impl<T: std::ops::Mul<Output = T> + std::ops::MulAssign + Clone> Rectangle<T> {
    fn get_area(&self) -> T {
        self.w.clone() * self.h.clone()
    }

    fn scale(&mut self, scale: T) {
        self.w *= scale;
        self.h *= scale;
    }

    fn new(w: T, h: T) -> Rectangle<T> {
        Rectangle { w, h }
    }
}

方案3：使用引用版Mul（无需Copy/Clone） #

利用Rust为引用类型实现的Mul trait，直接对引用进行相乘，避免所有权操作：

struct Rectangle<T> {
    w: T,
    h: T
}

impl<T> Rectangle<T>
where
    for<'a> &'a T: std::ops::Mul<Output = T>,
    T: std::ops::MulAssign,
{
    fn get_area(&self) -> T {
        &self.w * &self.h
    }

    fn scale(&mut self, scale: T) {
        self.w *= scale;
        self.h *= scale;
    }

    fn new(w: T, h: T) -> Rectangle<T> {
        Rectangle { w, h }
    }
}

这个方案更通用，大部分数值类型都默认支持引用相乘。

更优实现建议 #

1. 用where子句整理约束：比起把所有约束堆在impl尖括号里，where子句可读性更强（如方案3所示）。
2. 实现Debug/Display trait：方便直接打印Rectangle实例：

   #[derive(Debug)]
   struct Rectangle<T> {
       w: T,
       h: T
   }
   // 之后可以直接println!("{:?}", rect);
   

3. 优化scale方法参数：如果T是大类型，可将scale改为引用参数，避免所有权转移：

   fn scale(&mut self, scale: &T)
   where
       T: std::ops::MulAssign<&T>,
   {
       self.w *= scale;
       self.h *= scale;
   }
   

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