最近の検索
検索オプション
Maximum slice length - Is this sound? - help - The Rust Programming Language Forum
https://users.rust-lang.org/t/maximum-slice-length-is-this-sound/91046
ﾝﾋｨ〜
The Rust Programming Language ForumMaximum slice length - Is this sound?I assume the following function is sound, but I'm not sure and also not sure how to prove it: pub fn foo<T>(x: &[T]) -> &[T] { unsafe { std::slice::from_raw_parts(x.as_ptr(), x.len()) } } (Playground) The problem in the safety requirements is: The total size len * mem::size_of::<T>() of the slice must be no larger than isize::MAX. See the safety documentation of pointer::offset. If T is an u8 and x.len() is isize::MAX+1, then this would be UB right? The linked documentatio...