Э
Хотя
align_to вроде бы внутри ассертит, что длина меньше isize::MAX. А вот с from_raw_parts ты бы обкекался.Size: a a a
2020 September 30
BV
да, но не любые 8 бит адресуемы
любые, но не все будут там где нужно
Э
Вот поэтому я и не люблю unsafe.
в🧇
Хотя
align_to вроде бы внутри ассертит, что длина меньше isize::MAX. А вот с from_raw_parts ты бы обкекался.блинба, надо проверить что я нигде так-же не налажал уже...
EG
а на архитектурах, где байты не 8 бит (существуют такие, где 16) уже может быть и не так хорошо
Кстати, а Rust-то поддерживает хоть одну такую архитектуру?
EG
Берём x32 машину.
Делаем
пихаем
Делаем
Получаем UB.
Делаем
let v: Vec<u64> = vec![0; isize::MAX / 4];
пихаем
&v в твою функцию.Делаем
.index(len - 1) на получившуюся слайсу.Получаем UB.
Это сугубо теоретическая проблема.
На практике если ты создал такой вектор, то он у тебя занимает буквально половину памяти. stdlib в нескольких местах полагается на то, что этого не происходит.
На практике если ты создал такой вектор, то он у тебя занимает буквально половину памяти. stdlib в нескольких местах полагается на то, что этого не происходит.
BV
Кстати, а Rust-то поддерживает хоть одну такую архитектуру?
а надо смотреть по tier'ам
MB
Кстати, а Rust-то поддерживает хоть одну такую архитектуру?
Вроде нет
Э
Это сугубо теоретическая проблема.
На практике если ты создал такой вектор, то он у тебя занимает буквально половину памяти. stdlib в нескольких местах полагается на то, что этого не происходит.
На практике если ты создал такой вектор, то он у тебя занимает буквально половину памяти. stdlib в нескольких местах полагается на то, что этого не происходит.
Не-а, вектор ассертит только что
capacity < isize::MAX, а вот длину в байтах — нет.EG
Не-а, вектор ассертит только что
capacity < isize::MAX, а вот длину в байтах — нет.Если у тебя есть вектор на isize::MAX байт, у тебя уже такие серьёзные проблемы, что каст — наименьшая из них.
MB
Не-а, вектор ассертит только что
capacity < isize::MAX, а вот длину в байтах — нет.Длина в байтах не больше capacity в байтах, а она тоже чекается насколько я помню.
EG
Но если тебя так волнуют потенциальные проблемы в том случае, если ты пытаешься создать вектор размером в половину всей адресуемой памяти, то можно просто добавить ассерт.
Э
А, да, ошибся, там
Layout::size в байтах возвращает.BV
Но если тебя так волнуют потенциальные проблемы в том случае, если ты пытаешься создать вектор размером в половину всей адресуемой памяти, то можно просто добавить ассерт.
на половину памяти в х32 не выйдет чисто физически
Э
на половину памяти в х32 не выйдет чисто физически
Руками аллоцировать?
MB
Длина в байтах не больше capacity в байтах, а она тоже чекается насколько я помню.
BV
Руками аллоцировать?
да, там до 2 ГБ даётся пользователю адресного пространства
EG
Если ты не пишешь библиотеку для криптографии или кровавого эмбеддеда, ИМХО, ты можешь немного расслабиться и предположить, что векторов размеров в isize::MAX байт не существует.
EG
И вообще слайсов.
EG
Технически, можно собрать слайс не из вектора.
Можно ммапнуть большой файл в виртуальную память и оттуда взять слайс произвольного размера.
Можно ммапнуть большой файл в виртуальную память и оттуда взять слайс произвольного размера.