RB
я уже какой раз замечаю, что где-то наверху в расте всё пишется вполне адекватно, а неадекватны просто всякие рядовые балаболы, которые попросту несут херню
Size: a a a
2021 March 04
А
Roman Blog
>Sometimes a type needs to be mutated while having multiple aliases. In Rust this is achieved using a pattern called interior mutability. A type has interior mutability if its internal state can be changed through a shared reference to it. This goes against the usual requirement that the value pointed to by a shared reference is not mutated.
да, и что?
А
>Sometimes a type needs to be mutated while having multiple aliases. In Rust this is achieved using a pattern called interior mutability.
А
this is achieved
А
в методичке написано что в принципе это можно сделать
А
хоть это и необычно
RB
опять врёшь
>std::cell::UnsafeCell<T> type is the only allowed way in Rust to disable this requirement.
А
более того это всё делается вполне в рамках safe раста (хотя под капотом там ансейф)
А
Roman Blog
>std::cell::UnsafeCell<T> type is the only allowed way in Rust to disable this requirement.
RB
более того это всё делается вполне в рамках safe раста (хотя под капотом там ансейф)
Ну ты уже с этим опозорился.
RB
в методичке написано что в принципе это можно сделать
Нельзя. Там имеется ввиду разный раст
А
есть RefCell который safe
p
Roman Blog
>std::cell::UnsafeCell<T> type is the only allowed way in Rust to disable this requirement.
Не знаю как ансейф целл, но можно сделать целл который будет разрешать брать по мутабельной ссылке их разных мест не нарушая safe гарантий
RB
есть RefCell который safe
>At any given time, you can have either (but not both of) one mutable reference or any number of immutable references.
p
Тот же RefCell
RB
Не знаю как ансейф целл, но можно сделать целл который будет разрешать брать по мутабельной ссылке их разных мест не нарушая safe гарантий
Он нарушает гарантии. Уже своим существованием. Там другие гарантии. Уже уровня хаков и то только потому, что мутабельная ссылка всё равно может быть только одна
А
Roman Blog
Он нарушает гарантии. Уже своим существованием. Там другие гарантии. Уже уровня хаков и то только потому, что мутабельная ссылка всё равно может быть только одна
UnsafeCell нарушает, на то он и unsafe
А
refcell не нарушает
p
Roman Blog
Он нарушает гарантии. Уже своим существованием. Там другие гарантии. Уже уровня хаков и то только потому, что мутабельная ссылка всё равно может быть только одна
Да, никаких гарантий не нарушается, мутабельная ссылка может быть только одна
RB
это не приводит ни к каким проблемам, кроме нарушения атомарности, но это адепты могут называть "мы этого не гарантируем"