Skip to content

Commit

Permalink
Rollup merge of rust-lang#118231 - RalfJung:const-raw-slice-empty, r=…
Browse files Browse the repository at this point in the history
…cuviper

also add is_empty to const raw slices

We have this on mutable raw slices but not const raw slices, which makes little sense.

Cc rust-lang#71146
  • Loading branch information
matthiaskrgr authored Nov 29, 2023
2 parents c4bee40 + a816267 commit 4fee90c
Show file tree
Hide file tree
Showing 2 changed files with 21 additions and 3 deletions.
18 changes: 18 additions & 0 deletions library/core/src/ptr/const_ptr.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1644,6 +1644,24 @@ impl<T> *const [T] {
metadata(self)
}

/// Returns `true` if the raw slice has a length of 0.
///
/// # Examples
///
/// ```
/// #![feature(slice_ptr_len)]
/// use std::ptr;
///
/// let slice: *const [i8] = ptr::slice_from_raw_parts(ptr::null(), 3);
/// assert!(!slice.is_empty());
/// ```
#[inline(always)]
#[unstable(feature = "slice_ptr_len", issue = "71146")]
#[rustc_const_unstable(feature = "const_slice_ptr_len", issue = "71146")]
pub const fn is_empty(self) -> bool {
self.len() == 0
}

/// Returns a raw pointer to the slice's buffer.
///
/// This is equivalent to casting `self` to `*const T`, but more type-safe.
Expand Down
6 changes: 3 additions & 3 deletions library/core/src/ptr/mut_ptr.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1920,10 +1920,10 @@ impl<T> *mut [T] {
///
/// ```
/// #![feature(slice_ptr_len)]
/// use std::ptr;
///
/// let mut a = [1, 2, 3];
/// let ptr = &mut a as *mut [_];
/// assert!(!ptr.is_empty());
/// let slice: *mut [i8] = ptr::slice_from_raw_parts_mut(ptr::null_mut(), 3);
/// assert!(!slice.is_empty());
/// ```
#[inline(always)]
#[unstable(feature = "slice_ptr_len", issue = "71146")]
Expand Down

0 comments on commit 4fee90c

Please sign in to comment.