Skip to content

Commit

Permalink
Merge pull request #2237 from iced-rs/fix/mapped-subscription-id
Browse files Browse the repository at this point in the history
Use `TypeId` to identify `subscription::Map`
  • Loading branch information
hecrj authored Feb 5, 2024
2 parents e14e8e2 + 2fb271a commit 8e76d53
Show file tree
Hide file tree
Showing 2 changed files with 30 additions and 9 deletions.
1 change: 1 addition & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -89,6 +89,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
- `size_hint` not being called from `element::Map`. [#2224](https://github.com/iced-rs/iced/pull/2224)
- `size_hint` not being called from `element::Explain`. [#2225](https://github.com/iced-rs/iced/pull/2225)
- Slow touch scrolling for `TextEditor` widget. [#2140](https://github.com/iced-rs/iced/pull/2140)
- `Subscription::map` using unreliable function pointer hash to identify mappers. [#2237](https://github.com/iced-rs/iced/pull/2237)

Many thanks to...

Expand Down
38 changes: 29 additions & 9 deletions futures/src/subscription.rs
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@ use crate::{BoxStream, MaybeSend};

use futures::channel::mpsc;
use futures::never::Never;
use std::any::TypeId;
use std::hash::Hash;

/// A stream of runtime events.
Expand Down Expand Up @@ -88,17 +89,29 @@ impl<Message> Subscription<Message> {
}

/// Transforms the [`Subscription`] output with the given function.
pub fn map<A>(mut self, f: fn(Message) -> A) -> Subscription<A>
///
/// # Panics
/// The closure provided must be a non-capturing closure. The method
/// will panic in debug mode otherwise.
pub fn map<F, A>(mut self, f: F) -> Subscription<A>
where
Message: 'static,
F: Fn(Message) -> A + MaybeSend + Clone + 'static,
A: 'static,
{
debug_assert!(
std::mem::size_of::<F>() == 0,
"the closure {} provided in `Subscription::map` is capturing",
std::any::type_name::<F>(),
);

Subscription {
recipes: self
.recipes
.drain(..)
.map(|recipe| {
Box::new(Map::new(recipe, f)) as Box<dyn Recipe<Output = A>>
.map(move |recipe| {
Box::new(Map::new(recipe, f.clone()))
as Box<dyn Recipe<Output = A>>
})
.collect(),
}
Expand Down Expand Up @@ -143,27 +156,34 @@ pub trait Recipe {
fn stream(self: Box<Self>, input: EventStream) -> BoxStream<Self::Output>;
}

struct Map<A, B> {
struct Map<A, B, F>
where
F: Fn(A) -> B + 'static,
{
recipe: Box<dyn Recipe<Output = A>>,
mapper: fn(A) -> B,
mapper: F,
}

impl<A, B> Map<A, B> {
fn new(recipe: Box<dyn Recipe<Output = A>>, mapper: fn(A) -> B) -> Self {
impl<A, B, F> Map<A, B, F>
where
F: Fn(A) -> B + 'static,
{
fn new(recipe: Box<dyn Recipe<Output = A>>, mapper: F) -> Self {
Map { recipe, mapper }
}
}

impl<A, B> Recipe for Map<A, B>
impl<A, B, F> Recipe for Map<A, B, F>
where
A: 'static,
B: 'static,
F: Fn(A) -> B + 'static + MaybeSend,
{
type Output = B;

fn hash(&self, state: &mut Hasher) {
TypeId::of::<F>().hash(state);
self.recipe.hash(state);
self.mapper.hash(state);
}

fn stream(self: Box<Self>, input: EventStream) -> BoxStream<Self::Output> {
Expand Down

0 comments on commit 8e76d53

Please sign in to comment.