Телеграмм чат группы rust_offtopic страница 17253

весь этот proposal будет выглядеть совершенно по другому, если текущий move не является destructive

03:10пожаловаться #1

Т8

Т-34 85 in rust_offtopic

и да, если ты будешь читать не жопой, ты неожиданно заметишь, что
We define a new verb, "relocate," which is equivalent to a move and a destroy — это работает только для destructive move
analogous to the existing verb "swap," which is equivalent to a move, two move-assignments, and a destroy — это работает только для destructive move
все тела методов — это работает только для destructive move
определение Trivially relocatable type (раздел 5.5) — в точности повторяет соответствующее для trivially moveable

если сделать мув деструктивным, не пропадёт ли способ мувить данные через swap?

03:10пожаловаться #2

Т8

Т-34 85 in rust_offtopic

если пропадёт, то это много кода наебнёт

API documentation for the Rust `swap` fn in crate `std`.

03:11пожаловаться #3

Casual tears in rust_offtopic

Т-34 85

если сделать мув деструктивным, не пропадёт ли способ мувить данные через swap?

https://doc.rust-lang.org/std/mem/fn.swap.html
нормальный мув свапам никак не мешает

doc.rust-lang.org

std::mem::swap - Rust

03:13пожаловаться #4

Т-34 85

если сделать мув деструктивным, не пропадёт ли способ мувить данные через swap?

ну написал же
auto x = std::move(y);
y.~T();
new (&y) T(__no_matter_what);
y = std::move(z);
z.~T();
new (&z) T(__no_matter_what);
z = std::move(x);

API documentation for the Rust `swap` fn in crate `std`.

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

Stanislav Popov in rust_offtopic

Casual tears

https://doc.rust-lang.org/std/mem/fn.swap.html
нормальный мув свапам никак не мешает

doc.rust-lang.org

std::mem::swap - Rust

https://doc.rust-lang.org/beta/std/ptr/fn.swap_nonoverlapping.html

Behavior is undefined if any of the following conditions are violated:

Both x and y must be valid for both reads and writes of count * size_of::<T>() bytes.

Both x and y must be properly aligned.

The region of memory beginning at x with a size of count * size_of::<T>() bytes must not overlap with the region of memory beginning at y with the same size.

doc.rust-lang.org

std::ptr::swap_nonoverlapping - Rust

API documentation for the Rust `swap_nonoverlapping` fn in crate `std`.

03:15пожаловаться #6

Stanislav Popov in rust_offtopic

ну хотя все логично да

03:16пожаловаться #7

Stanislav Popov

ну хотя все логично да

ну видал я похуже требования

03:16пожаловаться #8

для memcpy скажем еще есть требование, что даже при нулевом копировании указатели должны быть валидные

03:16пожаловаться #9

Т-34 85

стоп! Я понял, почему в Rust нет UB. Да просто потому, что нет никакого стандарта! Как появится - так и UndB и UnsB появятся

В расте тоже есть UB.

07:44пожаловаться #10

Чтобы понять ответ на этот вопрос, нужно посмотреть "идиоматическую" реализацию двусвязного списка в Rust, который заменяет указатели индексами массива, это же совсем другое, совершенно точно невозможно в велосипедной арене сделать use after free

Опять ты со своим двусвязным списком который не нужен практически никогда)

07:45пожаловаться #11

а, наверное можно совершенно случайно сохранить индекс элемента vec в какой-нибудь структурке (указатель), потом элемент удалят из списка с формированием битого индекса, а потом аллокатор снова отдаст этот элемент, и никакие проверки указателей нас больше не спасут?

Опять какую-то херню несешь

07:47пожаловаться #12

Т8

Т-34 85 in rust_offtopic

polunin.ai

В расте тоже есть UB.

на самом деле, я где-то эту мысль уже слышал, но забыл о ней. Заново открыта :)

07:49пожаловаться #13

Например запись по указателю в рандомный участок памяти

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

Tony 123 in rust_offtopic

нет, все логично

08:04пожаловаться #15

Вся ваша эта статика нужна для неуверенных в себе людей. Для сосунков, которые и шагу на лестнице не держась за перилы бояться сделать. Для маменьких деток, которые прячутся под юбкой. Вы не цените свободы, вам нравится рабство. Рабство у компилятора. Примерно те же люди голосуют за Путина, им важнее чувство безопасности а не свободы.

08:05пожаловаться #16

Нифига ты завернул

08:22пожаловаться #17

Тогда автомобиль с абс нужен тем же людям)

08:23пожаловаться #18

Дифавтоматы на электро ввод в квартиру тоже ставят не уверенные в себе сосунки: ты же знаешь ограничения по потреблению и никогда не можешь включить больше или устроить КЗ

08:24пожаловаться #19

В общем я поддерживаю, да х)