KK
а как ты получаешь буффер вектора? into_raw_parts забирает владение вектором и отдает память тебе под контроль, например
let capacity = values.capacity();
let ptr = values.as_mut_ptr();
Size: a a a
2020 December 09
A
А как дропнуть вектор, что бы не вызывать деаллокацию занятую его буффером память (я её к этому моменту в другой вектор засунул через
Vec::from_raw_parts())?Я так чисто по ламерски, но может Vec<Option<T>> при занулвании значений оставит прежнюю память?)
в🧇
Я этот способ подглядел в нестабильном методе вектора into_raw_parts()
а, он не стабильный... тогда просто копипасть его
a
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=e5c63b5515da3889368af4cbb6d5fe19
получаю такую ошибку:
я чего-то не вижу? или компилятор недостаточно умен? если второй вариант - можно ли это считать багом в компиляторе?
получаю такую ошибку:
23 | match files::table
| _______________^
24 | | .filter(files::remote_id.eq(remote_id.clone()))
25 | | .get_results(db_pool)
| |__________________^ pattern `Ok(_)` not covered
я чего-то не вижу? или компилятор недостаточно умен? если второй вариант - можно ли это считать багом в компиляторе?
A
let capacity = values.capacity();
let ptr = values.as_mut_ptr();
а зачем так, когда есть into_raw_parts, который получает эти значения и дропает вектор
в🧇
Вот это мне поможет
ManuallyDrop::new(vec)?это даже в примерах
from_raw_parts естьKK
а зачем так, когда есть into_raw_parts, который получает эти значения и дропает вектор
Он не стабильный и мне не надо его сразу дропать. Мне надо из него последовательно считать значения сконвертить их в другой тип и запихнуть в тот новый вектор, который я создал на основе буфера первого. Т.е. мне надо сконвертить Vec<f64> в Vec<i32> не выделяя новой памяти.
в🧇
Он не стабильный и мне не надо его сразу дропать. Мне надо из него последовательно считать значения сконвертить их в другой тип и запихнуть в тот новый вектор, который я создал на основе буфера первого. Т.е. мне надо сконвертить Vec<f64> в Vec<i32> не выделяя новой памяти.
2 вектора с одним буфером ты использовать одновременно не можешь, если что
A
Он не стабильный и мне не надо его сразу дропать. Мне надо из него последовательно считать значения сконвертить их в другой тип и запихнуть в тот новый вектор, который я создал на основе буфера первого. Т.е. мне надо сконвертить Vec<f64> в Vec<i32> не выделяя новой памяти.
ну тогда да, ManuallyDrop
KK
2 вектора с одним буфером ты использовать одновременно не можешь, если что
Почему же не могу - вроде всё нормально заработало. И да, пришлось заюзать unsafe, что бы создать новый вектор из указателя на буфер первого вектора.
D
ну у тебя же один вектор в итоге получается
в🧇
Почему же не могу - вроде всё нормально заработало. И да, пришлось заюзать unsafe, что бы создать новый вектор из указателя на буфер первого вектора.
Ну как что, UB у тебя)
в🧇
2 уникальных указателя на одну память
p
Он не стабильный и мне не надо его сразу дропать. Мне надо из него последовательно считать значения сконвертить их в другой тип и запихнуть в тот новый вектор, который я создал на основе буфера первого. Т.е. мне надо сконвертить Vec<f64> в Vec<i32> не выделяя новой памяти.
из той же памяти создавать вектор с другим типом - а не УБ ли это :))
тут всякие моменты с align, освобождением памяти, размером границ встают.
тут всякие моменты с align, освобождением памяти, размером границ встают.
KK
Ну как что, UB у тебя)
С чего бы? i32 в два раза меньше чем f64. Я в цикле читаю последовательно все f64, и потом в этот же буфер записываю i32. i32 никогда не догонят f64.
p
2 уникальных указателя на одну память
дык у вектора не Unique<T> вроде
в🧇
дык у вектора не Unique<T> вроде
Unique
в🧇
С чего бы? i32 в два раза меньше чем f64. Я в цикле читаю последовательно все f64, и потом в этот же буфер записываю i32. i32 никогда не догонят f64.
У тебя 2 вектора существуют одновременно?
KK
Разве что я не уверен что capacity для Vec<i32> будет всегда в два раза больше чем capacity для Vec<f64>
D
подождите, так один вектор "преобразуется" в другой, или всё-таки остаются и старый, и новый, указывающий на ту же область памяти, что и старый?