Почему возврат изменяемой ссылки из метода препятствует вызову любых других методов, даже если ссылка выходит из области видимости? - PullRequest
Новая
       33

Почему возврат изменяемой ссылки из метода препятствует вызову любых других методов, даже если ссылка выходит из области видимости?

0 голосов
/ 26 февраля 2019

Я хочу написать простое хранилище ключей / значений, которое может хранить все что угодно.Я начал с небольшой обертки вокруг HashMap: 

use std::any::{Any, TypeId};
use std::collections::HashMap;

#[derive(Debug)]
struct Pair<'a> {
    key: &'a str,
    value: Box<Any>,
    data_type: TypeId,
}

impl<'a> Pair<'a> {
    fn new<T>(k: &'a str, v: T) -> Self
    where
        T: Any + 'static,
    {
        Self {
            key: k,
            value: Box::new(v),
            data_type: TypeId::of::<T>(),
        }
    }

    fn update<T>(&mut self, new_value: T)
    where
        T: Any + 'static,
    {
        self.data_type = TypeId::of::<T>();
        self.value = Box::new(new_value);
    }

    fn get<T>(&'a self) -> &'a T
    where
        T: Any + 'static,
    {
        self.value.downcast_ref::<T>().unwrap()
    }

    fn get_mut<T>(&'a mut self) -> &'a mut T
    where
        T: Any + 'static,
    {
        self.value.downcast_mut::<T>().unwrap()
    }
}

#[derive(Debug)]
struct Database<'a> {
    data: HashMap<&'a str, Pair<'a>>,
}

impl<'a> Database<'a> {
    fn new() -> Self {
        Self {
            data: HashMap::new(),
        }
    }

    fn insert(&mut self, data: Pair<'a>) {
        self.data.insert(data.key, data);
    }

    fn find(&self, key: &str) -> &'a Pair {
        self.data.get(key).unwrap()
    }

    fn find_mut(&mut self, key: &str) -> &'a mut Pair {
        self.data.get_mut(key).unwrap()
    }

    fn remove(&mut self, key: &str) {
        self.data.remove(key);
    }
}

#[derive(Debug)]
struct Position {
    x: f32,
    y: f32,
}

fn main() {
    let mut db = Database::new();

    // add data
    {
        let pair1 = Pair::new("testkey", "Awesome string...".to_owned());
        let pair2 = Pair::new("position", Position { x: 0.0, y: 0.0 });

        db.insert(pair1);
        db.insert(pair2);
    }

    // change data
    {
        let pair = db.find_mut("position");
        pair.get_mut::<Position>().x = 50.0;
    } // <--- end of &mut Pair

    // read data
    let pos = db.find("position");

    println!("{:?}", pos);
}

error[E0502]: cannot borrow `db` as immutable because it is also borrowed as mutable
   --> src/main.rs:101:15
    |
96  |         let pair = db.find_mut("position");
    |                    -- mutable borrow occurs here
...
101 |     let pos = db.find("position");
    |               ^^
    |               |
    |               immutable borrow occurs here
    |               mutable borrow later used here

Я не понимаю здесь заемщика.Я ограничил все, поэтому pair не существует db.find("position").Почему это не работает?Если я правильно понимаю документацию, то это использовать изменяемые переменные во вложенной области.

Я написал более простой пример и пришел из: 

fn main() {
    let mut x = 5;

    {
        let y = &mut x;
        *y = 10;
    }

    println!("{}", x);
}

Это работает, как и ожидалось.Я действительно застрял с проверкой заимствования.

1 Ответ

0 голосов
/ 26 февраля 2019

TL; DR 

fn get<T>(&self) -> &T
fn get_mut<T>(&mut self) -> &mut T

fn find(&self) -> &Pair<'a>
fn find_mut(&mut self) -> &mut Pair<'a>

Создание MCVE - жизненно важный навык для эффективного программиста.Мы каталогизируем Rust-специфические методы на теге wiki .Вот один из них для вашего кода: 

#[derive(Debug, Default)]
struct Pair<'a>(&'a str);

#[derive(Debug, Default)]
struct Database<'a> {
    data: &'a str,
}

impl<'a> Database<'a> {
    fn find(&self) -> &'a Pair {
        unimplemented!()
    }

    fn find_mut(&mut self) -> &'a mut Pair {
        unimplemented!()
    }
}

fn main() {
    let mut db = Database::default();
    {
        db.find_mut();
    }
    db.find();
}

Проблема возникает из-за того, что вы набросали время жизни без того, чтобы они были правильными.В частности: 

fn find(&self) -> &'a Pair
fn find_mut(&mut self) -> &'a mut Pair

Эти методы говорят, что они будут возвращать ссылку на Pair, которая длится столько же, сколько и данные, которые вы вставили в Database.Это не может быть правдой, потому что вы вставили данные &'static str.

Вы действительно хотите: 

fn find(&self) -> &Pair<'a>
fn find_mut(&mut self) -> &mut Pair<'a>

Добавление #![deny(rust_2018_idioms)] в ваш ящик помогает их отловить, хотя ошибкасообщения еще не идеальны: 

error: hidden lifetime parameters in types are deprecated
  --> src/main.rs:12:27
   |
12 |     fn find(&self) -> &'a Pair {
   |                           ^^^^- help: indicate the anonymous lifetime: `<'_>`

error: hidden lifetime parameters in types are deprecated
  --> src/main.rs:16:39
   |
16 |     fn find_mut(&mut self) -> &'a mut Pair {
   |                                       ^^^^- help: indicate the anonymous lifetime: `<'_>`

Если затем мы вернемся к исходной проблеме, мы увидим, что проблема все еще не исчезла.Так как у нас только что была проблема с временем жизни внутри Pair, давайте посмотрим, есть ли еще какие-то связанные проблемы: 

fn get<T>(&'a self) -> &'a T
fn get_mut<T>(&'a mut self) -> &'a mut T

Это говорит о том, что self будет жить столько же, сколько и self.keyчто не то, что вы хотите в 99% случаев.Удалите эти времена жизни explcit, чтобы разрешить нормальное время жизни: 

fn get<T>(&self) -> &T
fn get_mut<T>(&mut self) -> &mut T

См. Также:

...