我很清楚,迭代向量不应该让循环体任意改变向量。这可以防止迭代器失效,这很容易出现错误。
然而,并不是所有的突变都会导致迭代器失效。请参见以下示例:
let mut my_vec: Vec<Vec<i32>> = vec![vec![1,2], vec![3,4], vec![5,6]];
for inner in my_vec.iter_mut() { // <- or .iter()
// ...
my_vec[some_index].push(inner[0]); // <-- ERROR
}
这样的突变不会使 的迭代器无效my_vec
,但它是不允许的。它可能会使对特定元素的任何引用无效,my_vec[some_index]
但无论如何我们都不会使用任何此类引用。
我知道这些问题很常见,我不要求解释。我正在寻找一种方法来重构它,以便我可以摆脱这个循环。在我的实际代码中,我有一个巨大的循环体,除非我很好地表达这一点,否则我无法对其进行模块化。
到目前为止我的想法是:
- 用 包裹向量
Rc<RefCell<...>>
。我认为这在运行时仍然会失败,因为RefCell
迭代器会借用它,然后当循环体尝试借用它时会失败。 - 使用临时向量来累积未来的推送,并在循环结束后推送它们。这没关系,但需要比动态推送更多的分配。
- 不安全的代码,并弄乱了指针。
Iterator
文档中列出的任何内容都无济于事。我检查了itertools,它看起来也无济于事。- 使用
while
循环和索引,而不是使用使用对外部向量的引用的迭代器。这没关系,但不允许我使用迭代器和适配器。我只想摆脱这个外循环并使用my_vec.foreach(...)
.
是否有任何习语或任何库可以让我很好地做到这一点 不安全的函数只要不暴露指向我的指针就可以了。