Изменчивость в полях для структур в Rust - PullRequest
Новая
       38

Изменчивость в полях для структур в Rust

0 голосов
/ 10 апреля 2020

Я все еще новичок в Rust, но у меня есть сомнения в том, как работает изменчивость для полей в структурах. В частности, как мы можем изменить поля, которые изначально были неизменяемыми. Например: 

struct Point {
    x: isize,
    y: isize,
}

impl Point {
    fn new(x: isize, y: isize) -> Self {
        Self { x, y }
    }
    fn set_x(&mut self, new_x: isize) {
        self.x = new_x;
    }
}

struct Line {
    p: Point,
    q: Point,
}

impl Line {
    fn new(p: Point, q: Point) -> Self {
        Self { p, q }
    }
    fn set_x_in_p(&mut self, new_x: isize) {
        self.p.set_x(new_x);
    }
}

fn main() {
    // Both x and y are immutable
    let p = Point::new(0, 0);
    let q = Point::new(1, 1);

    // Line IS mutable
    let mut line = Line::new(p, q);

   // Modifying point p (originally immutable) with a new x 
    line.set_x_in_p(999);
}

Вместо ссылок мы не можем 

   let x = 3;
   let y = &mut x; // does not work because x originally is immutable

Итак, как это работает? Спасибо.

Ответы [ 2 ]

1 голос
/ 10 апреля 2020

В вашем примере p и q действительно неизменны, но затем вы перемещаете их в экземпляр Line с помощью конструктора, поскольку они передаются по значению и не реализуют Copy для включения неявное копирование. Это означает, что исходные привязки (p и q) больше не действительны (компилятор не позволит вам их использовать), а значения доступны только через изменяемую привязку line, которая позволяет изменять члены. По сути, это не значения , которые могут изменяться, а их привязки. Например, следующий код можно использовать для повторной привязки значения для изменения его изменчивости: 

let x = String::from("hello world"); // using String as an example of a non-Copy type

let mut x = x; // this shadows the previous binding with a mutable one of the same name
x.make_ascii_uppercase(); // we can now mutate the string
let x = x; // shadow the mutable binding with an immutable one

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

Этот пример работает, поскольку мы имеем прямой контроль над значением и можем перемещать / связывать его по своему усмотрению. Введение ссылок ограничит то, что может быть сделано - например, следующие примеры не будут работать: 

let x = String::from("hello world");
let x_ref = &x; // create an immutable reference to x
let mut x_mut = x; // error - we can't move x while it's borrowed
let x_mut_ref = &mut x; // error - we can't create a mutable reference while any other references exist

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

0 голосов
/ 10 апреля 2020

Когда вы объявляете x, вы указываете его как неизменяемый с let вместо let mut. Когда вы объявляете y и инициализируете его как &mut x, вы пытаетесь заимствовать x. В Rust единственное, что вы никогда не сможете сделать, - это одновременно иметь совместное владение И изменчивость.

Проверьте , что Нико Мацакис говорит о владении.

...