Skip to content

Commit 60727ce

Browse files
authored
Rollup merge of rust-lang#119984 - kpreid:waker-noop, r=dtolnay
Change return type of unstable `Waker::noop()` from `Waker` to `&Waker`. The advantage of this is that it does not need to be assigned to a variable to be used in a `Context` creation, which is the most common thing to want to do with a noop waker. It also avoids unnecessarily executing the dynamically dispatched drop function when the noop waker is dropped. If an owned noop waker is desired, it can be created by cloning, but the reverse is harder to do since it requires declaring a constant. Alternatively, both versions could be provided, like `futures::task::noop_waker()` and `futures::task::noop_waker_ref()`, but that seems to me to be API clutter for a very small benefit, whereas having the `&'static` reference available is a large reduction in boilerplate. [Previous discussion on the tracking issue starting here](rust-lang#98286 (comment))
2 parents b84d93e + 3c025b2 commit 60727ce

File tree

2 files changed

+13
-7
lines changed

2 files changed

+13
-7
lines changed

core/src/task/wake.rs

Lines changed: 12 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -329,12 +329,14 @@ impl Waker {
329329
Waker { waker }
330330
}
331331

332-
/// Creates a new `Waker` that does nothing when `wake` is called.
332+
/// Returns a reference to a `Waker` that does nothing when used.
333333
///
334334
/// This is mostly useful for writing tests that need a [`Context`] to poll
335335
/// some futures, but are not expecting those futures to wake the waker or
336336
/// do not need to do anything specific if it happens.
337337
///
338+
/// If an owned `Waker` is needed, `clone()` this one.
339+
///
338340
/// # Examples
339341
///
340342
/// ```
@@ -343,16 +345,20 @@ impl Waker {
343345
/// use std::future::Future;
344346
/// use std::task;
345347
///
346-
/// let waker = task::Waker::noop();
347-
/// let mut cx = task::Context::from_waker(&waker);
348+
/// let mut cx = task::Context::from_waker(task::Waker::noop());
348349
///
349350
/// let mut future = Box::pin(async { 10 });
350351
/// assert_eq!(future.as_mut().poll(&mut cx), task::Poll::Ready(10));
351352
/// ```
352353
#[inline]
353354
#[must_use]
354355
#[unstable(feature = "noop_waker", issue = "98286")]
355-
pub const fn noop() -> Waker {
356+
pub const fn noop() -> &'static Waker {
357+
// Ideally all this data would be explicitly `static` because it is used by reference and
358+
// only ever needs one copy. But `const fn`s (and `const` items) cannot refer to statics,
359+
// even though their values can be promoted to static. (That might change; see #119618.)
360+
// An alternative would be a `pub static NOOP: &Waker`, but associated static items are not
361+
// currently allowed either, and making it non-associated would be unergonomic.
356362
const VTABLE: RawWakerVTable = RawWakerVTable::new(
357363
// Cloning just returns a new no-op raw waker
358364
|_| RAW,
@@ -364,8 +370,9 @@ impl Waker {
364370
|_| {},
365371
);
366372
const RAW: RawWaker = RawWaker::new(ptr::null(), &VTABLE);
373+
const WAKER_REF: &Waker = &Waker { waker: RAW };
367374

368-
Waker { waker: RAW }
375+
WAKER_REF
369376
}
370377

371378
/// Get a reference to the underlying [`RawWaker`].

core/tests/async_iter/mod.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,7 @@ fn into_async_iter() {
77
let async_iter = async_iter::from_iter(0..3);
88
let mut async_iter = pin!(async_iter.into_async_iter());
99

10-
let waker = core::task::Waker::noop();
11-
let mut cx = &mut core::task::Context::from_waker(&waker);
10+
let mut cx = &mut core::task::Context::from_waker(core::task::Waker::noop());
1211

1312
assert_eq!(async_iter.as_mut().poll_next(&mut cx), Poll::Ready(Some(0)));
1413
assert_eq!(async_iter.as_mut().poll_next(&mut cx), Poll::Ready(Some(1)));

0 commit comments

Comments
 (0)