p
Это можно было бы доказать что это сейф через формальную верификацию
Size: a a a
2021 March 04
p
А больше ничего Раст и не гарантирует про мутабельных ссылки
p
Значит нарушений гарантий нет
RB
Это можно было бы доказать что это сейф через формальную верификацию
Это уже балабольство. Это нарушение базового инварианта safe-раста. И это гарантия уровня "мамой клянусь", ты теперь пытаешься съхать на "а вот если" - нету если. Есть базовые гарнатии - они здесь не работают
p
Roman Blog
Это уже балабольство. Это нарушение базового инварианта safe-раста. И это гарантия уровня "мамой клянусь", ты теперь пытаешься съхать на "а вот если" - нету если. Есть базовые гарнатии - они здесь не работают
Работают
А
Roman Blog
>At any given time, you can have either (but not both of) one mutable reference or any number of immutable references.
но ты можешь иметь сколько угодно иммутабельных ссылок на refcell и в нужный момент безопасно получить из них мутабельную ссылку
p
Сделай мне с помощью рефцелла две мутабельных ссылки
p
Тогда поговорим
RB
Работают
Нет. Unsafe - уже их хакает.
RB
Сделай мне с помощью рефцелла две мутабельных ссылки
Мне и нужно 2 ссылки. Ты не забывай, что ты уже поплыл - это раз
А
Roman Blog
Мне и нужно 2 ссылки. Ты не забывай, что ты уже поплыл - это раз
зачем?
RB
затем, что именно в этом смысл шаринга. И именно в подобных кейсах существуют проблемы
RB
проблем, когда ссылка мутабельная одна - нет, кроме атомарности
RB
о чём я сообщил выше
А
тогда зачем делать проблемный кейс, когда можно делать непроблемный?
RB
тогда зачем делать проблемный кейс, когда можно делать непроблемный?
Нельзя. Если бы можно его не делать - никаких проблем не существовало
А
Roman Blog
Нельзя. Если бы можно его не делать - никаких проблем не существовало
почему нельзя?
RB
ну потому что свойство мироздания. Почему. нужно мочь мутировать из двух мест. Всё. Других вариантов нет
RB
если бы были - никаких проблем не существовало бы
А
Roman Blog
ну потому что свойство мироздания. Почему. нужно мочь мутировать из двух мест. Всё. Других вариантов нет
мутировать из двух мест ты можешь безопасно с помощью refcell