очевидно, что если мы не можем менять ничего - ничего не сломается. Но это не значит, что изменение само по себе имеет проблему. Изменяется всё. К тому же там в принципе разные сущности меняются

тебя видимо смущает то что в расте мутабельные ссылки называется мутабельными, это не то что они выражают, их уже кто только не предланал переименновать в unique ссылки, но уже поздно

просто ты через лайфтайм связываешь всё это воедино. Но оно не является алиасимы - ты просто хакаешь систему

правильно, потому что уникальные ссылки не имеют проблем. Но если у тебя всё уникальная ссылка - у тебя нет проблем, очевидно. У тебя есть проблемы, когда ссылки не уникальные

именно на этом принципе построена безопасность раста. Если у нас есть какой-то шаринг(любой) и мутация - это может привести к проблемам. Запретить. Мутация нам нужна - как она не м ожет привести к проблеме? Когда не может дать сайд-эффекта, кроме как для самой себя

значит она должна быть уникальна.

мы создали некую норку, где всё хорошо. Единственное,что мы сделали - это ограндили её явно

Ну да

раст не дал безопасноти, не дал решения каких-то задач приводящих к проблемам. Он просто дал явное отделение самом примитивное и колхозно сделанной "Норы" безопасности

Что плохого в том чтобы хакать систему и использовать типы для защиты от инвалидации ссылок, пусть и весьма ограниченно?

В этом нет ничего плохого. плохое в том, что адепты не понимают этого. Они думают, что это какой-то раст. Нет - это просто хаки поверх базовой модели.

никто не говорит, что это не полезно. Здесь просто важно понимать то, чем оно является

Какой базовой модели?

потому что непонимание приводит к той самой херне, что мне тут адепты несут.

это просто инструмент

Я выше написал. Раст умеет отслеживать только текущий скоуп, условно. Вот там примитивная логика подсчёта алиасов. ==1 - mut. >1 - ro. Но в реальности это целиком иполностью бесполезно, там кто-то кидал на wlifetime. Вот раст в принципе не может вообще ничего, что адепты пытаются там проверять.

Поэтому были введены лайфтаймы и адепта заставили работать за анализатор. Лайфтамы предполагались как ручное прописывание алиасов.

вот далее адепты увидели, что можно алиасить в принципе жопу и палец и обмазываясь unsafe что-то там хакать

спасая от какой-то ошибки. Но это не безопасность языка, не безопасность вообще. Это именно что ручная безопасность. Которая наколхожена руками, допустим, в том самом векторе

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

раст, лайфтаймы и вся эта херня используется просто как инструмент. И её использование не гарнатирует какой-то безопасности, корректности. Ничего вообще.