为何该Rust闭包未实现Fn trait？编译报错求助

我正尝试实现一个函数，用于构建迭代器遍历若干同尺寸关联2D数组的所有可能索引。但编译器报错，称传递给map的闭包未实现Fn trait，仅实现了FnMut trait。

原始代码：

pub fn get_index_iterator(&self) -> Map<Range<usize>, impl Fn(usize) -> (usize, usize)> {
        (0usize..(self.width * self.height))
            .map(|idx| -> (usize, usize) {
                (idx % self.width, idx / self.width)
            }
        )
    }

为排查问题，我将闭包改为返回常量，代码如下：

pub fn get_index_iterator(&self) -> Map<Range<usize>, impl Fn(usize) -> (usize, usize)> {
        (0usize..(self.width * self.height))
            .map(|idx| -> (usize, usize) {
                (0usize, 0usize)
            }
        )
    }

但报错信息仍为：

expected a `std::ops::Fn<(usize,)>` closure, found `[closure@src\lib.rs:33:18: 33:41]`
the trait `std::ops::Fn<(usize,)>` is not implemented for closure `[closure@src\lib.rs:33:18: 33:41]`
`[closure@src\lib.rs:33:18: 33:41]` implements `FnMut`, but it must implement `Fn`, which is more general

我无法理解返回常量的闭包为何会涉及环境状态突变，请问我忽略了什么？

问题出在返回类型的错误声明上——你强行要求map的闭包实现Fn trait，但实际上Iterator::map只需要闭包实现FnMut，而且返回的Map迭代器并不需要这个更严格的约束。

核心原因 #

• 你的闭包捕获了&self（哪怕第二个例子里没用到，闭包仍然持有对self的引用），这种捕获方式下，Rust默认只会为闭包实现FnMut和FnOnce。只有当闭包完全不捕获环境变量，或者捕获的是Copy类型的所有权时，才会自动实现Fn trait。
• Iterator::map的定义明确接收的是F: FnMut(Self::Item) -> B的闭包，返回的Map迭代器的第二个泛型参数就是这个闭包类型，不需要它满足Fn。

修复方案 #

有两种简洁的修复方式：

• 方案一：修正闭包类型约束：把返回类型里的impl Fn(...)改成impl FnMut(...)
• 方案二：直接返回迭代器类型：放弃指定Map的泛型参数，让编译器推导，直接返回impl Iterator<Item = (usize, usize)>

代码示例：

// 方案一：修正闭包类型
pub fn get_index_iterator(&self) -> Map<Range<usize>, impl FnMut(usize) -> (usize, usize)> {
    (0usize..(self.width * self.height))
        .map(|idx| (idx % self.width, idx / self.width))
}

// 方案二：推荐方式，直接返回迭代器
pub fn get_index_iterator(&self) -> impl Iterator<Item = (usize, usize)> {
    (0usize..(self.width * self.height))
        .map(|idx| (idx % self.width, idx / self.width))
}

补充说明 #

哪怕闭包返回常量，只要它捕获了&self（哪怕没用到），Rust就会将其归类为需要访问环境的闭包，因此只会实现FnMut。Fn trait要求闭包可以被无限制多次调用且不改变（甚至不依赖）环境，而捕获了外部引用的闭包默认不会自动实现这个trait——你完全不需要强行要求闭包是Fn，因为map根本不需要这个约束。

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