B
И вобще, под bare metall, без OS
Reader::read() затрёт.Size: a a a
2018 November 30
AZ
Нельзя без ансейфа выделить неинициализированной памяти, даже если ты точно знаешь что ее потом
можно
AZ
MaybeUninit в помощь
λ
let mut buffer: Vec<u8> = Vec::with_capacity(4096);
unsafe { buffer.set_len(4096); }
А в чём смысл данной операции? Ведь 4096 байт уже выделено в первой строчке.
AZ
Внутри, под капотом, и хорошо продебаженый, и протестированый)
местами формально доказанный
AZ
ID:693357436
Так и не смог я смириться с мыслью, что под капотом у программы роется программист, а под капотом в коде у программиста есть еще какой-то черный ящик с надписью unsafe rust, куда программисту говорят "не лезь"
ансейф это не небезопасно
B
MaybeUninit в помощь
Хм, nightly
B
А кто-то использует не nightly Rust?)))
AZ
смысл в том, что если сделать компилятоР, который ловит 100% проблем ты охуеешь в типах все описывать
NK
А есть какой-нибудь формат попроще mp3? Хочу попрактиковаться в реализации декодеров, а у mp3 вроде не самый простой стандарт
AZ
поэтому делают компилятор в 100 раз проще, который ловит 99% проблем, и с которым можно жить
AZ
ID:693357436
А есть какой-нибудь формат попроще mp3? Хочу попрактиковаться в реализации декодеров, а у mp3 вроде не самый простой стандарт
wav
Ct
А в чём смысл данной операции? Ведь 4096 байт уже выделено в первой строчке.
Выделено, да. Но при обращении к
buffer[i] ты получишь паникуλ
Выделено, да. Но при обращении к
buffer[i] ты получишь паникутак туда же писать надо, а не читать
λ
push(...)λ
extend_from_sliceCt
push(...)А теперь представь что писать тебе с конца надо
λ
Ну ок
Ct
Эти 2 функции к тому-же лишние бранчи создают
AZ
into_boxed_slice кстати иногда помогает