Телеграмм чат группы rustlang

Из функции две мутабельные ссылки не возвращаются и вошедшая в функцию ссылка не разморозится из-за 'static и lifetime elision. А внутри функции никто ссылки эти не использует, только как байтики трансмутит.

источник

14:20пожаловаться #6

Mikail Bagishov in Rust — русскоговорящее сообществo

Тут все опирается в конкретную модель алиасинга - возникает UB лишь от существования или еще какие-то телодвижения нужны.

А окончательной модели пока нет, так что ИМХО лучше писать код, который гарантированно не взорвется

источник

14:22пожаловаться #7

Эрик in Rust — русскоговорящее сообществo

Если бы там была ссылка как явный тип, а не как генерик, было бы UB.

источник

14:22пожаловаться #8

Эрик in Rust — русскоговорящее сообществo

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

источник

14:22пожаловаться #9

Mikail Bagishov in Rust — русскоговорящее сообществo

Эрик

Если бы там была ссылка как явный тип, а не как генерик, было бы UB.

Лол

источник

14:23пожаловаться #10

Mikail Bagishov in Rust — русскоговорящее сообществo

Давай так: когда LLVM и MIR-optimizer будут ломать твою программу, они будут видеть уже мономорфизированный код

источник

14:24пожаловаться #11

Mikail Bagishov in Rust — русскоговорящее сообществo

Если в одной из функций будет UB, то они ее мискомпилируют независимо от того, была ли она изначально полноценной функций или лишь чьей-то мономорфизацией

источник

14:24пожаловаться #12

Эрик in Rust — русскоговорящее сообществo

LLVM не будет ломать, потому что он лайфтаймы не видит, а алиасинг там не такой как в расте.

источник

14:25пожаловаться #13

Mikail Bagishov in Rust — русскоговорящее сообществo

Это просто "пруф" того, что дженерики не спасают от UB.

источник

14:27пожаловаться #14

Mikail Bagishov in Rust — русскоговорящее сообществo

В этом плане дженерик параметры никак не отличаются от обычных параметров: также как мы говорим "поведение этой функции неопределено, если x%2 ==1", также можно сказать "поведение этой функции неопределено, если T = &'a mut U для некоторых 'a и U"

источник

14:33пожаловаться #15

Эрик in Rust — русскоговорящее сообществo

Mikail Bagishov

Когда реборровинг мутабельных ссылок заменят чем-то другим — то есть никогда — memcpy мутабельной ссылки будет UB. А пока что норм.

источник

14:35пожаловаться #16

bœ in Rust — русскоговорящее сообществo

когда-то видел здесь линк на github репу,где был документ с задачами для программиста, от легкого до сложного, сделать нейросеть, сделать калькулятор итп, может кто-то помнит такое? типа челленджа +))

источник

15:35пожаловаться #17

Tommy in Rust — русскоговорящее сообществo

bœ

Такое есть

источник

15:41пожаловаться #18

bœ in Rust — русскоговорящее сообществo

оно самое,спс

источник

15:41пожаловаться #19

Константинтий... in Rust — русскоговорящее сообществo

Неизвестную ошибку компилятора словил

источник

15:44пожаловаться #20