У меня есть черта с функцией, которая принимает ссылку на итератор:

#[derive(Clone)]
struct Dog {
    name: &'static str,
}

trait DogListAction<'a, I>
where
    I: Iterator<Item = &'a Dog>,
{
    fn on_dog_list(&mut self, dog_list: I);
}

struct DogListActionExample {}

impl<'a, I> DogListAction<'a, I> for DogListActionExample
where
    I: Iterator<Item = &'a Dog>,
{
    fn on_dog_list(&mut self, dog_list: I) {
        for dog in dog_list {
            println!("{}", dog.name);
        }
    }
}

fn main() {
    let dogs = vec![Dog { name: "Pluto" }, Dog { name: "Lilly" }];
    let mut action_example = DogListActionExample {};
    let mut dog_list_actions: Vec<Box<DogListAction<_>>> = vec![Box::new(action_example)];
    loop {
        let dog_clone = dogs.clone();
        for dog_list_action in &mut dog_list_actions {
            dog_list_action.on_dog_list(dog_clone.iter());
        }
    }
}

детская площадка

Он не требует ссылки на элементы, поэтому нет необходимости, чтобы он длился дольше, чем вызов функции.

Из-за моего ограниченного понимания жизней я пока не знаю, как это выразить. Вызов этой функции вызывает ошибку компиляции:

error[E0597]: `dog_clone` does not live long enough
  --> src/main.rs:33:41
   |
33 |             dog_list_action.on_dog_list(dog_clone.iter());
   |                                         ^^^^^^^^^ borrowed value does not live long enough
34 |         }
35 |     }
   |     - `dog_clone` dropped here while still borrowed
36 | }
   | - borrowed value needs to live until here

Я предполагаю, что средство проверки заимствований считает, что данные в dog_clone могут быть упомянуты после завершения функции, но это не так.

4
Clynamen 5 Окт 2018 в 22:36

1 ответ

Лучший ответ

Проблема здесь в том, что код потенциально может сохранять кратковременные ссылки на элементы dog_clone в более долгоживущих dog_list_actions. Нам нужно сообщить компилятору, что мы не будем сохранять ссылки, создаваемые итератором. Сделать это можно так:

trait DogListAction {
    fn on_dog_list<'a, I>(&'a mut self, dog_list: I)
    where
        I: Iterator<Item = &'a Dog>;
}

Теперь Item могут жить в течение вызова on_dog_list. В исходном коде они должны существовать дольше.

Но этот код создает другую проблему: мы больше не можем упаковывать черту DogListAction, поскольку она включает универсальную функцию. Обычный подход здесь - использовать типаж-объект:

trait DogListAction {
    fn on_dog_list<'a>(&'a mut self, dog_list: Box<dyn Iterator<Item = &'a Dog> + 'a>);
}

Обратите внимание на второй 'a в Box<dyn Iterator<Item = &'a Dog> + 'a>. Rust по умолчанию добавляет черту 'static, привязанную к упакованным в коробку объектам, и нам здесь не нужен 'static.

#[derive(Clone)]
struct Dog {
    name: &'static str,
}

trait DogListAction {
    fn on_dog_list<'a>(&'a mut self, dog_list: Box<dyn Iterator<Item = &'a Dog> + 'a>);
}

struct DogListActionExample {}

impl DogListAction for DogListActionExample {
    fn on_dog_list<'a>(&'a mut self, dog_list: Box<dyn Iterator<Item = &'a Dog> + 'a>) {
        for dog in dog_list {
            println!("{}", dog.name);
        }
    }
}

fn main() {
    let dogs = vec![Dog { name: "Pluto" }, Dog { name: "Lilly" }];
    let action_example = DogListActionExample {};
    let mut dog_list_actions: Vec<Box<DogListAction>> = vec![Box::new(action_example)];
    {
        let dogs_clone = dogs.clone();
        for dog_list_action in &mut dog_list_actions {
            dog_list_action.on_dog_list(Box::new(dogs_clone.iter()));
        }
    }
}

Детская площадка

3
Shepmaster 6 Окт 2018 в 12:08