| 1 | //! [`Default`](trait@std::default::Default) implementation. |
| 2 | |
| 3 | use proc_macro2::TokenStream; |
| 4 | use quote::quote; |
| 5 | |
| 6 | use crate::{Data, DeriveTrait, Item, SimpleType, SplitGenerics, TraitImpl}; |
| 7 | |
| 8 | /// Dummy-struct implement [`Trait`](crate::Trait) for |
| 9 | /// [`Default`](trait@std::default::Default). |
| 10 | pub struct Default; |
| 11 | |
| 12 | impl TraitImpl for Default { |
| 13 | fn as_str(&self) -> &'static str { |
| 14 | "Default" |
| 15 | } |
| 16 | |
| 17 | fn default_derive_trait(&self) -> DeriveTrait { |
| 18 | DeriveTrait::Default |
| 19 | } |
| 20 | |
| 21 | fn build_signature( |
| 22 | &self, |
| 23 | _any_bound: bool, |
| 24 | _item: &Item, |
| 25 | _generics: &SplitGenerics<'_>, |
| 26 | _traits: &[DeriveTrait], |
| 27 | _trait_: &DeriveTrait, |
| 28 | body: &TokenStream, |
| 29 | ) -> TokenStream { |
| 30 | quote! { |
| 31 | fn default() -> Self { |
| 32 | #body |
| 33 | } |
| 34 | } |
| 35 | } |
| 36 | |
| 37 | fn build_body( |
| 38 | &self, |
| 39 | _any_bound: bool, |
| 40 | _traits: &[DeriveTrait], |
| 41 | trait_: &DeriveTrait, |
| 42 | data: &Data, |
| 43 | ) -> TokenStream { |
| 44 | if data.is_default() { |
| 45 | let path = &data.path; |
| 46 | |
| 47 | match data.simple_type() { |
| 48 | SimpleType::Struct(_) => { |
| 49 | let fields = data.iter_field_ident(**trait_); |
| 50 | let trait_path = trait_.path(); |
| 51 | |
| 52 | quote! { #path { #(#fields: #trait_path::default()),* } } |
| 53 | } |
| 54 | SimpleType::Tuple(_) => { |
| 55 | let trait_path = trait_.path(); |
| 56 | let fields = data |
| 57 | .iter_fields(**trait_) |
| 58 | .map(|_| quote! { #trait_path::default() }); |
| 59 | |
| 60 | quote! { #path(#(#fields),*) } |
| 61 | } |
| 62 | SimpleType::Unit(_) => { |
| 63 | quote! { #path } |
| 64 | } |
| 65 | SimpleType::Union(_) => unreachable!("unexpected trait for union" ), |
| 66 | } |
| 67 | } |
| 68 | // Skip `Default` implementation if variant isn't marked with a `default` attribute. |
| 69 | else { |
| 70 | TokenStream::new() |
| 71 | } |
| 72 | } |
| 73 | } |
| 74 | |