MB
По той же причине отклонили метод типа merge у слайсов, который склеивал бы два касающихся слайса в один большой
Size: a a a
2020 October 06
K
По той же причине отклонили метод типа merge у слайсов, который склеивал бы два касающихся слайса в один большой
Да, его вроде оставили но он unsound
в🧇
Да, его вроде оставили но он unsound
В доках его нет, так что как минимум не оставили
K
в🧇
это где?
Э
А как ты проверишь, что они лежат в одной аллокации?
А какая разница, если у слайсы лайфтайм?
Э
А, хотя да,
offset же требует чтобы в одной аллокации были.MB
А, хотя да,
offset же требует чтобы в одной аллокации были.Любой указатель валиден внутри только одной аллокации.
DF
а как указатель может указывать на две аллокации? 🤔
DF
а, хотя да, можно сделать указатель на жирную структуру или тупль например : *mut ([i32; 5555]) тогда будет потенциально один указатель на много аллокаций
AT
Часто бытует мнение, что в C валиден любой указатель или можно передвигать указатель на произвольный адрес (адресной арифметикой). Но это не так — стандарт указывает, что валидны только указатели, возвращённые malloc и взятые от переменных, а арифметика валидна только в пределах массивов + один элемент за концом массива.
Just sayin'... 😊
Just sayin'... 😊
AW
То есть суть в том
Чтобы не переходить за границы массива и инициализировать указатель ?
Чтобы не переходить за границы массива и инициализировать указатель ?
AW
Гениус (:
AT
Суть в том, что всё остальное — UB! 😃
EG
А есть какой-то стандартный враппер над
kill(3)?EG
Желательно вендосовместимый
DF
Ещё можно сотворить указатель из intptr_t , но у него не будет легитимный провенанс
DF
Не знаю уб это или нет
EG
Часто бытует мнение, что в C валиден любой указатель или можно передвигать указатель на произвольный адрес (адресной арифметикой). Но это не так — стандарт указывает, что валидны только указатели, возвращённые malloc и взятые от переменных, а арифметика валидна только в пределах массивов + один элемент за концом массива.
Just sayin'... 😊
Just sayin'... 😊
С этой точки зрения нельзя использовать mmap и прочие функции, которые выделяют память и не являются malloc