我有一个简单的算法，可以用欧几里得算法计算两个数的最大公约数。正如你所看到的，这个函数拥有两个i32，并返回一个i32。我对借位检查器的理解是，当i32实现copy时，这段代码应该没问题。但是，编译器告诉我，我需要声明变量是可变的。

fn euclid_gcd(a: i32, b: i32)  -> i32 {
    while a != b {
        if a > b {
            a = a - b
        }
        else {
            b = b - a
        }
    }

    a
}

-->

fn euclid_gcd(mut a: i32, mut b: i32)  -> i32 {

我已经做了建议的修改，代码工作正常，但我仍然不明白为什么有必要这样做。你能告诉我我错过了什么吗？