Clarify BufMut allocation guarantees (#501)

This commit is contained in:
Alice Ryhl
2021-08-07 08:22:18 +02:00
committed by GitHub
parent f34dc5c3f9
commit ab8e3c01a8
2 changed files with 11 additions and 3 deletions
+9 -1
View File
@@ -33,6 +33,10 @@ pub unsafe trait BufMut {
/// This value is greater than or equal to the length of the slice returned /// This value is greater than or equal to the length of the slice returned
/// by `chunk_mut()`. /// by `chunk_mut()`.
/// ///
/// Writing to a `BufMut` may involve allocating more memory on the fly.
/// Implementations may fail before reaching the number of bytes indicated
/// by this method if they encounter an allocation failure.
///
/// # Examples /// # Examples
/// ///
/// ``` /// ```
@@ -158,6 +162,9 @@ pub unsafe trait BufMut {
/// `chunk_mut()` returning an empty slice implies that `remaining_mut()` will /// `chunk_mut()` returning an empty slice implies that `remaining_mut()` will
/// return 0 and `remaining_mut()` returning 0 implies that `chunk_mut()` will /// return 0 and `remaining_mut()` returning 0 implies that `chunk_mut()` will
/// return an empty slice. /// return an empty slice.
///
/// This function may trigger an out-of-memory abort if it tries to allocate
/// memory and fails to do so.
// The `chunk_mut` method was previously called `bytes_mut`. This alias makes the // The `chunk_mut` method was previously called `bytes_mut`. This alias makes the
// rename more easily discoverable. // rename more easily discoverable.
#[cfg_attr(docsrs, doc(alias = "bytes_mut"))] #[cfg_attr(docsrs, doc(alias = "bytes_mut"))]
@@ -1025,7 +1032,8 @@ unsafe impl BufMut for &mut [u8] {
unsafe impl BufMut for Vec<u8> { unsafe impl BufMut for Vec<u8> {
#[inline] #[inline]
fn remaining_mut(&self) -> usize { fn remaining_mut(&self) -> usize {
usize::MAX - self.len() // A vector can never have more than isize::MAX bytes
core::isize::MAX as usize - self.len()
} }
#[inline] #[inline]
+2 -2
View File
@@ -9,7 +9,7 @@ use core::usize;
fn test_vec_as_mut_buf() { fn test_vec_as_mut_buf() {
let mut buf = Vec::with_capacity(64); let mut buf = Vec::with_capacity(64);
assert_eq!(buf.remaining_mut(), usize::MAX); assert_eq!(buf.remaining_mut(), isize::MAX as usize);
assert!(buf.chunk_mut().len() >= 64); assert!(buf.chunk_mut().len() >= 64);
@@ -17,7 +17,7 @@ fn test_vec_as_mut_buf() {
assert_eq!(&buf, b"zomg"); assert_eq!(&buf, b"zomg");
assert_eq!(buf.remaining_mut(), usize::MAX - 4); assert_eq!(buf.remaining_mut(), isize::MAX as usize - 4);
assert_eq!(buf.capacity(), 64); assert_eq!(buf.capacity(), 64);
for _ in 0..16 { for _ in 0..16 {