为何可在迭代器引用上调用into_iter？如何实现自定义方法类似行为？

为什么&mut Foo能调用into_iter？ #

你看到的IntoIterator blanket impl（impl<I: Iterator> IntoIterator for I）确实要求获取self的所有权，但这里的self并非原Foo实例，而是**&mut Foo这个可变引用本身**。

关键在于Rust标准库为可变引用类型实现了Iterator trait：

// 标准库中的内置实现
impl<I: Iterator + ?Sized> Iterator for &mut I {
    type Item = I::Item;
    fn next(&mut self) -> Option<Self::Item> {
        (**self).next()
    }
    // 其他迭代器方法的默认实现
}

当你持有&mut Foo时，这个可变引用本身满足Iterator trait的约束，因此会自动触发IntoIterator的blanket impl。此时调用into_iter()获取的是可变引用的所有权，而非原Foo实例的所有权——这完全符合into_iter(self)的签名要求。

如何让自定义的move_out方法表现得与into_iter类似？ #

要让&mut Foo也能调用move_out，你需要为引用类型添加对应的trait B实现，就像标准库对Iterator做的那样。具体来说，需要为&T和&mut T分别添加 blanket impl：

trait A {}
trait B {
    fn move_out(self) -> Self;
}

// 为实现A的类型本身实现B
impl<T: A> B for T {
    fn move_out(self) -> Self {
        self
    }
}

// 为可变引用实现B，约束内部类型实现A
impl<T: A + ?Sized> B for &mut T {
    fn move_out(self) -> Self {
        self
    }
}

// 可选：为不可变引用实现B
impl<T: A + ?Sized> B for &T {
    fn move_out(self) -> Self {
        self
    }
}

struct Foo {}
impl A for Foo {}

fn bar(foo: &mut Foo) {
    foo.move_out(); // 现在可以正常编译
}

这样，无论是Foo实例、&Foo还是&mut Foo，都能调用move_out方法——它们各自的move_out获取的是对应类型（实例、不可变引用、可变引用）的所有权，和into_iter的行为完全一致。

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