EG
Для машины что угодно ок, машине вообще пофиг
bool лежит 2, она ничего про тип bool не знаетSize: a a a
2021 April 17
EG
Машине, например, плевать, если в переменной типа
EG
Ей пофиг на use-after-free
EG
Это людям интересно, чтобы что-то работало «корректно», машине что дали, то она и считает
ΑZ
unsafe fn split_at_mut_unchecked(&mut self, mid: usize) -> (&mut [T], &mut [T]) {
let len = self.len();
let ptr = self.as_mut_ptr();
// SAFETY: Caller has to check that 0 <= mid <= self.len().
//
// [ptr; mid] and [mid; len] are not overlapping, so returning a mutable reference
// is fine.
unsafe { (from_raw_parts_mut(ptr, mid), from_raw_parts_mut(ptr.add(mid), len - mid)) }
}
fn split_at_mut_unchecked2(&mut self, mid: usize) -> (&mut [T], &mut [T]) {
let len = self.len();
let ptr = self.as_mut_ptr();
// SAFETY: Caller has to check that 0 <= mid <= self.len().
//
// [ptr; mid] and [mid; len] are not overlapping, so returning a mutable reference
// is fine.
unsafe { (from_raw_parts_mut(ptr, mid), from_raw_parts_mut(ptr.add(mid), len - mid)) }
}D
Ну вот не так все просто
ΑZ
обе компилятся
ΑZ
вопрос обе ли из них правильные
EG
Обе из них sound, если приватные
ΑZ
кстати пример из стд, она приватная но unsafe
EG
С точки зрения кодстайла первая лучше
EG
Sound или unsound может быть только API, и приватная функция просто не участвует в этой истории.
p
p
Чё
p
Ты ебнутый?
p
А если у меня какой-то аудио кодек и только одна функция торчит снаружи - fn zip(input) -> output?
EG
Ты же можешь сделать так, например:
Приватная unsafe-функция от этого ничем не отличается
fn foo() {
let do_unsafe_thing = || unsafe { do_thing(); };
check_thing_is_safe();
do_unsafe_thing();
}Приватная unsafe-функция от этого ничем не отличается
ΑZ
warn
p
Получается я все свои функции внутри могу помечать как сейф и заебись?
p
Хоть их там тыща штук