2021-08-24 00:31:21 +00:00
|
|
|
//! Traits used by label implementations
|
|
|
|
|
|
|
|
use std::{
|
|
|
|
any::Any,
|
|
|
|
hash::{Hash, Hasher},
|
|
|
|
};
|
|
|
|
|
|
|
|
pub trait DynEq: Any {
|
|
|
|
fn as_any(&self) -> &dyn Any;
|
|
|
|
|
|
|
|
fn dyn_eq(&self, other: &dyn DynEq) -> bool;
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> DynEq for T
|
|
|
|
where
|
|
|
|
T: Any + Eq,
|
|
|
|
{
|
|
|
|
fn as_any(&self) -> &dyn Any {
|
|
|
|
self
|
|
|
|
}
|
|
|
|
|
|
|
|
fn dyn_eq(&self, other: &dyn DynEq) -> bool {
|
|
|
|
if let Some(other) = other.as_any().downcast_ref::<T>() {
|
|
|
|
return self == other;
|
|
|
|
}
|
|
|
|
false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub trait DynHash: DynEq {
|
|
|
|
fn as_dyn_eq(&self) -> &dyn DynEq;
|
|
|
|
|
|
|
|
fn dyn_hash(&self, state: &mut dyn Hasher);
|
|
|
|
}
|
|
|
|
|
|
|
|
impl<T> DynHash for T
|
|
|
|
where
|
|
|
|
T: DynEq + Hash,
|
|
|
|
{
|
|
|
|
fn as_dyn_eq(&self) -> &dyn DynEq {
|
|
|
|
self
|
|
|
|
}
|
|
|
|
|
|
|
|
fn dyn_hash(&self, mut state: &mut dyn Hasher) {
|
|
|
|
T::hash(self, &mut state);
|
|
|
|
self.type_id().hash(&mut state);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
Simplify design for `*Label`s (#4957)
# Objective
- Closes #4954
- Reduce the complexity of the `{System, App, *}Label` APIs.
## Solution
For the sake of brevity I will only refer to `SystemLabel`, but everything applies to all of the other label types as well.
- Add `SystemLabelId`, a lightweight, `copy` struct.
- Convert custom types into `SystemLabelId` using the trait `SystemLabel`.
## Changelog
- String literals implement `SystemLabel` for now, but this should be changed with #4409 .
## Migration Guide
- Any previous use of `Box<dyn SystemLabel>` should be replaced with `SystemLabelId`.
- `AsSystemLabel` trait has been modified.
- No more output generics.
- Method `as_system_label` now returns `SystemLabelId`, removing an unnecessary level of indirection.
- If you *need* a label that is determined at runtime, you can use `Box::leak`. Not recommended.
## Questions for later
* Should we generate a `Debug` impl along with `#[derive(*Label)]`?
* Should we rename `as_str()`?
* Should we remove the extra derives (such as `Hash`) from builtin `*Label` types?
* Should we automatically derive types like `Clone, Copy, PartialEq, Eq`?
* More-ergonomic comparisons between `Label` and `LabelId`.
* Move `Dyn{Eq, Hash,Clone}` somewhere else.
* Some API to make interning dynamic labels easier.
* Optimize string representation
* Empty string for unit structs -- no debug info but faster comparisons
* Don't show enum types -- same tradeoffs as asbove.
2022-07-14 18:23:01 +00:00
|
|
|
#[doc(hidden)]
|
|
|
|
pub use concat_idents::concat_idents;
|
|
|
|
|
2021-08-24 00:31:21 +00:00
|
|
|
/// Macro to define a new label trait
|
|
|
|
///
|
|
|
|
/// # Example
|
|
|
|
///
|
|
|
|
/// ```
|
|
|
|
/// # use bevy_utils::define_label;
|
|
|
|
/// define_label!(MyNewLabelTrait);
|
|
|
|
/// ```
|
|
|
|
#[macro_export]
|
|
|
|
macro_rules! define_label {
|
Simplify design for `*Label`s (#4957)
# Objective
- Closes #4954
- Reduce the complexity of the `{System, App, *}Label` APIs.
## Solution
For the sake of brevity I will only refer to `SystemLabel`, but everything applies to all of the other label types as well.
- Add `SystemLabelId`, a lightweight, `copy` struct.
- Convert custom types into `SystemLabelId` using the trait `SystemLabel`.
## Changelog
- String literals implement `SystemLabel` for now, but this should be changed with #4409 .
## Migration Guide
- Any previous use of `Box<dyn SystemLabel>` should be replaced with `SystemLabelId`.
- `AsSystemLabel` trait has been modified.
- No more output generics.
- Method `as_system_label` now returns `SystemLabelId`, removing an unnecessary level of indirection.
- If you *need* a label that is determined at runtime, you can use `Box::leak`. Not recommended.
## Questions for later
* Should we generate a `Debug` impl along with `#[derive(*Label)]`?
* Should we rename `as_str()`?
* Should we remove the extra derives (such as `Hash`) from builtin `*Label` types?
* Should we automatically derive types like `Clone, Copy, PartialEq, Eq`?
* More-ergonomic comparisons between `Label` and `LabelId`.
* Move `Dyn{Eq, Hash,Clone}` somewhere else.
* Some API to make interning dynamic labels easier.
* Optimize string representation
* Empty string for unit structs -- no debug info but faster comparisons
* Don't show enum types -- same tradeoffs as asbove.
2022-07-14 18:23:01 +00:00
|
|
|
($label_name:ident) => {
|
|
|
|
$crate::label::concat_idents!(id_name = $label_name, Id {
|
2021-08-24 00:31:21 +00:00
|
|
|
|
Simplify design for `*Label`s (#4957)
# Objective
- Closes #4954
- Reduce the complexity of the `{System, App, *}Label` APIs.
## Solution
For the sake of brevity I will only refer to `SystemLabel`, but everything applies to all of the other label types as well.
- Add `SystemLabelId`, a lightweight, `copy` struct.
- Convert custom types into `SystemLabelId` using the trait `SystemLabel`.
## Changelog
- String literals implement `SystemLabel` for now, but this should be changed with #4409 .
## Migration Guide
- Any previous use of `Box<dyn SystemLabel>` should be replaced with `SystemLabelId`.
- `AsSystemLabel` trait has been modified.
- No more output generics.
- Method `as_system_label` now returns `SystemLabelId`, removing an unnecessary level of indirection.
- If you *need* a label that is determined at runtime, you can use `Box::leak`. Not recommended.
## Questions for later
* Should we generate a `Debug` impl along with `#[derive(*Label)]`?
* Should we rename `as_str()`?
* Should we remove the extra derives (such as `Hash`) from builtin `*Label` types?
* Should we automatically derive types like `Clone, Copy, PartialEq, Eq`?
* More-ergonomic comparisons between `Label` and `LabelId`.
* Move `Dyn{Eq, Hash,Clone}` somewhere else.
* Some API to make interning dynamic labels easier.
* Optimize string representation
* Empty string for unit structs -- no debug info but faster comparisons
* Don't show enum types -- same tradeoffs as asbove.
2022-07-14 18:23:01 +00:00
|
|
|
/// Stores one of a set of strongly-typed labels for a class of objects.
|
|
|
|
#[derive(Clone, Copy, PartialEq, Eq, Hash)]
|
|
|
|
pub struct id_name(::core::any::TypeId, &'static str);
|
2021-08-24 00:31:21 +00:00
|
|
|
|
Simplify design for `*Label`s (#4957)
# Objective
- Closes #4954
- Reduce the complexity of the `{System, App, *}Label` APIs.
## Solution
For the sake of brevity I will only refer to `SystemLabel`, but everything applies to all of the other label types as well.
- Add `SystemLabelId`, a lightweight, `copy` struct.
- Convert custom types into `SystemLabelId` using the trait `SystemLabel`.
## Changelog
- String literals implement `SystemLabel` for now, but this should be changed with #4409 .
## Migration Guide
- Any previous use of `Box<dyn SystemLabel>` should be replaced with `SystemLabelId`.
- `AsSystemLabel` trait has been modified.
- No more output generics.
- Method `as_system_label` now returns `SystemLabelId`, removing an unnecessary level of indirection.
- If you *need* a label that is determined at runtime, you can use `Box::leak`. Not recommended.
## Questions for later
* Should we generate a `Debug` impl along with `#[derive(*Label)]`?
* Should we rename `as_str()`?
* Should we remove the extra derives (such as `Hash`) from builtin `*Label` types?
* Should we automatically derive types like `Clone, Copy, PartialEq, Eq`?
* More-ergonomic comparisons between `Label` and `LabelId`.
* Move `Dyn{Eq, Hash,Clone}` somewhere else.
* Some API to make interning dynamic labels easier.
* Optimize string representation
* Empty string for unit structs -- no debug info but faster comparisons
* Don't show enum types -- same tradeoffs as asbove.
2022-07-14 18:23:01 +00:00
|
|
|
impl ::core::fmt::Debug for id_name {
|
|
|
|
fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
|
|
|
|
write!(f, "{}", self.1)
|
|
|
|
}
|
2021-08-24 00:31:21 +00:00
|
|
|
}
|
|
|
|
|
Simplify design for `*Label`s (#4957)
# Objective
- Closes #4954
- Reduce the complexity of the `{System, App, *}Label` APIs.
## Solution
For the sake of brevity I will only refer to `SystemLabel`, but everything applies to all of the other label types as well.
- Add `SystemLabelId`, a lightweight, `copy` struct.
- Convert custom types into `SystemLabelId` using the trait `SystemLabel`.
## Changelog
- String literals implement `SystemLabel` for now, but this should be changed with #4409 .
## Migration Guide
- Any previous use of `Box<dyn SystemLabel>` should be replaced with `SystemLabelId`.
- `AsSystemLabel` trait has been modified.
- No more output generics.
- Method `as_system_label` now returns `SystemLabelId`, removing an unnecessary level of indirection.
- If you *need* a label that is determined at runtime, you can use `Box::leak`. Not recommended.
## Questions for later
* Should we generate a `Debug` impl along with `#[derive(*Label)]`?
* Should we rename `as_str()`?
* Should we remove the extra derives (such as `Hash`) from builtin `*Label` types?
* Should we automatically derive types like `Clone, Copy, PartialEq, Eq`?
* More-ergonomic comparisons between `Label` and `LabelId`.
* Move `Dyn{Eq, Hash,Clone}` somewhere else.
* Some API to make interning dynamic labels easier.
* Optimize string representation
* Empty string for unit structs -- no debug info but faster comparisons
* Don't show enum types -- same tradeoffs as asbove.
2022-07-14 18:23:01 +00:00
|
|
|
/// Types that can be converted to a(n) [`id_name`].
|
|
|
|
///
|
|
|
|
/// Check the docs for [`define_label`](bevy_ecs::define_label) for more info.
|
|
|
|
pub trait $label_name: 'static {
|
|
|
|
/// Converts this type into an opaque, strongly-typed label.
|
|
|
|
fn as_label(&self) -> id_name {
|
|
|
|
let id = self.type_id();
|
|
|
|
let label = self.as_str();
|
|
|
|
id_name(id, label)
|
|
|
|
}
|
|
|
|
/// Returns the [`TypeId`] used to differentiate labels.
|
|
|
|
fn type_id(&self) -> ::core::any::TypeId {
|
|
|
|
::core::any::TypeId::of::<Self>()
|
|
|
|
}
|
|
|
|
/// Returns the representation of this label as a string literal.
|
|
|
|
///
|
|
|
|
/// In cases where you absolutely need a label to be determined at runtime,
|
|
|
|
/// you can use [`Box::leak`] to get a `'static` reference.
|
|
|
|
fn as_str(&self) -> &'static str;
|
2021-08-24 00:31:21 +00:00
|
|
|
}
|
|
|
|
|
Simplify design for `*Label`s (#4957)
# Objective
- Closes #4954
- Reduce the complexity of the `{System, App, *}Label` APIs.
## Solution
For the sake of brevity I will only refer to `SystemLabel`, but everything applies to all of the other label types as well.
- Add `SystemLabelId`, a lightweight, `copy` struct.
- Convert custom types into `SystemLabelId` using the trait `SystemLabel`.
## Changelog
- String literals implement `SystemLabel` for now, but this should be changed with #4409 .
## Migration Guide
- Any previous use of `Box<dyn SystemLabel>` should be replaced with `SystemLabelId`.
- `AsSystemLabel` trait has been modified.
- No more output generics.
- Method `as_system_label` now returns `SystemLabelId`, removing an unnecessary level of indirection.
- If you *need* a label that is determined at runtime, you can use `Box::leak`. Not recommended.
## Questions for later
* Should we generate a `Debug` impl along with `#[derive(*Label)]`?
* Should we rename `as_str()`?
* Should we remove the extra derives (such as `Hash`) from builtin `*Label` types?
* Should we automatically derive types like `Clone, Copy, PartialEq, Eq`?
* More-ergonomic comparisons between `Label` and `LabelId`.
* Move `Dyn{Eq, Hash,Clone}` somewhere else.
* Some API to make interning dynamic labels easier.
* Optimize string representation
* Empty string for unit structs -- no debug info but faster comparisons
* Don't show enum types -- same tradeoffs as asbove.
2022-07-14 18:23:01 +00:00
|
|
|
impl $label_name for id_name {
|
|
|
|
fn as_label(&self) -> Self {
|
|
|
|
*self
|
|
|
|
}
|
|
|
|
fn type_id(&self) -> ::core::any::TypeId {
|
|
|
|
self.0
|
|
|
|
}
|
|
|
|
fn as_str(&self) -> &'static str {
|
|
|
|
self.1
|
|
|
|
}
|
2021-08-24 00:31:21 +00:00
|
|
|
}
|
|
|
|
|
Simplify design for `*Label`s (#4957)
# Objective
- Closes #4954
- Reduce the complexity of the `{System, App, *}Label` APIs.
## Solution
For the sake of brevity I will only refer to `SystemLabel`, but everything applies to all of the other label types as well.
- Add `SystemLabelId`, a lightweight, `copy` struct.
- Convert custom types into `SystemLabelId` using the trait `SystemLabel`.
## Changelog
- String literals implement `SystemLabel` for now, but this should be changed with #4409 .
## Migration Guide
- Any previous use of `Box<dyn SystemLabel>` should be replaced with `SystemLabelId`.
- `AsSystemLabel` trait has been modified.
- No more output generics.
- Method `as_system_label` now returns `SystemLabelId`, removing an unnecessary level of indirection.
- If you *need* a label that is determined at runtime, you can use `Box::leak`. Not recommended.
## Questions for later
* Should we generate a `Debug` impl along with `#[derive(*Label)]`?
* Should we rename `as_str()`?
* Should we remove the extra derives (such as `Hash`) from builtin `*Label` types?
* Should we automatically derive types like `Clone, Copy, PartialEq, Eq`?
* More-ergonomic comparisons between `Label` and `LabelId`.
* Move `Dyn{Eq, Hash,Clone}` somewhere else.
* Some API to make interning dynamic labels easier.
* Optimize string representation
* Empty string for unit structs -- no debug info but faster comparisons
* Don't show enum types -- same tradeoffs as asbove.
2022-07-14 18:23:01 +00:00
|
|
|
impl $label_name for &'static str {
|
|
|
|
fn as_str(&self) -> Self {
|
|
|
|
self
|
|
|
|
}
|
2021-08-24 00:31:21 +00:00
|
|
|
}
|
Simplify design for `*Label`s (#4957)
# Objective
- Closes #4954
- Reduce the complexity of the `{System, App, *}Label` APIs.
## Solution
For the sake of brevity I will only refer to `SystemLabel`, but everything applies to all of the other label types as well.
- Add `SystemLabelId`, a lightweight, `copy` struct.
- Convert custom types into `SystemLabelId` using the trait `SystemLabel`.
## Changelog
- String literals implement `SystemLabel` for now, but this should be changed with #4409 .
## Migration Guide
- Any previous use of `Box<dyn SystemLabel>` should be replaced with `SystemLabelId`.
- `AsSystemLabel` trait has been modified.
- No more output generics.
- Method `as_system_label` now returns `SystemLabelId`, removing an unnecessary level of indirection.
- If you *need* a label that is determined at runtime, you can use `Box::leak`. Not recommended.
## Questions for later
* Should we generate a `Debug` impl along with `#[derive(*Label)]`?
* Should we rename `as_str()`?
* Should we remove the extra derives (such as `Hash`) from builtin `*Label` types?
* Should we automatically derive types like `Clone, Copy, PartialEq, Eq`?
* More-ergonomic comparisons between `Label` and `LabelId`.
* Move `Dyn{Eq, Hash,Clone}` somewhere else.
* Some API to make interning dynamic labels easier.
* Optimize string representation
* Empty string for unit structs -- no debug info but faster comparisons
* Don't show enum types -- same tradeoffs as asbove.
2022-07-14 18:23:01 +00:00
|
|
|
});
|
2021-08-24 00:31:21 +00:00
|
|
|
};
|
|
|
|
}
|