Что эквивалентно финалу Java в Rust?

Question

Что такое Rust эквивалент в Java final методов, свойств и т.д. ...

Answer 1

• final методов не имеет смысла, потому что ржавчина не имеет наследование реализации.
• final для свойств не существует, потому что он не имеет сетки с унаследованной изменчивостью. В большинстве случаев свойства a.x являются изменяемыми тогда и только тогда, когда их владелец a изменен. В то время как можно выбрать большую изменчивость (это называется , присущей изменчивости), обратное (поле, неизменяемое в пределах изменяемого в противном случае значения) считалось слишком большим количеством хлопот, чтобы быть полезным. Отчасти это связано с тем, что Rust не по умолчанию ссылается на семантику, поэтому вы всегда можете полностью переписать «объект», даже если вы не можете перезаписать отдельные поля.
• final для локальных переменных аналогичен поведению по умолчанию в Rust (переменные по умолчанию являются глубоко неизменными). Существуют различия, в основном, то, что локальный ссылочный тип final предотвращает изменение ссылки , но не ссылающийся объект — Rust наследует изменчивость, см. Выше.