Size: a a a

2021 March 04

RB

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

D

Dima in rust_offtopic
Roman Blog
Это не связано с мутабельностью. Просто у тебя это через неё решается. Ты не можешь отследить время жизни, если бы мог - никаких проблем не имел бы.

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

RB

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

RB

Roman Blog in rust_offtopic
Dima
тебя видимо смущает то что в расте мутабельные ссылки называется мутабельными, это не то что они выражают, их уже кто только не предланал переименновать в unique ссылки, но уже поздно
правильно, потому что уникальные ссылки не имеют проблем. Но если у тебя всё уникальная ссылка - у тебя нет проблем, очевидно. У тебя есть проблемы, когда ссылки не уникальные
источник

RB

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

RB

Roman Blog in rust_offtopic
значит она должна быть уникальна.
источник

RB

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

D

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

RB

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

Z

Zaner in rust_offtopic
Roman Blog
просто ты через лайфтайм связываешь всё это воедино. Но оно не является алиасимы - ты просто хакаешь систему
Что плохого в том чтобы хакать систему и использовать типы для защиты от инвалидации ссылок, пусть и весьма ограниченно?
источник

RB

Roman Blog in rust_offtopic
Zaner
Что плохого в том чтобы хакать систему и использовать типы для защиты от инвалидации ссылок, пусть и весьма ограниченно?
В этом нет ничего плохого. плохое в том, что адепты не понимают этого. Они думают, что это какой-то раст. Нет - это просто хаки поверх базовой модели.
источник

RB

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

А

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

RB

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

D

Dima in rust_offtopic
Roman Blog
ну значит это мусор
это просто инструмент
источник

RB

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

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

RB

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

RB

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

RB

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

RB

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