RB
а вообще это хороший пример тому, о чём я говорил. Почему safe - мусор. Его ограниченность не позволяет сделать api для unsafe, даже api, потому как оно не влезает
Size: a a a
2021 March 04
RB
да, ты можешь хакнуть всё и родить две mut &
RB
но как только ты их родишь(хотя никакой чекер тебе ничего не скажет) всё поедет по жопе
RB
там так же об этом сказано. mut & должна быть уникальна
RB
И с т.з. unsafe - это корректная логика, а с ТЗ safe - нет
RB
это к вопросу "у нас вся жопа только в unsafe" - нет. Здесь жопа именно в safe
RB
*alias_a = 123, x = *alias_b - не является проблемой в unsafe, если мы кастанём их к mut &, то чекер ничего не скажет, а жопа будет
RB
даже этого достаточно
RB
https://github.com/rust-lang/rust/issues/63818#issuecomment-526579977 - а ну там совсем всё плохо
RB
>In short, the idea is that if you have a &mut Generator reference, it would be treated similarly to a *mut Generator reference for the purposes of aliasing rules (in stacked borrows terms, SharedRw; in LLVM terms, it would not be marked noalias).
RB
это просто гениальный язык. Сектанты обгадились со своим мусором, ничего не могут и они реализуют отдельную семантику для &mut generator
RB
т.е. нахрне гарантии. Не смогли с гарантиями, не смогли их адаптировать - а давайте будем считать эту ссылку за указатель
А
Roman Blog
это просто гениальный язык. Сектанты обгадились со своим мусором, ничего не могут и они реализуют отдельную семантику для &mut generator
ага и ты в это говно залез
А
только зачем?
А
тебе так нравится ковыряться в говне сектантов
D
Roman Blog
это просто гениальный язык. Сектанты обгадились со своим мусором, ничего не могут и они реализуют отдельную семантику для &mut generator
ну и для того чтоб не городить отдельную семантику для генераторов предложили UnsafeAliasedCell
RB
ну изначально я как-то более лояльно к этому относился. Думал - ну вот, делают. Думал всё круто. Сложно сделать что-то говнее С++
RB
Dima
ну и для того чтоб не городить отдельную семантику для генераторов предложили UnsafeAliasedCell
это не поможет.
А
Roman Blog
ну изначально я как-то более лояльно к этому относился. Думал - ну вот, делают. Думал всё круто. Сложно сделать что-то говнее С++
ну так и не сделали говнее C++
RB
Dima
ну и для того чтоб не городить отдельную семантику для генераторов предложили UnsafeAliasedCell
Пойми, чтобы тебе мочь возможность использовать заврапанный указатель из safe - тебе нужно получить ссылку