程序宏如何检查选项的泛型类型并将其展平为单个选项？

Question

我正在编写一个派生过程宏，其中所有值都转换为选项。问题是结构中的任何选项字段都可以包含在这些选项类型中。就其本身而言，在我开始用serde序列化数据之前，这并不是什么大问题。我希望能够跳过值为None的任何值，但在某些情况下，它会变成Some（None）或Some（CustomOption:：None）。这两种情况并不比简单的None更有意义，但我不能只在派生字段上编写#[serde（skip_serialization_if=“Option:：is_None”）]。当然，它们以JSON格式输出一个null值。

基本上，我希望能够使用syn库检查派生字段的内部值的类型是否为选项，并将其展平为单个选项

我可以想出两种解决这个问题的方法，但我真的想不出如何实施它们。第一种方法是遍历所有字段，找到选项s，然后打开这些选项并重新包装，使它们的外部只有一个选项。此解决方案的一个潜在问题是，在完成计算后，我可能必须在另一个选项中重新编写它们。第二种解决方案是找到选项，并相应地修改生成的代码，这样，如果内部选项包含None，则整个内容变为None；如果字段是选项，则基本上只有一个输出布尔值的辅助函数。有没有关于如何实施这些或更好的解决方案的想法？

下面是一个代码示例：

#[derive(Macro)]
struct X {
    a: usize,
    b: SomeType<String>,
    c: Option<String>,
}

struct GeneratedX {
    a: Option<usize>,
    b: Option<SomeType<String>>,
    c: Option<Option<String>>,
}

使用类似的函数包装选项中的所有值：

pub fn wrap_typ_in_options(&self) -> TokenStream {
    // self is a struct with the type Type in it along with some other items.
    let typ: syn::Type = self.typ();

    // attribute to check if should ignore a field.
    if self.should_ignore() {
        quote! { Option<#typ> }
    } else {
        quote! { Option<<#typ as module::Trait>::Type> }
    }
}




Answer 1

根据我在原始帖子中的第二个想法，我找到了解决这个问题的方法。我使用了这样一个函数来判断令牌是否是一个选项：

let idents_of_path = path
    .segments
    .iter()
    .fold(String::new(), |mut acc, v| {
        acc.push_str(&v.ident.to_string());
        acc.push(':');
        acc
    });
vec!["Option:", "std:option:Option:", "core:option:Option:"]
    .into_iter()
    .find(|s| idents_of_path == *s)
    .and_then(|_| path.segments.last())

然后，我添加了一个名为is_option的新方法，如果Type::Path是一个选项，该方法将返回布尔值。

pub fn is_option(&self) -> bool {
    let typ = self.typ();

    let opt = match typ {
        Type::Path(typepath) if typepath.qself.is_none() => Some(typepath.path.clone()),
        _ => None,
    };

    if let Some(o) = opt {
        check_for_option(&o).is_some()
    } else {
        false
    }
}

我根据此调用的结果修改了生成的代码，其方式类似于我处理各种属性的方式。所有这些对于我的特定用例应该都很好，因为没有别名的Option将被引入这个生态系统。这有点乱，但现在已经完成了。