Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix closure conversion expressions #19

Merged
merged 1 commit into from
Jan 30, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
46 changes: 29 additions & 17 deletions staged-builder-internals/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -497,7 +497,7 @@ fn final_stage_setter(
}
FieldMode::Seq { push, item } => {
let type_ = &item.type_;
let convert = item.convert(name);
let convert = item.convert(struct_overrides, name);
let convert_iter = item.convert_iter(struct_overrides, name);

let push_docs = format!("Adds a value to the `{name}` field.");
Expand Down Expand Up @@ -544,11 +544,11 @@ fn final_stage_setter(
FieldMode::Map { key, value } => {
let key_name = Ident::new("key", Span::call_site());
let key_type = &key.type_;
let key_convert = key.convert(&key_name);
let key_convert = key.convert(struct_overrides, &key_name);

let value_name = Ident::new("value", Span::call_site());
let value_type = &value.type_;
let value_convert = value.convert(&value_name);
let value_convert = value.convert(struct_overrides, &value_name);

let private = struct_overrides.private();

Expand Down Expand Up @@ -731,21 +731,21 @@ enum FieldMode {

struct ParamConfig {
type_: TokenStream,
convert: Option<TokenStream>,
convert: Option<Expr>,
}

impl ParamConfig {
fn new(
struct_overrides: &StructOverrides,
overrides: &NameArgs<ParamOverrides>,
overrides: NameArgs<ParamOverrides>,
) -> Result<Self, Error> {
match &overrides.args.custom {
match overrides.args.custom {
Some(custom) => {
let type_ = &custom.args.type_;
let convert = &custom.args.convert;
let type_ = custom.args.type_;
let convert = custom.args.convert;
Ok(ParamConfig {
type_: quote!(#type_),
convert: Some(quote!(#convert)),
convert: Some(convert),
})
}
None => {
Expand All @@ -757,7 +757,7 @@ impl ParamConfig {
let private = struct_overrides.private();
(
quote!(impl #private::Into<#type_>),
Some(quote!(#private::Into::into)),
Some(syn::parse2(quote!(#private::Into::into)).unwrap()),
)
} else {
(quote!(#type_), None)
Expand All @@ -768,9 +768,9 @@ impl ParamConfig {
}
}

fn convert(&self, name: &Ident) -> TokenStream {
fn convert(&self, struct_overrides: &StructOverrides, name: &Ident) -> TokenStream {
match &self.convert {
Some(convert_fn) => quote!(#convert_fn(#name)),
Some(convert_fn) => call_convert(struct_overrides, name, convert_fn),
None => quote!(#name),
}
}
Expand All @@ -791,6 +791,18 @@ impl ParamConfig {
}
}

// Directly-invoked closures don't infer properly:
// https://internals.rust-lang.org/t/directly-invoked-closure-inference-weirdness/20235
fn call_convert(struct_overrides: &StructOverrides, name: &Ident, expr: &Expr) -> TokenStream {
match expr {
Expr::Closure(closure) => {
let private = struct_overrides.private();
quote!(#private::call_hack(#closure, #name))
}
expr => quote!(#expr(#name)),
}
}

impl<'a> ResolvedField<'a> {
fn new(
struct_overrides: &StructOverrides,
Expand Down Expand Up @@ -832,7 +844,7 @@ impl<'a> ResolvedField<'a> {
let convert = custom.args.convert;
resolved.mode = FieldMode::Normal {
type_: quote!(#type_),
assign: quote!(#convert(#name)),
assign: call_convert(struct_overrides, name, &convert),
}
} else if let Some(list) = overrides.list {
if resolved.default.is_none() {
Expand All @@ -841,7 +853,7 @@ impl<'a> ResolvedField<'a> {
}
resolved.mode = FieldMode::Seq {
push: quote!(push),
item: ParamConfig::new(struct_overrides, &list.args.item)?,
item: ParamConfig::new(struct_overrides, list.args.item)?,
}
} else if let Some(set) = overrides.set {
if resolved.default.is_none() {
Expand All @@ -850,16 +862,16 @@ impl<'a> ResolvedField<'a> {
}
resolved.mode = FieldMode::Seq {
push: quote!(insert),
item: ParamConfig::new(struct_overrides, &set.args.item)?,
item: ParamConfig::new(struct_overrides, set.args.item)?,
}
} else if let Some(map) = overrides.map {
if resolved.default.is_none() {
let private = struct_overrides.private();
resolved.default = Some(quote!(#private::Default::default()));
}
resolved.mode = FieldMode::Map {
key: ParamConfig::new(struct_overrides, &map.args.key)?,
value: ParamConfig::new(struct_overrides, &map.args.value)?,
key: ParamConfig::new(struct_overrides, map.args.key)?,
value: ParamConfig::new(struct_overrides, map.args.value)?,
}
}

Expand Down
5 changes: 5 additions & 0 deletions staged-builder/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -43,6 +43,11 @@ pub mod __private {
pub use core::default::Default;
pub use core::iter::{Extend, FromIterator, IntoIterator, Iterator};
pub use core::result::Result;

#[inline]
pub fn call_hack<T, R>(f: impl FnOnce(T) -> R, v: T) -> R {
f(v)
}
}

/// A trait for types which validate their state before construction finishes.
Expand Down
19 changes: 19 additions & 0 deletions staged-builder/tests/test.rs
Original file line number Diff line number Diff line change
Expand Up @@ -169,3 +169,22 @@ fn custom_mod() {
CustomMod::builder()._foo(1).build();
my_custom_mod::Builder::default()._foo(1).build();
}

#[derive(PartialEq, Debug)]
#[staged_builder]
struct ClosureConvert {
#[builder(custom(type = impl Display, convert = |s| s.to_string()))]
single: String,
#[builder(list(item(custom(type = impl Display, convert = |s| s.to_string()))))]
list: Vec<String>,
}

#[test]
fn closure_convert() {
let actual = ClosureConvert::builder().single(true).push_list(15).build();
let expected = ClosureConvert {
single: "true".to_string(),
list: vec!["15".to_string()],
};
assert_eq!(actual, expected);
}
Loading