您调用.splice()，它会创建一个Splice 对象，其中包含一个用于替换范围的Drain 迭代器：
pub fn splice<R, I>(&mut self, range: R, replace_with: I) -> Splice<'_, I::IntoIter>
where
R: RangeBounds<usize>,
I: IntoIterator<Item = T>,
{
Splice { drain: self.drain(range), replace_with: replace_with.into_iter() }
}
Splice 被删除，它调用了它的 drop() 实现。
impl<I: Iterator> Drop for Splice<'_, I> {
fn drop(&mut self) {
它做的第一件事就是删除所有被替换的元素。
self.drain.by_ref().for_each(drop);
然后它检查替换是否在Vec 的末尾，如果是，则将其扩展并返回。
unsafe {
if self.drain.tail_len == 0 {
self.drain.vec.as_mut().extend(self.replace_with.by_ref());
return;
}
接下来，它调用一个帮助器 fill() 函数，用替换迭代器 (replace_with) 中的尽可能多的元素替换已删除的元素。 fill() 返回 false 如果它没有填满整个替换范围，在这种情况下它会返回（虽然我不确定在这种情况下尾部移动到哪里？）
// First fill the range left by drain().
if !self.drain.fill(&mut self.replace_with) {
return;
}
现在replace_with 可能剩下 0 个元素（在这种情况下我们完成了），或者它可能有更多元素（在这种情况下，尾部需要向后移动该数量）。这就是接下来发生的事情。
// There may be more elements. Use the lower bound as an estimate.
// FIXME: Is the upper bound a better guess? Or something else?
let (lower_bound, _upper_bound) = self.replace_with.size_hint();
if lower_bound > 0 {
self.drain.move_tail(lower_bound);
if !self.drain.fill(&mut self.replace_with) {
return;
}
}
您可能期望if lower_bound == 0 { return; }，但lower_bound 只是一个估计值，所以它首先尝试，如果失败，它将替换复制到一个临时向量中，因此它可以知道完整长度。
// Collect any remaining elements.
// This is a zero-length vector which does not allocate if `lower_bound` was exact.
let mut collected = self.replace_with.by_ref().collect::<Vec<I::Item>>().into_iter();
// Now we have an exact count.
if collected.len() > 0 {
self.drain.move_tail(collected.len());
let filled = self.drain.fill(&mut collected);
debug_assert!(filled);
debug_assert_eq!(collected.len(), 0);
}
关键是如果replace_with 为为空，因为替换大小与范围相同，那么所有这些操作都是相当简单的nop-ish。
最后一位丢弃 Drain 迭代器本身，这将移动尾部..可能再次？我不知道我在这里迷路了。反正长度一样肯定不会动的。
}
// Let `Drain::drop` move the tail back if necessary and restore `vec.len`.
}
}