FnMut в немутабельной переменной?

Question

[Имя]

Функция принимает FnMut как параметр, должен ли быть параметр мутабельным? Документация говорит, что да.
В winit есть такая функция:

pub fn run<F>(self, event_handler: F) -> Result<(), EventLoopError>
    where
        F: FnMut(Event<T>, &EventLoopWindowTarget<T>),
    {
        self.event_loop.run(event_handler)
    }

Почему тут event_handler не mut?

Answer 1

[Дмитрий Беляев]

Мутабельность нужна для вызова, так как FnMut вызывается по мутабельной ссылке.
Здесь же только передаётся владение в метод run

P.S. что-то мне подсказывает, что сигнатура не совсем корректная. Отсутствует объявление дженерика T (и возможно его ограничений), отсутствует лайфтайм для ссылки в колбэке:

pub fn run<T, F>(self, event_handler: F) -> Result<(), EventLoopError>
    where
        F: for<'a> FnMut(Event<T>, &'a EventLoopWindowTarget<T>),
{
    self.event_loop.run(event_handler)
}

Answer 2

[Василий Банников]

Потому что замыкание, которое не имеет мутабельных ссылок на окружение - автоматически реализует трейты Fn, FnMut и FnOnce.

В функции run указан самый широкий вариант из возможных (Fn обычный был бы слишком узким, а FnOnce для run не подходит, тк замыкание предполагается вызывать много раз)

https://habr.com/ru/articles/588917/
https://stackoverflow.com/questions/30177395/when-...