bevy_ecs: ReflectComponentFns without World (#7206)
# Objective Ability to use `ReflectComponent` methods in dynamic type contexts with no access to `&World`. This problem occurred to me when wanting to apply reflected types to an entity where the `&World` reference was already consumed by query iterator leaving only `EntityMut`. ## Solution - Remove redundant `EntityMut` or `EntityRef` lookup from `World` and `Entity` in favor of taking `EntityMut` directly in `ReflectComponentFns`. - Added `RefectComponent::contains` to determine without panic whether `apply` can be used. ## Changelog - Changed function signatures of `ReflectComponent` methods, `apply`, `remove`, `contains`, and `reflect`. ## Migration Guide - Call `World::entity` before calling into the changed `ReflectComponent` methods, most likely user already has a `EntityRef` or `EntityMut` which was being queried redundantly.
This commit is contained in:
		
							parent
							
								
									4f3ed196fa
								
							
						
					
					
						commit
						e1d741aa19
					
				| @ -5,7 +5,10 @@ use crate::{ | |||||||
|     component::Component, |     component::Component, | ||||||
|     entity::{Entity, EntityMap, MapEntities, MapEntitiesError}, |     entity::{Entity, EntityMap, MapEntities, MapEntitiesError}, | ||||||
|     system::Resource, |     system::Resource, | ||||||
|     world::{unsafe_world_cell::UnsafeWorldCell, FromWorld, World}, |     world::{ | ||||||
|  |         unsafe_world_cell::{UnsafeWorldCell, UnsafeWorldCellEntityRef}, | ||||||
|  |         EntityMut, EntityRef, FromWorld, World, | ||||||
|  |     }, | ||||||
| }; | }; | ||||||
| use bevy_reflect::{ | use bevy_reflect::{ | ||||||
|     impl_from_reflect_value, impl_reflect_value, FromType, Reflect, ReflectDeserialize, |     impl_from_reflect_value, impl_reflect_value, FromType, Reflect, ReflectDeserialize, | ||||||
| @ -42,20 +45,25 @@ pub struct ReflectComponent(ReflectComponentFns); | |||||||
| #[derive(Clone)] | #[derive(Clone)] | ||||||
| pub struct ReflectComponentFns { | pub struct ReflectComponentFns { | ||||||
|     /// Function pointer implementing [`ReflectComponent::insert()`].
 |     /// Function pointer implementing [`ReflectComponent::insert()`].
 | ||||||
|     pub insert: fn(&mut World, Entity, &dyn Reflect), |     pub insert: fn(&mut EntityMut, &dyn Reflect), | ||||||
|     /// Function pointer implementing [`ReflectComponent::apply()`].
 |     /// Function pointer implementing [`ReflectComponent::apply()`].
 | ||||||
|     pub apply: fn(&mut World, Entity, &dyn Reflect), |     pub apply: fn(&mut EntityMut, &dyn Reflect), | ||||||
|     /// Function pointer implementing [`ReflectComponent::apply_or_insert()`].
 |     /// Function pointer implementing [`ReflectComponent::apply_or_insert()`].
 | ||||||
|     pub apply_or_insert: fn(&mut World, Entity, &dyn Reflect), |     pub apply_or_insert: fn(&mut EntityMut, &dyn Reflect), | ||||||
|     /// Function pointer implementing [`ReflectComponent::remove()`].
 |     /// Function pointer implementing [`ReflectComponent::remove()`].
 | ||||||
|     pub remove: fn(&mut World, Entity), |     pub remove: fn(&mut EntityMut), | ||||||
|  |     /// Function pointer implementing [`ReflectComponent::contains()`].
 | ||||||
|  |     pub contains: fn(EntityRef) -> bool, | ||||||
|     /// Function pointer implementing [`ReflectComponent::reflect()`].
 |     /// Function pointer implementing [`ReflectComponent::reflect()`].
 | ||||||
|     pub reflect: fn(&World, Entity) -> Option<&dyn Reflect>, |     pub reflect: fn(EntityRef) -> Option<&dyn Reflect>, | ||||||
|     /// Function pointer implementing [`ReflectComponent::reflect_mut()`].
 |     /// Function pointer implementing [`ReflectComponent::reflect_mut()`].
 | ||||||
|  |     pub reflect_mut: for<'a> fn(&'a mut EntityMut<'_>) -> Option<Mut<'a, dyn Reflect>>, | ||||||
|  |     /// Function pointer implementing [`ReflectComponent::reflect_unchecked_mut()`].
 | ||||||
|     ///
 |     ///
 | ||||||
|     /// # Safety
 |     /// # Safety
 | ||||||
|     /// The function may only be called with an [`UnsafeWorldCell`] that can be used to mutably access the relevant component on the given entity.
 |     /// The function may only be called with an [`UnsafeWorldCellEntityRef`] that can be used to mutably access the relevant component on the given entity.
 | ||||||
|     pub reflect_mut: unsafe fn(UnsafeWorldCell<'_>, Entity) -> Option<Mut<'_, dyn Reflect>>, |     pub reflect_unchecked_mut: | ||||||
|  |         unsafe fn(UnsafeWorldCellEntityRef<'_>) -> Option<Mut<'_, dyn Reflect>>, | ||||||
|     /// Function pointer implementing [`ReflectComponent::copy()`].
 |     /// Function pointer implementing [`ReflectComponent::copy()`].
 | ||||||
|     pub copy: fn(&World, &mut World, Entity, Entity), |     pub copy: fn(&World, &mut World, Entity, Entity), | ||||||
| } | } | ||||||
| @ -73,68 +81,59 @@ impl ReflectComponentFns { | |||||||
| 
 | 
 | ||||||
| impl ReflectComponent { | impl ReflectComponent { | ||||||
|     /// Insert a reflected [`Component`] into the entity like [`insert()`](crate::world::EntityMut::insert).
 |     /// Insert a reflected [`Component`] into the entity like [`insert()`](crate::world::EntityMut::insert).
 | ||||||
|     ///
 |     pub fn insert(&self, entity: &mut EntityMut, component: &dyn Reflect) { | ||||||
|     /// # Panics
 |         (self.0.insert)(entity, component); | ||||||
|     ///
 |  | ||||||
|     /// Panics if there is no such entity.
 |  | ||||||
|     pub fn insert(&self, world: &mut World, entity: Entity, component: &dyn Reflect) { |  | ||||||
|         (self.0.insert)(world, entity, component); |  | ||||||
|     } |     } | ||||||
| 
 | 
 | ||||||
|     /// Uses reflection to set the value of this [`Component`] type in the entity to the given value.
 |     /// Uses reflection to set the value of this [`Component`] type in the entity to the given value.
 | ||||||
|     ///
 |     ///
 | ||||||
|     /// # Panics
 |     /// # Panics
 | ||||||
|     ///
 |     ///
 | ||||||
|     /// Panics if there is no [`Component`] of the given type or the `entity` does not exist.
 |     /// Panics if there is no [`Component`] of the given type.
 | ||||||
|     pub fn apply(&self, world: &mut World, entity: Entity, component: &dyn Reflect) { |     pub fn apply(&self, entity: &mut EntityMut, component: &dyn Reflect) { | ||||||
|         (self.0.apply)(world, entity, component); |         (self.0.apply)(entity, component); | ||||||
|     } |     } | ||||||
| 
 | 
 | ||||||
|     /// Uses reflection to set the value of this [`Component`] type in the entity to the given value or insert a new one if it does not exist.
 |     /// Uses reflection to set the value of this [`Component`] type in the entity to the given value or insert a new one if it does not exist.
 | ||||||
|     ///
 |     pub fn apply_or_insert(&self, entity: &mut EntityMut, component: &dyn Reflect) { | ||||||
|     /// # Panics
 |         (self.0.apply_or_insert)(entity, component); | ||||||
|     ///
 |  | ||||||
|     /// Panics if the `entity` does not exist.
 |  | ||||||
|     pub fn apply_or_insert(&self, world: &mut World, entity: Entity, component: &dyn Reflect) { |  | ||||||
|         (self.0.apply_or_insert)(world, entity, component); |  | ||||||
|     } |     } | ||||||
| 
 | 
 | ||||||
|     /// Removes this [`Component`] type from the entity. Does nothing if it doesn't exist.
 |     /// Removes this [`Component`] type from the entity. Does nothing if it doesn't exist.
 | ||||||
|     ///
 |     ///
 | ||||||
|     /// # Panics
 |     /// # Panics
 | ||||||
|     ///
 |     ///
 | ||||||
|     /// Panics if there is no [`Component`] of the given type or the `entity` does not exist.
 |     /// Panics if there is no [`Component`] of the given type.
 | ||||||
|     pub fn remove(&self, world: &mut World, entity: Entity) { |     pub fn remove(&self, entity: &mut EntityMut) { | ||||||
|         (self.0.remove)(world, entity); |         (self.0.remove)(entity); | ||||||
|  |     } | ||||||
|  | 
 | ||||||
|  |     /// Returns whether entity contains this [`Component`]
 | ||||||
|  |     pub fn contains(&self, entity: EntityRef) -> bool { | ||||||
|  |         (self.0.contains)(entity) | ||||||
|     } |     } | ||||||
| 
 | 
 | ||||||
|     /// Gets the value of this [`Component`] type from the entity as a reflected reference.
 |     /// Gets the value of this [`Component`] type from the entity as a reflected reference.
 | ||||||
|     pub fn reflect<'a>(&self, world: &'a World, entity: Entity) -> Option<&'a dyn Reflect> { |     pub fn reflect<'a>(&self, entity: EntityRef<'a>) -> Option<&'a dyn Reflect> { | ||||||
|         (self.0.reflect)(world, entity) |         (self.0.reflect)(entity) | ||||||
|     } |     } | ||||||
| 
 | 
 | ||||||
|     /// Gets the value of this [`Component`] type from the entity as a mutable reflected reference.
 |     /// Gets the value of this [`Component`] type from the entity as a mutable reflected reference.
 | ||||||
|     pub fn reflect_mut<'a>( |     pub fn reflect_mut<'a>(&self, entity: &'a mut EntityMut<'_>) -> Option<Mut<'a, dyn Reflect>> { | ||||||
|         &self, |         (self.0.reflect_mut)(entity) | ||||||
|         world: &'a mut World, |  | ||||||
|         entity: Entity, |  | ||||||
|     ) -> Option<Mut<'a, dyn Reflect>> { |  | ||||||
|         // SAFETY: unique world access
 |  | ||||||
|         unsafe { (self.0.reflect_mut)(world.as_unsafe_world_cell(), entity) } |  | ||||||
|     } |     } | ||||||
| 
 | 
 | ||||||
|     /// # Safety
 |     /// # Safety
 | ||||||
|     /// This method does not prevent you from having two mutable pointers to the same data,
 |     /// This method does not prevent you from having two mutable pointers to the same data,
 | ||||||
|     /// violating Rust's aliasing rules. To avoid this:
 |     /// violating Rust's aliasing rules. To avoid this:
 | ||||||
|     /// * Only call this method with a [`UnsafeWorldCell`] that may be used to mutably access the component on the entity `entity`
 |     /// * Only call this method with a [`UnsafeWorldCellEntityRef`] that may be used to mutably access the component on the entity `entity`
 | ||||||
|     /// * Don't call this method more than once in the same scope for a given [`Component`].
 |     /// * Don't call this method more than once in the same scope for a given [`Component`].
 | ||||||
|     pub unsafe fn reflect_unchecked_mut<'a>( |     pub unsafe fn reflect_unchecked_mut<'a>( | ||||||
|         &self, |         &self, | ||||||
|         world: UnsafeWorldCell<'a>, |         entity: UnsafeWorldCellEntityRef<'a>, | ||||||
|         entity: Entity, |  | ||||||
|     ) -> Option<Mut<'a, dyn Reflect>> { |     ) -> Option<Mut<'a, dyn Reflect>> { | ||||||
|         // SAFETY: safety requirements deferred to caller
 |         // SAFETY: safety requirements deferred to caller
 | ||||||
|         (self.0.reflect_mut)(world, entity) |         (self.0.reflect_unchecked_mut)(entity) | ||||||
|     } |     } | ||||||
| 
 | 
 | ||||||
|     /// Gets the value of this [`Component`] type from entity from `source_world` and [applies](Self::apply()) it to the value of this [`Component`] type in entity in `destination_world`.
 |     /// Gets the value of this [`Component`] type from entity from `source_world` and [applies](Self::apply()) it to the value of this [`Component`] type in entity in `destination_world`.
 | ||||||
| @ -176,27 +175,28 @@ impl ReflectComponent { | |||||||
| impl<C: Component + Reflect + FromWorld> FromType<C> for ReflectComponent { | impl<C: Component + Reflect + FromWorld> FromType<C> for ReflectComponent { | ||||||
|     fn from_type() -> Self { |     fn from_type() -> Self { | ||||||
|         ReflectComponent(ReflectComponentFns { |         ReflectComponent(ReflectComponentFns { | ||||||
|             insert: |world, entity, reflected_component| { |             insert: |entity, reflected_component| { | ||||||
|                 let mut component = C::from_world(world); |                 let mut component = entity.world_scope(|world| C::from_world(world)); | ||||||
|                 component.apply(reflected_component); |                 component.apply(reflected_component); | ||||||
|                 world.entity_mut(entity).insert(component); |                 entity.insert(component); | ||||||
|             }, |             }, | ||||||
|             apply: |world, entity, reflected_component| { |             apply: |entity, reflected_component| { | ||||||
|                 let mut component = world.get_mut::<C>(entity).unwrap(); |                 let mut component = entity.get_mut::<C>().unwrap(); | ||||||
|                 component.apply(reflected_component); |                 component.apply(reflected_component); | ||||||
|             }, |             }, | ||||||
|             apply_or_insert: |world, entity, reflected_component| { |             apply_or_insert: |entity, reflected_component| { | ||||||
|                 if let Some(mut component) = world.get_mut::<C>(entity) { |                 if let Some(mut component) = entity.get_mut::<C>() { | ||||||
|                     component.apply(reflected_component); |                     component.apply(reflected_component); | ||||||
|                 } else { |                 } else { | ||||||
|                     let mut component = C::from_world(world); |                     let mut component = entity.world_scope(|world| C::from_world(world)); | ||||||
|                     component.apply(reflected_component); |                     component.apply(reflected_component); | ||||||
|                     world.entity_mut(entity).insert(component); |                     entity.insert(component); | ||||||
|                 } |                 } | ||||||
|             }, |             }, | ||||||
|             remove: |world, entity| { |             remove: |entity| { | ||||||
|                 world.entity_mut(entity).remove::<C>(); |                 entity.remove::<C>(); | ||||||
|             }, |             }, | ||||||
|  |             contains: |entity| entity.contains::<C>(), | ||||||
|             copy: |source_world, destination_world, source_entity, destination_entity| { |             copy: |source_world, destination_world, source_entity, destination_entity| { | ||||||
|                 let source_component = source_world.get::<C>(source_entity).unwrap(); |                 let source_component = source_world.get::<C>(source_entity).unwrap(); | ||||||
|                 let mut destination_component = C::from_world(destination_world); |                 let mut destination_component = C::from_world(destination_world); | ||||||
| @ -205,18 +205,18 @@ impl<C: Component + Reflect + FromWorld> FromType<C> for ReflectComponent { | |||||||
|                     .entity_mut(destination_entity) |                     .entity_mut(destination_entity) | ||||||
|                     .insert(destination_component); |                     .insert(destination_component); | ||||||
|             }, |             }, | ||||||
|             reflect: |world, entity| { |             reflect: |entity| entity.get::<C>().map(|c| c as &dyn Reflect), | ||||||
|                 world |             reflect_mut: |entity| { | ||||||
|                     .get_entity(entity)? |                 entity.get_mut::<C>().map(|c| Mut { | ||||||
|                     .get::<C>() |                     value: c.value as &mut dyn Reflect, | ||||||
|                     .map(|c| c as &dyn Reflect) |                     ticks: c.ticks, | ||||||
|  |                 }) | ||||||
|             }, |             }, | ||||||
|             reflect_mut: |world, entity| { |             reflect_unchecked_mut: |entity| { | ||||||
|                 // SAFETY: reflect_mut is an unsafe function pointer used by
 |                 // SAFETY: reflect_unchecked_mut is an unsafe function pointer used by
 | ||||||
|                 // 1. `reflect_unchecked_mut` which must be called with an UnsafeWorldCell with access to the the component `C` on the `entity`, and
 |                 // `reflect_unchecked_mut` which must be called with an UnsafeWorldCellEntityRef with access to the the component `C` on the `entity`
 | ||||||
|                 // 2. `reflect_mut`, which has mutable world access
 |  | ||||||
|                 unsafe { |                 unsafe { | ||||||
|                     world.get_entity(entity)?.get_mut::<C>().map(|c| Mut { |                     entity.get_mut::<C>().map(|c| Mut { | ||||||
|                         value: c.value as &mut dyn Reflect, |                         value: c.value as &mut dyn Reflect, | ||||||
|                         ticks: c.ticks, |                         ticks: c.ticks, | ||||||
|                     }) |                     }) | ||||||
|  | |||||||
| @ -71,6 +71,7 @@ impl DynamicScene { | |||||||
|             let entity = *entity_map |             let entity = *entity_map | ||||||
|                 .entry(bevy_ecs::entity::Entity::from_raw(scene_entity.entity)) |                 .entry(bevy_ecs::entity::Entity::from_raw(scene_entity.entity)) | ||||||
|                 .or_insert_with(|| world.spawn_empty().id()); |                 .or_insert_with(|| world.spawn_empty().id()); | ||||||
|  |             let entity_mut = &mut world.entity_mut(entity); | ||||||
| 
 | 
 | ||||||
|             // Apply/ add each component to the given entity.
 |             // Apply/ add each component to the given entity.
 | ||||||
|             for component in &scene_entity.components { |             for component in &scene_entity.components { | ||||||
| @ -89,7 +90,7 @@ impl DynamicScene { | |||||||
|                 // If the entity already has the given component attached,
 |                 // If the entity already has the given component attached,
 | ||||||
|                 // just apply the (possibly) new value, otherwise add the
 |                 // just apply the (possibly) new value, otherwise add the
 | ||||||
|                 // component to the entity.
 |                 // component to the entity.
 | ||||||
|                 reflect_component.apply_or_insert(world, entity, &**component); |                 reflect_component.apply_or_insert(entity_mut, &**component); | ||||||
|             } |             } | ||||||
|         } |         } | ||||||
| 
 | 
 | ||||||
|  | |||||||
| @ -124,19 +124,18 @@ impl<'w> DynamicSceneBuilder<'w> { | |||||||
|                 components: Vec::new(), |                 components: Vec::new(), | ||||||
|             }; |             }; | ||||||
| 
 | 
 | ||||||
|             for component_id in self.original_world.entity(entity).archetype().components() { |             let entity = self.original_world.entity(entity); | ||||||
|  |             for component_id in entity.archetype().components() { | ||||||
|                 let reflect_component = self |                 let reflect_component = self | ||||||
|                     .original_world |                     .original_world | ||||||
|                     .components() |                     .components() | ||||||
|                     .get_info(component_id) |                     .get_info(component_id) | ||||||
|                     .and_then(|info| type_registry.get(info.type_id().unwrap())) |                     .and_then(|info| type_registry.get(info.type_id().unwrap())) | ||||||
|                     .and_then(|registration| registration.data::<ReflectComponent>()); |                     .and_then(|registration| registration.data::<ReflectComponent>()) | ||||||
|  |                     .and_then(|reflect_component| reflect_component.reflect(entity)); | ||||||
| 
 | 
 | ||||||
|                 if let Some(reflect_component) = reflect_component { |                 if let Some(reflect_component) = reflect_component { | ||||||
|                     if let Some(component) = reflect_component.reflect(self.original_world, entity) |                     entry.components.push(reflect_component.clone_value()); | ||||||
|                     { |  | ||||||
|                         entry.components.push(component.clone_value()); |  | ||||||
|                     } |  | ||||||
|                 } |                 } | ||||||
|             } |             } | ||||||
|             self.extracted_scene.insert(index, entry); |             self.extracted_scene.insert(index, entry); | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user
	 Jakub Łabor
						Jakub Łabor