2021-10-03 19:23:44 +00:00
|
|
|
use proc_macro::TokenStream;
|
|
|
|
use proc_macro2::{Span, TokenStream as TokenStream2};
|
2023-05-16 01:24:17 +00:00
|
|
|
use quote::quote;
|
2024-07-08 00:46:00 +00:00
|
|
|
use syn::{parse_macro_input, parse_quote, DeriveInput, ExprPath, Ident, LitStr, Path, Result};
|
2021-10-03 19:23:44 +00:00
|
|
|
|
2023-06-06 14:44:32 +00:00
|
|
|
pub fn derive_event(input: TokenStream) -> TokenStream {
|
|
|
|
let mut ast = parse_macro_input!(input as DeriveInput);
|
|
|
|
let bevy_ecs_path: Path = crate::bevy_ecs_path();
|
|
|
|
|
|
|
|
ast.generics
|
|
|
|
.make_where_clause()
|
|
|
|
.predicates
|
|
|
|
.push(parse_quote! { Self: Send + Sync + 'static });
|
|
|
|
|
|
|
|
let struct_name = &ast.ident;
|
|
|
|
let (impl_generics, type_generics, where_clause) = &ast.generics.split_for_impl();
|
|
|
|
|
|
|
|
TokenStream::from(quote! {
|
|
|
|
impl #impl_generics #bevy_ecs_path::event::Event for #struct_name #type_generics #where_clause {
|
2024-07-15 13:39:41 +00:00
|
|
|
type Traversal = #bevy_ecs_path::traversal::TraverseNone;
|
|
|
|
const AUTO_PROPAGATE: bool = false;
|
2023-06-06 14:44:32 +00:00
|
|
|
}
|
Generalised ECS reactivity with Observers (#10839)
# Objective
- Provide an expressive way to register dynamic behavior in response to
ECS changes that is consistent with existing bevy types and traits as to
provide a smooth user experience.
- Provide a mechanism for immediate changes in response to events during
command application in order to facilitate improved query caching on the
path to relations.
## Solution
- A new fundamental ECS construct, the `Observer`; inspired by flec's
observers but adapted to better fit bevy's access patterns and rust's
type system.
---
## Examples
There are 3 main ways to register observers. The first is a "component
observer" that looks like this:
```rust
world.observe(|trigger: Trigger<OnAdd, Transform>, query: Query<&Transform>| {
let transform = query.get(trigger.entity()).unwrap();
});
```
The above code will spawn a new entity representing the observer that
will run it's callback whenever the `Transform` component is added to an
entity. This is a system-like function that supports dependency
injection for all the standard bevy types: `Query`, `Res`, `Commands`
etc. It also has a `Trigger` parameter that provides information about
the trigger such as the target entity, and the event being triggered.
Importantly these systems run during command application which is key
for their future use to keep ECS internals up to date. There are similar
events for `OnInsert` and `OnRemove`, and this will be expanded with
things such as `ArchetypeCreated`, `TableEmpty` etc. in follow up PRs.
Another way to register an observer is an "entity observer" that looks
like this:
```rust
world.entity_mut(entity).observe(|trigger: Trigger<Resize>| {
// ...
});
```
Entity observers run whenever an event of their type is triggered
targeting that specific entity. This type of observer will de-spawn
itself if the entity (or entities) it is observing is ever de-spawned so
as to not leave dangling observers.
Entity observers can also be spawned from deferred contexts such as
other observers, systems, or hooks using commands:
```rust
commands.entity(entity).observe(|trigger: Trigger<Resize>| {
// ...
});
```
Observers are not limited to in built event types, they can be used with
any type that implements `Event` (which has been extended to implement
Component). This means events can also carry data:
```rust
#[derive(Event)]
struct Resize { x: u32, y: u32 }
commands.entity(entity).observe(|trigger: Trigger<Resize>, query: Query<&mut Size>| {
let event = trigger.event();
// ...
});
// Will trigger the observer when commands are applied.
commands.trigger_targets(Resize { x: 10, y: 10 }, entity);
```
You can also trigger events that target more than one entity at a time:
```rust
commands.trigger_targets(Resize { x: 10, y: 10 }, [e1, e2]);
```
Additionally, Observers don't _need_ entity targets:
```rust
app.observe(|trigger: Trigger<Quit>| {
})
commands.trigger(Quit);
```
In these cases, `trigger.entity()` will be a placeholder.
Observers are actually just normal entities with an `ObserverState` and
`Observer` component! The `observe()` functions above are just shorthand
for:
```rust
world.spawn(Observer::new(|trigger: Trigger<Resize>| {});
```
This will spawn the `Observer` system and use an `on_add` hook to add
the `ObserverState` component.
Dynamic components and trigger types are also fully supported allowing
for runtime defined trigger types.
## Possible Follow-ups
1. Deprecate `RemovedComponents`, observers should fulfill all use cases
while being more flexible and performant.
2. Queries as entities: Swap queries to entities and begin using
observers listening to archetype creation triggers to keep their caches
in sync, this allows unification of `ObserverState` and `QueryState` as
well as unlocking several API improvements for `Query` and the
management of `QueryState`.
3. Trigger bubbling: For some UI use cases in particular users are
likely to want some form of bubbling for entity observers, this is
trivial to implement naively but ideally this includes an acceleration
structure to cache hierarchy traversals.
4. All kinds of other in-built trigger types.
5. Optimization; in order to not bloat the complexity of the PR I have
kept the implementation straightforward, there are several areas where
performance can be improved. The focus for this PR is to get the
behavior implemented and not incur a performance cost for users who
don't use observers.
I am leaving each of these to follow up PR's in order to keep each of
them reviewable as this already includes significant changes.
---------
Co-authored-by: Alice Cecile <alice.i.cecile@gmail.com>
Co-authored-by: MiniaczQ <xnetroidpl@gmail.com>
Co-authored-by: Carter Anderson <mcanders1@gmail.com>
2024-06-15 01:33:26 +00:00
|
|
|
|
|
|
|
impl #impl_generics #bevy_ecs_path::component::Component for #struct_name #type_generics #where_clause {
|
|
|
|
const STORAGE_TYPE: #bevy_ecs_path::component::StorageType = #bevy_ecs_path::component::StorageType::SparseSet;
|
|
|
|
}
|
2023-06-06 14:44:32 +00:00
|
|
|
})
|
|
|
|
}
|
|
|
|
|
Make `Resource` trait opt-in, requiring `#[derive(Resource)]` V2 (#5577)
*This PR description is an edited copy of #5007, written by @alice-i-cecile.*
# Objective
Follow-up to https://github.com/bevyengine/bevy/pull/2254. The `Resource` trait currently has a blanket implementation for all types that meet its bounds.
While ergonomic, this results in several drawbacks:
* it is possible to make confusing, silent mistakes such as inserting a function pointer (Foo) rather than a value (Foo::Bar) as a resource
* it is challenging to discover if a type is intended to be used as a resource
* we cannot later add customization options (see the [RFC](https://github.com/bevyengine/rfcs/blob/main/rfcs/27-derive-component.md) for the equivalent choice for Component).
* dependencies can use the same Rust type as a resource in invisibly conflicting ways
* raw Rust types used as resources cannot preserve privacy appropriately, as anyone able to access that type can read and write to internal values
* we cannot capture a definitive list of possible resources to display to users in an editor
## Notes to reviewers
* Review this commit-by-commit; there's effectively no back-tracking and there's a lot of churn in some of these commits.
*ira: My commits are not as well organized :')*
* I've relaxed the bound on Local to Send + Sync + 'static: I don't think these concerns apply there, so this can keep things simple. Storing e.g. a u32 in a Local is fine, because there's a variable name attached explaining what it does.
* I think this is a bad place for the Resource trait to live, but I've left it in place to make reviewing easier. IMO that's best tackled with https://github.com/bevyengine/bevy/issues/4981.
## Changelog
`Resource` is no longer automatically implemented for all matching types. Instead, use the new `#[derive(Resource)]` macro.
## Migration Guide
Add `#[derive(Resource)]` to all types you are using as a resource.
If you are using a third party type as a resource, wrap it in a tuple struct to bypass orphan rules. Consider deriving `Deref` and `DerefMut` to improve ergonomics.
`ClearColor` no longer implements `Component`. Using `ClearColor` as a component in 0.8 did nothing.
Use the `ClearColorConfig` in the `Camera3d` and `Camera2d` components instead.
Co-authored-by: Alice <alice.i.cecile@gmail.com>
Co-authored-by: Alice Cecile <alice.i.cecile@gmail.com>
Co-authored-by: devil-ira <justthecooldude@gmail.com>
Co-authored-by: Carter Anderson <mcanders1@gmail.com>
2022-08-08 21:36:35 +00:00
|
|
|
pub fn derive_resource(input: TokenStream) -> TokenStream {
|
|
|
|
let mut ast = parse_macro_input!(input as DeriveInput);
|
|
|
|
let bevy_ecs_path: Path = crate::bevy_ecs_path();
|
|
|
|
|
|
|
|
ast.generics
|
|
|
|
.make_where_clause()
|
|
|
|
.predicates
|
|
|
|
.push(parse_quote! { Self: Send + Sync + 'static });
|
|
|
|
|
|
|
|
let struct_name = &ast.ident;
|
|
|
|
let (impl_generics, type_generics, where_clause) = &ast.generics.split_for_impl();
|
|
|
|
|
|
|
|
TokenStream::from(quote! {
|
|
|
|
impl #impl_generics #bevy_ecs_path::system::Resource for #struct_name #type_generics #where_clause {
|
|
|
|
}
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2021-10-03 19:23:44 +00:00
|
|
|
pub fn derive_component(input: TokenStream) -> TokenStream {
|
|
|
|
let mut ast = parse_macro_input!(input as DeriveInput);
|
|
|
|
let bevy_ecs_path: Path = crate::bevy_ecs_path();
|
|
|
|
|
|
|
|
let attrs = match parse_component_attr(&ast) {
|
|
|
|
Ok(attrs) => attrs,
|
|
|
|
Err(e) => return e.into_compile_error().into(),
|
|
|
|
};
|
|
|
|
|
2022-02-13 22:33:55 +00:00
|
|
|
let storage = storage_path(&bevy_ecs_path, attrs.storage);
|
2021-10-03 19:23:44 +00:00
|
|
|
|
2024-07-08 00:46:00 +00:00
|
|
|
let on_add = hook_register_function_call(quote! {on_add}, attrs.on_add);
|
|
|
|
let on_insert = hook_register_function_call(quote! {on_insert}, attrs.on_insert);
|
2024-07-15 15:24:15 +00:00
|
|
|
let on_replace = hook_register_function_call(quote! {on_replace}, attrs.on_replace);
|
2024-07-08 00:46:00 +00:00
|
|
|
let on_remove = hook_register_function_call(quote! {on_remove}, attrs.on_remove);
|
|
|
|
|
2021-10-03 19:23:44 +00:00
|
|
|
ast.generics
|
|
|
|
.make_where_clause()
|
|
|
|
.predicates
|
|
|
|
.push(parse_quote! { Self: Send + Sync + 'static });
|
|
|
|
|
|
|
|
let struct_name = &ast.ident;
|
|
|
|
let (impl_generics, type_generics, where_clause) = &ast.generics.split_for_impl();
|
|
|
|
|
|
|
|
TokenStream::from(quote! {
|
|
|
|
impl #impl_generics #bevy_ecs_path::component::Component for #struct_name #type_generics #where_clause {
|
2024-03-05 15:54:52 +00:00
|
|
|
const STORAGE_TYPE: #bevy_ecs_path::component::StorageType = #storage;
|
2024-07-08 00:46:00 +00:00
|
|
|
|
|
|
|
#[allow(unused_variables)]
|
|
|
|
fn register_component_hooks(hooks: &mut #bevy_ecs_path::component::ComponentHooks) {
|
|
|
|
#on_add
|
|
|
|
#on_insert
|
2024-07-15 15:24:15 +00:00
|
|
|
#on_replace
|
2024-07-08 00:46:00 +00:00
|
|
|
#on_remove
|
|
|
|
}
|
2021-10-03 19:23:44 +00:00
|
|
|
}
|
|
|
|
})
|
|
|
|
}
|
|
|
|
|
2023-05-16 01:24:17 +00:00
|
|
|
pub const COMPONENT: &str = "component";
|
|
|
|
pub const STORAGE: &str = "storage";
|
2024-07-08 00:46:00 +00:00
|
|
|
pub const ON_ADD: &str = "on_add";
|
|
|
|
pub const ON_INSERT: &str = "on_insert";
|
2024-07-15 15:24:15 +00:00
|
|
|
pub const ON_REPLACE: &str = "on_replace";
|
2024-07-08 00:46:00 +00:00
|
|
|
pub const ON_REMOVE: &str = "on_remove";
|
2021-10-03 19:23:44 +00:00
|
|
|
|
|
|
|
struct Attrs {
|
|
|
|
storage: StorageTy,
|
2024-07-08 00:46:00 +00:00
|
|
|
on_add: Option<ExprPath>,
|
|
|
|
on_insert: Option<ExprPath>,
|
2024-07-15 15:24:15 +00:00
|
|
|
on_replace: Option<ExprPath>,
|
2024-07-08 00:46:00 +00:00
|
|
|
on_remove: Option<ExprPath>,
|
2021-10-03 19:23:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[derive(Clone, Copy)]
|
|
|
|
enum StorageTy {
|
|
|
|
Table,
|
|
|
|
SparseSet,
|
|
|
|
}
|
|
|
|
|
2022-01-02 23:28:18 +00:00
|
|
|
// values for `storage` attribute
|
|
|
|
const TABLE: &str = "Table";
|
|
|
|
const SPARSE_SET: &str = "SparseSet";
|
|
|
|
|
2021-10-03 19:23:44 +00:00
|
|
|
fn parse_component_attr(ast: &DeriveInput) -> Result<Attrs> {
|
|
|
|
let mut attrs = Attrs {
|
|
|
|
storage: StorageTy::Table,
|
2024-07-08 00:46:00 +00:00
|
|
|
on_add: None,
|
|
|
|
on_insert: None,
|
2024-07-15 15:24:15 +00:00
|
|
|
on_replace: None,
|
2024-07-08 00:46:00 +00:00
|
|
|
on_remove: None,
|
2021-10-03 19:23:44 +00:00
|
|
|
};
|
|
|
|
|
2023-05-16 01:24:17 +00:00
|
|
|
for meta in ast.attrs.iter().filter(|a| a.path().is_ident(COMPONENT)) {
|
|
|
|
meta.parse_nested_meta(|nested| {
|
|
|
|
if nested.path.is_ident(STORAGE) {
|
|
|
|
attrs.storage = match nested.value()?.parse::<LitStr>()?.value() {
|
|
|
|
s if s == TABLE => StorageTy::Table,
|
|
|
|
s if s == SPARSE_SET => StorageTy::SparseSet,
|
2021-10-03 19:23:44 +00:00
|
|
|
s => {
|
2023-05-16 01:24:17 +00:00
|
|
|
return Err(nested.error(format!(
|
|
|
|
"Invalid storage type `{s}`, expected '{TABLE}' or '{SPARSE_SET}'.",
|
|
|
|
)));
|
2021-10-03 19:23:44 +00:00
|
|
|
}
|
|
|
|
};
|
2023-05-16 01:24:17 +00:00
|
|
|
Ok(())
|
2024-07-08 00:46:00 +00:00
|
|
|
} else if nested.path.is_ident(ON_ADD) {
|
|
|
|
attrs.on_add = Some(nested.value()?.parse::<ExprPath>()?);
|
|
|
|
Ok(())
|
|
|
|
} else if nested.path.is_ident(ON_INSERT) {
|
|
|
|
attrs.on_insert = Some(nested.value()?.parse::<ExprPath>()?);
|
|
|
|
Ok(())
|
2024-07-15 15:24:15 +00:00
|
|
|
} else if nested.path.is_ident(ON_REPLACE) {
|
|
|
|
attrs.on_replace = Some(nested.value()?.parse::<ExprPath>()?);
|
|
|
|
Ok(())
|
2024-07-08 00:46:00 +00:00
|
|
|
} else if nested.path.is_ident(ON_REMOVE) {
|
|
|
|
attrs.on_remove = Some(nested.value()?.parse::<ExprPath>()?);
|
|
|
|
Ok(())
|
2023-05-16 01:24:17 +00:00
|
|
|
} else {
|
2023-07-10 00:11:51 +00:00
|
|
|
Err(nested.error("Unsupported attribute"))
|
2021-10-03 19:23:44 +00:00
|
|
|
}
|
2023-05-16 01:24:17 +00:00
|
|
|
})?;
|
2021-10-03 19:23:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
Ok(attrs)
|
|
|
|
}
|
|
|
|
|
2022-02-13 22:33:55 +00:00
|
|
|
fn storage_path(bevy_ecs_path: &Path, ty: StorageTy) -> TokenStream2 {
|
2024-03-05 15:54:52 +00:00
|
|
|
let storage_type = match ty {
|
|
|
|
StorageTy::Table => Ident::new("Table", Span::call_site()),
|
|
|
|
StorageTy::SparseSet => Ident::new("SparseSet", Span::call_site()),
|
2021-10-03 19:23:44 +00:00
|
|
|
};
|
|
|
|
|
2024-03-05 15:54:52 +00:00
|
|
|
quote! { #bevy_ecs_path::component::StorageType::#storage_type }
|
2021-10-03 19:23:44 +00:00
|
|
|
}
|
2024-07-08 00:46:00 +00:00
|
|
|
|
|
|
|
fn hook_register_function_call(
|
|
|
|
hook: TokenStream2,
|
|
|
|
function: Option<ExprPath>,
|
|
|
|
) -> Option<TokenStream2> {
|
|
|
|
function.map(|meta| quote! { hooks. #hook (#meta); })
|
|
|
|
}
|