Rust 实例化（未使用？）锈蚀类型时的递归限制

我在Rust实施了：

我甚至在调用

badsort（0，l）

时也会遇到这个错误，它应该是bubblesort，没有任何递归调用。我的假设是rustc试图为每个可能的

usize

生成

badsort

的单态版本（我将类型交换为

u8

，得到了相同的错误），但我不明白为什么：它会出错，不管参数是什么，即使它根本不递归调用自己！我尝试设置递归限制，一直到

#！[recursion_limit=“1024”]

，但即使使用

u8

，它仍会达到此限制并失败

---

我的猜测正确吗？有没有办法让这段（无可否认的）代码编译并运行？

badsort

在一个

Vec

上调用它自己，它将在一个

Vec

上调用它自己，这将调用它自己等等etc@mcarton是的，很明显，一旦列表非常重要，我们将很快达到递归极限。我认为编译器不够聪明（或者不够聪明，不够早），没有意识到如果我们用

k

调用

badsort

的值大于某个小值，它就不需要生成那么多类型专门化。静态类型不是这样工作的，编译器不关心参数

k

的值来解析函数中的类型。有点类似于=>静态类型不关心“哪个分支”，首先类型必须对齐，这里有无限个被实例化的类型/函数。当然，是的。我最初看到它是在Haskell中实现的，在那个里它工作得很好，所以我对为什么这可能和单态化有关感到困惑。我想需要更多的考虑和思考：一个有趣的学习机会！

fn bubblesort<T: PartialOrd>(l: &mut [T]) {
    for i in 1..l.len() {
        for j in 0..l.len() - i {
            if l[j + 1] < l[j] {
                l.swap(j + 1, j);
            }
        }
    }
}

fn permutations<T: Clone>(l: &[T]) -> Vec<Vec<T>> {
    if l.len() <= 1 {
        return vec![l.to_vec()];
    }

    let mut res = Vec::new();
    for i in 0..l.len() {
        let mut lcopy = l.to_vec();
        lcopy.remove(i);
        let p = permutations(&lcopy);
        for perm in p {
            let mut fullperm = vec![l[i].clone()];
            fullperm.extend(perm);
            res.push(fullperm);
        }
    }
    res
}

pub fn badsort<T: PartialOrd + Clone>(k: usize, l: &mut [T]) {
    if k == 0 {
        bubblesort(l);
    } else {
        let mut p = permutations(l);
        badsort(k - 1, &mut p);
        l.clone_from_slice(&p[0]);
    }
}

pub fn worstsort<T, F>(l: &mut [T], f: F)
where
    T: PartialOrd + Clone,
    F: FnOnce(usize) -> usize,
{
    badsort(f(l.len()), l);
}

#[cfg(test)]
mod tests {
    use super::*;
    #[test]
    fn badsort_zero() {
        let mut unsorted = vec![8, 3, 5];
        badsort(0, &mut unsorted);
        assert_eq!(unsorted, vec![3, 5, 8]);
    }
    #[test]
    fn worstsort_id() {
        let mut unsorted = vec![8, 3, 5];
        worstsort(&mut unsorted, |n| n);
        assert_eq!(unsorted, vec![3, 5, 8]);
    }
}

error: reached the recursion limit while instantiating `badsort::<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<std::vec::Vec<i32>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>`