Э
Ну такое.
Size: a a a
2020 August 23
V
Так моя структура вряд ли будет в массиве
Это не важно, у нее должен быть размер такой, чтобы она могла быть в массиве и при этом все поля были бы с заданным выравниванием, а индексация проходила по тупому i*size_of_struct (Это про обычные структуры и их паддинг).
Лейаут конечно паддинг включать не будет без необходимости, так как расчет на то, что массив ты тоже будешь через лайаут делать, и только в этом случае он должен будет добавиться.
Лейаут конечно паддинг включать не будет без необходимости, так как расчет на то, что массив ты тоже будешь через лайаут делать, и только в этом случае он должен будет добавиться.
V
Да, но обычно аллокатор подъедает, не?
а аллокатор тут не причем, он может жрать сколько ему вздумается. Обычно в аллокаторах есть набор оптимизаций, который делит память на чанки, и выделяет их, даже если используется только часть.
В
Это не важно, у нее должен быть размер такой, чтобы она могла быть в массиве и при этом все поля были бы с заданным выравниванием, а индексация проходила по тупому i*size_of_struct (Это про обычные структуры и их паддинг).
Лейаут конечно паддинг включать не будет без необходимости, так как расчет на то, что массив ты тоже будешь через лайаут делать, и только в этом случае он должен будет добавиться.
Лейаут конечно паддинг включать не будет без необходимости, так как расчет на то, что массив ты тоже будешь через лайаут делать, и только в этом случае он должен будет добавиться.
Она в принципе не может быть в массиве,
?Sized же...V
Она в принципе не может быть в массиве,
?Sized же...А как это мешает?
V
Т.е. да, в расте нельзя сделать
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=86e936fdb04f05b40e84ad576478a1d2
[T:!Sized; 12] но ты же аллоцируешь ручками, кто мешает тебе делатьlet array = full.clone().extend(full); и так до нужного размера массива https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=86e936fdb04f05b40e84ad576478a1d2
В
Т.е. да, в расте нельзя сделать
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=86e936fdb04f05b40e84ad576478a1d2
[T:!Sized; 12] но ты же аллоцируешь ручками, кто мешает тебе делатьlet array = full.clone().extend(full); и так до нужного размера массива https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=86e936fdb04f05b40e84ad576478a1d2
Да, но я точно так-же ко всему могу добавить отдельный u8/u16/etc и это не потребует округления до 32
В
Не получается использовать ручную аллокацию, miri ругается:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=8a83c0cb9b90853212bcca105903a9b2
error: Undefined Behavior: memory access failed: pointer must be in-bounds at offset 6, but is outside bounds of alloc2190 which has size 5
Совершенно не понимаю что именно не такhttps://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=8a83c0cb9b90853212bcca105903a9b2
В
После замены
u16 на [u8; 2] мири не ругается, так что возможно что-то с aligment'ом не так, хотя странноЭ
Очевидно, что указатель на твою структуру не совпадает с Box.
В
Очевидно, что указатель на твою структуру не совпадает с Box.
неочевидно. ошибку можно и без
box воспроизвестиCt
Не получается использовать ручную аллокацию, miri ругается:
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=8a83c0cb9b90853212bcca105903a9b2
error: Undefined Behavior: memory access failed: pointer must be in-bounds at offset 6, but is outside bounds of alloc2190 which has size 5
Совершенно не понимаю что именно не такhttps://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=8a83c0cb9b90853212bcca105903a9b2
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=7797e3ccd3ccaf295274c18c6836376b
Добавление
Добавление
pad_to_align волшебным образом проблему решаетВ
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=7797e3ccd3ccaf295274c18c6836376b
Добавление
Добавление
pad_to_align волшебным образом проблему решаетСпасибо, пошёл курить доку....
Э
Это из-за repr(C).
Ct
Спасибо, пошёл курить доку....
https://doc.rust-lang.org/std/alloc/struct.Layout.html#method.extend
В extend описано, что надо pad_to_align вызывать
В extend описано, что надо pad_to_align вызывать
В
Это из-за repr(C).
(нет)
В
https://doc.rust-lang.org/std/alloc/struct.Layout.html#method.extend
В extend описано, что надо pad_to_align вызывать
В extend описано, что надо pad_to_align вызывать
Действительно, пропустил это.
В
Тем не менее без
repr(c) miri выдаёт ту же ошибкуEG
Без
#[repr(C)] ты ж вообще не имеешь права ничего предполагать про память, не?