generic_array_struct/

lib.rs

#![doc = include_str!("../README.md")]

use builder::impl_builder;
use destr::impl_destr;
use errs::{
    panic_only_works_with_structs, panic_only_works_with_structs_with_named_fields,
    panic_req_all_fields_same_generic, panic_req_single_generic,
};
use idents::{
    array_len_ident, const_with_ident, field_idx_ident, ident_mut, set_ident, with_ident,
};
use proc_macro::TokenStream;
use quote::quote;
use syn::{
    parse::{Parse, ParseStream},
    parse_macro_input,
    token::{Bracket, Paren, Semi},
    Attribute, Data, DataStruct, DeriveInput, Expr, ExprPath, Field, Fields, FieldsNamed,
    FieldsUnnamed, GenericParam, Ident, Type, TypeArray, TypePath, Visibility,
};
use utils::path_from_ident;

use crate::{idents::assoc_field_idx_ident, trymap::impl_trymap};

mod builder;
mod destr;
mod errs;
mod idents;
mod trymap;
mod utils;

const MACRO_NAME: &str = "generic_array_struct";

#[repr(transparent)]
struct GenericArrayStructParams(DeriveInput);

/// Accessors
impl GenericArrayStructParams {
    #[inline]
    pub fn struct_vis(&self) -> &Visibility {
        &self.0.vis
    }

    #[inline]
    pub fn struct_ident(&self) -> &Ident {
        &self.0.ident
    }

    #[inline]
    pub fn generic_ident(&self) -> &Ident {
        let mut generic_iter = self.0.generics.params.iter();
        let generic = match generic_iter.next() {
            Some(GenericParam::Type(g)) => g,
            _ => panic_req_single_generic(),
        };
        if generic_iter.next().is_some() {
            panic_req_single_generic();
        }
        &generic.ident
    }

    #[inline]
    pub fn data_struct(&self) -> &DataStruct {
        match &self.0.data {
            Data::Struct(ds) => ds,
            _ => panic_only_works_with_structs(),
        }
    }

    #[inline]
    pub fn data_struct_mut(&mut self) -> &mut DataStruct {
        match &mut self.0.data {
            Data::Struct(ds) => ds,
            _ => panic_only_works_with_structs(),
        }
    }

    #[inline]
    pub fn fields_named(&self) -> &FieldsNamed {
        match &self.data_struct().fields {
            Fields::Named(f) => f,
            _ => panic_only_works_with_structs_with_named_fields(),
        }
    }

    #[inline]
    pub fn attrs(&self) -> &[Attribute] {
        &self.0.attrs
    }
}

struct AttrArgs {
    array_field_vis: Visibility,
    should_gen_builder: bool,
    should_gen_destr: bool,
    should_gen_trymap: bool,
}

impl Parse for AttrArgs {
    fn parse(input: ParseStream) -> syn::Result<Self> {
        let flags = [false; _];
        let len = flags.len();
        let [mut should_gen_builder, mut should_gen_destr, mut should_gen_trymap] = flags;

        for _i in 0..len {
            if !input.peek(Ident) {
                break;
            }
            let id: Ident = input.parse()?;
            // cant match here, ident is not str
            if id == "builder" {
                if should_gen_builder {
                    panic!("`builder` already set");
                } else {
                    should_gen_builder = true;
                }
            } else if id == "destr" {
                if should_gen_destr {
                    panic!("`destr` already set");
                } else {
                    should_gen_destr = true;
                }
            } else if id == "trymap" {
                if should_gen_trymap {
                    panic!("`trymap` already set");
                } else {
                    should_gen_trymap = true;
                }
            } else {
                panic!("Expected one of [`builder`, `destr`, `trymap`]")
            }
        }

        if input.is_empty() {
            return Ok(Self {
                array_field_vis: Visibility::Inherited,
                should_gen_builder,
                should_gen_destr,
                should_gen_trymap,
            });
        }

        let array_field_vis = input.parse()?;
        Ok(Self {
            array_field_vis,
            should_gen_builder,
            should_gen_destr,
            should_gen_trymap,
        })
    }
}

