为何单元类型（空元组`()`）要实现Rust中的`Extend` trait？

单元类型()实现Extend trait的核心目的是适配泛型代码的兼容性：当编写需要处理Extend实现类型的泛型逻辑时，()可以作为“空占位符”参与其中，无需为它单独编写分支逻辑。

举个实际的泛型场景例子：

fn process_and_extend<E: Extend<()>>(target: &mut E, items: impl IntoIterator<Item = ()>) {
    // 前置逻辑：统计迭代器元素数量
    let iter = items.into_iter();
    let count = iter.size_hint().0;
    println!("待扩展的空元素数量：{}", count);
    // 执行扩展操作
    target.extend(iter);
}

如果()没有实现Extend，当传入&mut ()作为参数时，这段代码会直接编译失败。而有了这个实现后，我们可以直接调用：

fn main() {
    let mut unit = ();
    process_and_extend(&mut unit, vec![(), (), ()]);
}

这段代码能正常编译运行，尽管unit的值不会有任何变化，但它让泛型代码的适用范围更完整，不需要特意排除()这种特殊的空类型。

从语义角度看，()代表“无值”，将一组空元素扩展到另一个空元素上，逻辑完全自洽——因为没有任何实际内容可添加，操作后状态自然保持不变，这也契合()作为空类型的核心语义。

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