Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
bevyengine
GitHub Repository: bevyengine/bevy
Path: blob/main/crates/bevy_reflect/src/tuple_struct.rs
9353 views
1
//! Traits and types used to power [tuple-struct-like] operations via reflection.
2
//!
3
//! [tuple-struct-like]: https://doc.rust-lang.org/book/ch05-01-defining-structs.html#using-tuple-structs-without-named-fields-to-create-different-types
4
use bevy_reflect_derive::impl_type_path;
5
6
use crate::generics::impl_generic_info_methods;
7
use crate::{
8
attributes::{impl_custom_attribute_methods, CustomAttributes},
9
tuple::{DynamicTuple, Tuple},
10
type_info::impl_type_methods,
11
ApplyError, Generics, PartialReflect, Reflect, ReflectKind, ReflectMut, ReflectOwned,
12
ReflectRef, Type, TypeInfo, TypePath, UnnamedField,
13
};
14
use alloc::{boxed::Box, vec::Vec};
15
use bevy_platform::sync::Arc;
16
use core::{
17
fmt::{Debug, Formatter},
18
slice::Iter,
19
};
20
21
/// A trait used to power [tuple struct-like] operations via [reflection].
22
///
23
/// This trait uses the [`Reflect`] trait to allow implementors to have their fields
24
/// be dynamically addressed by index.
25
///
26
/// When using [`#[derive(Reflect)]`](derive@crate::Reflect) on a tuple struct,
27
/// this trait will be automatically implemented.
28
///
29
/// # Example
30
///
31
/// ```
32
/// use bevy_reflect::{PartialReflect, Reflect, tuple_struct::TupleStruct};
33
///
34
/// #[derive(Reflect)]
35
/// struct Foo(u32);
36
///
37
/// let foo = Foo(123);
38
///
39
/// assert_eq!(foo.field_len(), 1);
40
///
41
/// let field: &dyn PartialReflect = foo.field(0).unwrap();
42
/// assert_eq!(field.try_downcast_ref::<u32>(), Some(&123));
43
/// ```
44
///
45
/// [tuple struct-like]: https://doc.rust-lang.org/book/ch05-01-defining-structs.html#using-tuple-structs-without-named-fields-to-create-different-types
46
/// [reflection]: crate
47
pub trait TupleStruct: PartialReflect {
48
/// Returns a reference to the value of the field with index `index` as a
49
/// `&dyn Reflect`.
50
fn field(&self, index: usize) -> Option<&dyn PartialReflect>;
51
52
/// Returns a mutable reference to the value of the field with index `index`
53
/// as a `&mut dyn Reflect`.
54
fn field_mut(&mut self, index: usize) -> Option<&mut dyn PartialReflect>;
55
56
/// Returns the number of fields in the tuple struct.
57
fn field_len(&self) -> usize;
58
59
/// Returns an iterator over the values of the tuple struct's fields.
60
fn iter_fields(&self) -> TupleStructFieldIter<'_>;
61
62
/// Creates a new [`DynamicTupleStruct`] from this tuple struct.
63
fn to_dynamic_tuple_struct(&self) -> DynamicTupleStruct {
64
DynamicTupleStruct {
65
represented_type: self.get_represented_type_info(),
66
fields: self.iter_fields().map(PartialReflect::to_dynamic).collect(),
67
}
68
}
69
70
/// Will return `None` if [`TypeInfo`] is not available.
71
fn get_represented_tuple_struct_info(&self) -> Option<&'static TupleStructInfo> {
72
self.get_represented_type_info()?.as_tuple_struct().ok()
73
}
74
}
75
76
/// A container for compile-time tuple struct info.
77
#[derive(Clone, Debug)]
78
pub struct TupleStructInfo {
79
ty: Type,
80
generics: Generics,
81
fields: Box<[UnnamedField]>,
82
custom_attributes: Arc<CustomAttributes>,
83
#[cfg(feature = "reflect_documentation")]
84
docs: Option<&'static str>,
85
}
86
87
impl TupleStructInfo {
88
/// Create a new [`TupleStructInfo`].
89
///
90
/// # Arguments
91
///
92
/// * `fields`: The fields of this struct in the order they are defined
93
pub fn new<T: Reflect + TypePath>(fields: &[UnnamedField]) -> Self {
94
Self {
95
ty: Type::of::<T>(),
96
generics: Generics::new(),
97
fields: fields.to_vec().into_boxed_slice(),
98
custom_attributes: Arc::new(CustomAttributes::default()),
99
#[cfg(feature = "reflect_documentation")]
100
docs: None,
101
}
102
}
103
104
/// Sets the docstring for this struct.
105
#[cfg(feature = "reflect_documentation")]
106
pub fn with_docs(self, docs: Option<&'static str>) -> Self {
107
Self { docs, ..self }
108
}
109
110
/// Sets the custom attributes for this struct.
111
pub fn with_custom_attributes(self, custom_attributes: CustomAttributes) -> Self {
112
Self {
113
custom_attributes: Arc::new(custom_attributes),
114
..self
115
}
116
}
117
118
/// Get the field at the given index.
119
pub fn field_at(&self, index: usize) -> Option<&UnnamedField> {
120
self.fields.get(index)
121
}
122
123
/// Iterate over the fields of this struct.
124
pub fn iter(&self) -> Iter<'_, UnnamedField> {
125
self.fields.iter()
126
}
127
128
/// The total number of fields in this struct.
129
pub fn field_len(&self) -> usize {
130
self.fields.len()
131
}
132
133
impl_type_methods!(ty);
134
135
/// The docstring of this struct, if any.
136
#[cfg(feature = "reflect_documentation")]
137
pub fn docs(&self) -> Option<&'static str> {
138
self.docs
139
}
140
141
impl_custom_attribute_methods!(self.custom_attributes, "struct");
142
143
impl_generic_info_methods!(generics);
144
}
145
146
/// An iterator over the field values of a tuple struct.
147
pub struct TupleStructFieldIter<'a> {
148
pub(crate) tuple_struct: &'a dyn TupleStruct,
149
pub(crate) index: usize,
150
}
151
152
impl<'a> TupleStructFieldIter<'a> {
153
/// Creates a new [`TupleStructFieldIter`].
154
pub fn new(value: &'a dyn TupleStruct) -> Self {
155
TupleStructFieldIter {
156
tuple_struct: value,
157
index: 0,
158
}
159
}
160
}
161
162
impl<'a> Iterator for TupleStructFieldIter<'a> {
163
type Item = &'a dyn PartialReflect;
164
165
fn next(&mut self) -> Option<Self::Item> {
166
let value = self.tuple_struct.field(self.index);
167
self.index += value.is_some() as usize;
168
value
169
}
170
171
fn size_hint(&self) -> (usize, Option<usize>) {
172
let size = self.tuple_struct.field_len();
173
(size, Some(size))
174
}
175
}
176
177
impl<'a> ExactSizeIterator for TupleStructFieldIter<'a> {}
178
179
/// A convenience trait which combines fetching and downcasting of tuple
180
/// struct fields.
181
///
182
/// # Example
183
///
184
/// ```
185
/// use bevy_reflect::{tuple_struct::GetTupleStructField, Reflect};
186
///
187
/// #[derive(Reflect)]
188
/// struct Foo(String);
189
///
190
/// # fn main() {
191
/// let mut foo = Foo("Hello, world!".to_string());
192
///
193
/// foo.get_field_mut::<String>(0).unwrap().truncate(5);
194
/// assert_eq!(foo.get_field::<String>(0), Some(&"Hello".to_string()));
195
/// # }
196
/// ```
197
pub trait GetTupleStructField {
198
/// Returns a reference to the value of the field with index `index`,
199
/// downcast to `T`.
200
fn get_field<T: Reflect>(&self, index: usize) -> Option<&T>;
201
202
/// Returns a mutable reference to the value of the field with index
203
/// `index`, downcast to `T`.
204
fn get_field_mut<T: Reflect>(&mut self, index: usize) -> Option<&mut T>;
205
}
206
207
impl<S: TupleStruct> GetTupleStructField for S {
208
fn get_field<T: Reflect>(&self, index: usize) -> Option<&T> {
209
self.field(index)
210
.and_then(|value| value.try_downcast_ref::<T>())
211
}
212
213
fn get_field_mut<T: Reflect>(&mut self, index: usize) -> Option<&mut T> {
214
self.field_mut(index)
215
.and_then(|value| value.try_downcast_mut::<T>())
216
}
217
}
218
219
impl GetTupleStructField for dyn TupleStruct {
220
fn get_field<T: Reflect>(&self, index: usize) -> Option<&T> {
221
self.field(index)
222
.and_then(|value| value.try_downcast_ref::<T>())
223
}
224
225
fn get_field_mut<T: Reflect>(&mut self, index: usize) -> Option<&mut T> {
226
self.field_mut(index)
227
.and_then(|value| value.try_downcast_mut::<T>())
228
}
229
}
230
231
/// A tuple struct which allows fields to be added at runtime.
232
#[derive(Default)]
233
pub struct DynamicTupleStruct {
234
represented_type: Option<&'static TypeInfo>,
235
fields: Vec<Box<dyn PartialReflect>>,
236
}
237
238
impl DynamicTupleStruct {
239
/// Sets the [type] to be represented by this `DynamicTupleStruct`.
240
///
241
/// # Panics
242
///
243
/// Panics if the given [type] is not a [`TypeInfo::TupleStruct`].
244
///
245
/// [type]: TypeInfo
246
pub fn set_represented_type(&mut self, represented_type: Option<&'static TypeInfo>) {
247
if let Some(represented_type) = represented_type {
248
assert!(
249
matches!(represented_type, TypeInfo::TupleStruct(_)),
250
"expected TypeInfo::TupleStruct but received: {represented_type:?}"
251
);
252
}
253
254
self.represented_type = represented_type;
255
}
256
257
/// Appends an element with value `value` to the tuple struct.
258
pub fn insert_boxed(&mut self, value: Box<dyn PartialReflect>) {
259
self.fields.push(value);
260
}
261
262
/// Appends a typed element with value `value` to the tuple struct.
263
pub fn insert<T: PartialReflect>(&mut self, value: T) {
264
self.insert_boxed(Box::new(value));
265
}
266
}
267
268
impl TupleStruct for DynamicTupleStruct {
269
#[inline]
270
fn field(&self, index: usize) -> Option<&dyn PartialReflect> {
271
self.fields.get(index).map(|field| &**field)
272
}
273
274
#[inline]
275
fn field_mut(&mut self, index: usize) -> Option<&mut dyn PartialReflect> {
276
self.fields.get_mut(index).map(|field| &mut **field)
277
}
278
279
#[inline]
280
fn field_len(&self) -> usize {
281
self.fields.len()
282
}
283
284
#[inline]
285
fn iter_fields(&self) -> TupleStructFieldIter<'_> {
286
TupleStructFieldIter {
287
tuple_struct: self,
288
index: 0,
289
}
290
}
291
}
292
293
impl PartialReflect for DynamicTupleStruct {
294
#[inline]
295
fn get_represented_type_info(&self) -> Option<&'static TypeInfo> {
296
self.represented_type
297
}
298
299
#[inline]
300
fn into_partial_reflect(self: Box<Self>) -> Box<dyn PartialReflect> {
301
self
302
}
303
304
#[inline]
305
fn as_partial_reflect(&self) -> &dyn PartialReflect {
306
self
307
}
308
309
#[inline]
310
fn as_partial_reflect_mut(&mut self) -> &mut dyn PartialReflect {
311
self
312
}
313
314
fn try_into_reflect(self: Box<Self>) -> Result<Box<dyn Reflect>, Box<dyn PartialReflect>> {
315
Err(self)
316
}
317
318
fn try_as_reflect(&self) -> Option<&dyn Reflect> {
319
None
320
}
321
322
fn try_as_reflect_mut(&mut self) -> Option<&mut dyn Reflect> {
323
None
324
}
325
326
fn try_apply(&mut self, value: &dyn PartialReflect) -> Result<(), ApplyError> {
327
let tuple_struct = value.reflect_ref().as_tuple_struct()?;
328
329
for (i, value) in tuple_struct.iter_fields().enumerate() {
330
if let Some(v) = self.field_mut(i) {
331
v.try_apply(value)?;
332
}
333
}
334
335
Ok(())
336
}
337
338
#[inline]
339
fn reflect_kind(&self) -> ReflectKind {
340
ReflectKind::TupleStruct
341
}
342
343
#[inline]
344
fn reflect_ref(&self) -> ReflectRef<'_> {
345
ReflectRef::TupleStruct(self)
346
}
347
348
#[inline]
349
fn reflect_mut(&mut self) -> ReflectMut<'_> {
350
ReflectMut::TupleStruct(self)
351
}
352
353
#[inline]
354
fn reflect_owned(self: Box<Self>) -> ReflectOwned {
355
ReflectOwned::TupleStruct(self)
356
}
357
358
#[inline]
359
fn reflect_partial_eq(&self, value: &dyn PartialReflect) -> Option<bool> {
360
tuple_struct_partial_eq(self, value)
361
}
362
363
fn reflect_partial_cmp(&self, value: &dyn PartialReflect) -> Option<::core::cmp::Ordering> {
364
tuple_struct_partial_cmp(self, value)
365
}
366
367
fn debug(&self, f: &mut Formatter<'_>) -> core::fmt::Result {
368
write!(f, "DynamicTupleStruct(")?;
369
tuple_struct_debug(self, f)?;
370
write!(f, ")")
371
}
372
373
#[inline]
374
fn is_dynamic(&self) -> bool {
375
true
376
}
377
}
378
379
impl_type_path!((in bevy_reflect) DynamicTupleStruct);
380
381
impl Debug for DynamicTupleStruct {
382
fn fmt(&self, f: &mut Formatter<'_>) -> core::fmt::Result {
383
self.debug(f)
384
}
385
}
386
387
impl From<DynamicTuple> for DynamicTupleStruct {
388
fn from(value: DynamicTuple) -> Self {
389
Self {
390
represented_type: None,
391
fields: Box::new(value).drain(),
392
}
393
}
394
}
395
396
impl FromIterator<Box<dyn PartialReflect>> for DynamicTupleStruct {
397
fn from_iter<I: IntoIterator<Item = Box<dyn PartialReflect>>>(fields: I) -> Self {
398
Self {
399
represented_type: None,
400
fields: fields.into_iter().collect(),
401
}
402
}
403
}
404
405
impl IntoIterator for DynamicTupleStruct {
406
type Item = Box<dyn PartialReflect>;
407
type IntoIter = alloc::vec::IntoIter<Self::Item>;
408
409
fn into_iter(self) -> Self::IntoIter {
410
self.fields.into_iter()
411
}
412
}
413
414
impl<'a> IntoIterator for &'a DynamicTupleStruct {
415
type Item = &'a dyn PartialReflect;
416
type IntoIter = TupleStructFieldIter<'a>;
417
418
fn into_iter(self) -> Self::IntoIter {
419
self.iter_fields()
420
}
421
}
422
423
/// Compares a [`TupleStruct`] with a [`PartialReflect`] value.
424
///
425
/// Returns true if and only if all of the following are true:
426
/// - `b` is a tuple struct;
427
/// - `b` has the same number of fields as `a`;
428
/// - [`PartialReflect::reflect_partial_eq`] returns `Some(true)` for pairwise fields of `a` and `b`.
429
///
430
/// Returns [`None`] if the comparison couldn't even be performed.
431
#[inline(never)]
432
pub fn tuple_struct_partial_eq(a: &dyn TupleStruct, b: &dyn PartialReflect) -> Option<bool> {
433
let ReflectRef::TupleStruct(tuple_struct) = b.reflect_ref() else {
434
return Some(false);
435
};
436
437
if a.field_len() != tuple_struct.field_len() {
438
return Some(false);
439
}
440
441
for (i, value) in tuple_struct.iter_fields().enumerate() {
442
if let Some(field_value) = a.field(i) {
443
let eq_result = field_value.reflect_partial_eq(value);
444
if let failed @ (Some(false) | None) = eq_result {
445
return failed;
446
}
447
} else {
448
return Some(false);
449
}
450
}
451
452
Some(true)
453
}
454
/// Lexicographically compares two [`TupleStruct`] values and returns their ordering.
455
///
456
/// Returns [`None`] if the comparison couldn't be performed (e.g., kinds mismatch
457
/// or an element comparison returns `None`).
458
#[inline(never)]
459
pub fn tuple_struct_partial_cmp(
460
a: &dyn TupleStruct,
461
b: &dyn PartialReflect,
462
) -> Option<::core::cmp::Ordering> {
463
let ReflectRef::TupleStruct(tuple_struct) = b.reflect_ref() else {
464
return None;
465
};
466
467
if a.field_len() != tuple_struct.field_len() {
468
return None;
469
}
470
471
for (i, value) in tuple_struct.iter_fields().enumerate() {
472
if let Some(field_value) = a.field(i) {
473
match field_value.reflect_partial_cmp(value) {
474
None => return None,
475
Some(core::cmp::Ordering::Equal) => continue,
476
Some(ord) => return Some(ord),
477
}
478
}
479
return None;
480
}
481
482
Some(core::cmp::Ordering::Equal)
483
}
484
485
/// The default debug formatter for [`TupleStruct`] types.
486
///
487
/// # Example
488
/// ```
489
/// use bevy_reflect::Reflect;
490
/// #[derive(Reflect)]
491
/// struct MyTupleStruct(usize);
492
///
493
/// let my_tuple_struct: &dyn Reflect = &MyTupleStruct(123);
494
/// println!("{:#?}", my_tuple_struct);
495
///
496
/// // Output:
497
///
498
/// // MyTupleStruct (
499
/// // 123,
500
/// // )
501
/// ```
502
#[inline]
503
pub fn tuple_struct_debug(
504
dyn_tuple_struct: &dyn TupleStruct,
505
f: &mut Formatter<'_>,
506
) -> core::fmt::Result {
507
let mut debug = f.debug_tuple(
508
dyn_tuple_struct
509
.get_represented_type_info()
510
.map(TypeInfo::type_path)
511
.unwrap_or("_"),
512
);
513
for field in dyn_tuple_struct.iter_fields() {
514
debug.field(&field as &dyn Debug);
515
}
516
debug.finish()
517
}
518
519
#[cfg(test)]
520
mod tests {
521
use super::TupleStruct;
522
use crate::Reflect;
523
#[derive(Reflect)]
524
struct Ts(u8, u8, u8, u8, u8, u8, u8, u8, u8, u8, u8, u8);
525
#[test]
526
fn next_index_increment() {
527
let mut iter = Ts(0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11).iter_fields();
528
let size = iter.len();
529
iter.index = size - 1;
530
let prev_index = iter.index;
531
assert!(iter.next().is_some());
532
assert_eq!(prev_index, iter.index - 1);
533
534
// When None we should no longer increase index
535
assert!(iter.next().is_none());
536
assert_eq!(size, iter.index);
537
assert!(iter.next().is_none());
538
assert_eq!(size, iter.index);
539
}
540
}
541
542