/// The main attribute proc macro. See crate docs for usage.
#[proc_macro_attribute]
pub fn generic_array_struct(attr_arg: TokenStream, input: TokenStream) -> TokenStream {
    let AttrArgs {
        array_field_vis,
        should_gen_builder,
        should_gen_destr,
        should_gen_trymap,
    } = parse_macro_input!(attr_arg as AttrArgs);

    let input = parse_macro_input!(input as DeriveInput);
    let mut params = GenericArrayStructParams(input);

    let mut fields_idx_consts = quote! {};
    let mut fields_idx_assoc_consts = quote! {};
    let mut accessor_mutator_impls = quote! {};
    let mut const_with_impls = quote! {};
    let n_fields =
        params
            .fields_named()
            .named
            .iter()
            .enumerate()
            .fold(0usize, |n_fields, (i, field)| {
                let expect_same_generic = match &field.ty {
                    Type::Path(g) => g,
                    _ => panic_req_all_fields_same_generic(),
                };
                if !expect_same_generic
                    .path
                    .get_ident()
                    .map(|id| id == params.generic_ident())
                    .unwrap_or(false)
                {
                    panic_req_all_fields_same_generic();
                }

                let field_vis = &field.vis;
                // unwrap-safety: named field checked above
                let field_ident = field.ident.as_ref().unwrap();

                // pub const RGB_IDX_R: usize = 0;
                let idx_ident = field_idx_ident(params.struct_ident(), field_ident);
                fields_idx_consts.extend(quote! {
                    #field_vis const #idx_ident: usize = #i;
                });

                // associated consts
                // pub const IDX_R: usize = 0;
                let assoc_idx_ident = assoc_field_idx_ident(field_ident);
                fields_idx_assoc_consts.extend(quote! {
                    #field_vis const #assoc_idx_ident: usize = #i;
                });

                // fn r(), r_mut(), set_r(), with_r()
                let id_mut = ident_mut(field_ident);
                let set_id = set_ident(field_ident);
                let with_id = with_ident(field_ident);
                // preserve attributes such as doc comments on getter method
                let field_attrs = &field.attrs;
                accessor_mutator_impls.extend(quote! {
                    #(#field_attrs)*
                    #[inline]
                    #field_vis const fn #field_ident(&self) -> &T {
                        &self.0[#idx_ident]
                    }

                    #[inline]
                    #field_vis const fn #id_mut(&mut self) -> &mut T {
                        &mut self.0[#idx_ident]
                    }

                    /// Returns the old field value
                    #[inline]
                    #field_vis const fn #set_id(&mut self, val: T) -> T {
                        core::mem::replace(&mut self.0[#idx_ident], val)
                    }

                    #[inline]
                    #field_vis fn #with_id(mut self, val: T) -> Self {
                        self.0[#idx_ident] = val;
                        self
                    }
                });

                // fn const_with_r()
                let const_with_id = const_with_ident(field_ident);
                const_with_impls.extend(quote! {
                    #[inline]
                    #field_vis const fn #const_with_id(mut self, val: T) -> Self {
                        self.0[#idx_ident] = val;
                        self
                    }
                });

                n_fields + 1
            });

    let len_ident = array_len_ident(params.struct_ident());

    let struct_vis = params.struct_vis();
    let struct_ident = params.struct_ident();
    let mut res = quote! {
        #struct_vis const #len_ident: usize = #n_fields;

        impl<T> #struct_ident<T> {
            #accessor_mutator_impls
        }

        impl<T: Copy> #struct_ident<T> {
            #const_with_impls
        }

        impl<T> #struct_ident<T> {
            #struct_vis const LEN: usize = #n_fields;

            #fields_idx_assoc_consts
        }

        #fields_idx_consts
    };

    if should_gen_builder {
        res.extend(impl_builder(&params, struct_vis));
    }

    if should_gen_destr {
        res.extend(impl_destr(&params, struct_vis));
    }

    if should_gen_trymap {
        res.extend(impl_trymap(&params));
    }

    // finally, replace the struct defn with a single array field tuple struct
    params.data_struct_mut().fields = Fields::Unnamed(FieldsUnnamed {
        paren_token: Paren::default(),
        unnamed: core::iter::once(Field {
            vis: array_field_vis,
            attrs: Vec::new(),
            mutability: syn::FieldMutability::None,
            ident: None,
            colon_token: None,
            ty: Type::Array(TypeArray {
                bracket_token: Bracket::default(),
                elem: Box::new(Type::Path(TypePath {
                    qself: None,
                    path: path_from_ident(params.generic_ident().clone()),
                })),
                semi_token: Semi::default(),
                len: Expr::Path(ExprPath {
                    attrs: Vec::new(),
                    qself: None,
                    path: path_from_ident(len_ident),
                }),
            }),
        })
        .collect(),
    });

    // extend with original input with modified struct defn
    let GenericArrayStructParams(input) = params;
    res.extend(quote! { #input });

    res.into()
}