Принудительное неизменяемое поле структуры в Rust

Question

Итак, по-видимому, в последних версиях Rust вы не указываете изменчивость внутри struct, но наследуется от корня. Замечательно. Но мне было интересно, можно ли заставить поле всегда неизменно, даже когда корень изменен.

Что-то вроде:

struct A { 
    immut s: Shape; // immutable by design 
    bla: Bla; // this field inheriting (im)mutability 
} 
let mut a = make_a(); 
a.s = ...; // illegal 

Это поможет поддерживать хорошие семантические ограничения в программе, так же, как final в Java делает (в очень ограниченном объеме).

Кроме того, мы могли себе представить такого род struct имея некоторые не владеющую ссылку на внутренние неизменные данные, воспользовавшись этой неизменность ...

Answer 1

Невозможно иметь неизменность одного поля. Был такой вариант в древнем version of Rust (думаю, до 0,8), но он был отброшен, потому что правила путали LOT. Смущать, как вы могли бы спросить? Подумайте об этом так, если поле объявлено изменчивым, а struct объявляется изменчивым, а ссылка используется как &, тогда поле _______.

Лучшее, что отметил Кевин Балларад, состоит в том, что вы можете объявить свое поле Shape частным и сделать метод геттера с использованием impl A {...}.

struct A { 
    priv s: Shape; // can't be seen outside of module 
    bla: Bla; // this field inheriting (im)mutability 
} 

let mut a = A::new(); 
a.s = ...; // illegal 
println!(a.s) //also illegal 
println!(a.getS()) // could be made to serve as a read-only method 

Также есть предложение в Русте, что может упасть понятие изменяемости и неизменности полностью (вы не можете сказать структура не меняется). См. Niko's explanation для этого изменения.

Для получения дополнительной информации о

Answer 2

Вы не можете заставить неизменность на поле. Как бы структура изменила свою собственную ценность, когда это необходимо?

Что вы можете сделать, это сделать поле частным и разоблачить метод getter, чтобы вернуть ссылку на него (или скопировать/клонировать значение).