Skip to content

Commit 0354516

Browse files
committed
Handle out of memory errors in io:Read::read_to_end()
1 parent af08c64 commit 0354516

File tree

3 files changed

+41
-3
lines changed

3 files changed

+41
-3
lines changed

Diff for: library/std/src/io/buffered/bufreader.rs

+1
Original file line numberDiff line numberDiff line change
@@ -345,6 +345,7 @@ impl<R: ?Sized + Read> Read for BufReader<R> {
345345
// delegate to the inner implementation.
346346
fn read_to_end(&mut self, buf: &mut Vec<u8>) -> io::Result<usize> {
347347
let inner_buf = self.buffer();
348+
buf.try_reserve(inner_buf.len()).map_err(|_| io::ErrorKind::OutOfMemory)?;
348349
buf.extend_from_slice(inner_buf);
349350
let nread = inner_buf.len();
350351
self.discard_buffer();

Diff for: library/std/src/io/impls.rs

+3-2
Original file line numberDiff line numberDiff line change
@@ -303,8 +303,9 @@ impl Read for &[u8] {
303303

304304
#[inline]
305305
fn read_to_end(&mut self, buf: &mut Vec<u8>) -> io::Result<usize> {
306-
buf.extend_from_slice(*self);
307306
let len = self.len();
307+
buf.try_reserve(len).map_err(|_| ErrorKind::OutOfMemory)?;
308+
buf.extend_from_slice(*self);
308309
*self = &self[len..];
309310
Ok(len)
310311
}
@@ -451,7 +452,7 @@ impl<A: Allocator> Read for VecDeque<u8, A> {
451452
fn read_to_end(&mut self, buf: &mut Vec<u8>) -> io::Result<usize> {
452453
// The total len is known upfront so we can reserve it in a single call.
453454
let len = self.len();
454-
buf.reserve(len);
455+
buf.try_reserve(len).map_err(|_| ErrorKind::OutOfMemory)?;
455456

456457
let (front, back) = self.as_slices();
457458
buf.extend_from_slice(front);

Diff for: library/std/src/io/mod.rs

+37-1
Original file line numberDiff line numberDiff line change
@@ -430,6 +430,8 @@ pub(crate) fn default_read_to_end<R: Read + ?Sized>(
430430
loop {
431431
match r.read(&mut probe) {
432432
Ok(n) => {
433+
// there is no way to recover from allocation failure here
434+
// because the data has already been read.
433435
buf.extend_from_slice(&probe[..n]);
434436
return Ok(n);
435437
}
@@ -462,7 +464,8 @@ pub(crate) fn default_read_to_end<R: Read + ?Sized>(
462464
}
463465

464466
if buf.len() == buf.capacity() {
465-
buf.reserve(PROBE_SIZE); // buf is full, need more space
467+
// buf is full, need more space
468+
buf.try_reserve(PROBE_SIZE).map_err(|_| ErrorKind::OutOfMemory)?;
466469
}
467470

468471
let mut spare = buf.spare_capacity_mut();
@@ -815,6 +818,39 @@ pub trait Read {
815818
/// file.)
816819
///
817820
/// [`std::fs::read`]: crate::fs::read
821+
///
822+
/// ## Implementing `read_to_end`
823+
///
824+
/// When implementing the `io::Read` trait, it is recommended to allocate
825+
/// memory using [`Vec::try_reserve`]. However, this behavior is not guaranteed
826+
/// by all implementations, and `read_to_end` may not handle out-of-memory
827+
/// situations gracefully.
828+
///
829+
/// ```no_run
830+
/// # use std::io::{self, BufRead};
831+
/// # struct Example { example_datasource: io::Empty } impl Example {
832+
/// # fn get_some_data_for_the_example(&self) -> &'static [u8] { &[] }
833+
/// fn read_to_end(&mut self, dest_vec: &mut Vec<u8>) -> io::Result<usize> {
834+
/// let initial_vec_len = dest_vec.len();
835+
/// loop {
836+
/// let src_buf = self.example_datasource.fill_buf()?;
837+
/// if src_buf.is_empty() {
838+
/// break;
839+
/// }
840+
/// dest_vec.try_reserve(src_buf.len()).map_err(|_| io::ErrorKind::OutOfMemory)?;
841+
/// dest_vec.extend_from_slice(src_buf);
842+
///
843+
/// // Any irreversible side effects should happen after `try_reserve` succeeds,
844+
/// // to avoid losing data on allocation error.
845+
/// let read = src_buf.len();
846+
/// self.example_datasource.consume(read);
847+
/// }
848+
/// Ok(dest_vec.len() - initial_vec_len)
849+
/// }
850+
/// # }
851+
/// ```
852+
///
853+
/// [`Vec::try_reserve`]: crate::vec::Vec::try_reserve
818854
#[stable(feature = "rust1", since = "1.0.0")]
819855
fn read_to_end(&mut self, buf: &mut Vec<u8>) -> Result<usize> {
820856
default_read_to_end(self, buf, None)

0 commit comments

Comments
 (0)