- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在编写一个派生过程宏,其中所有值都转换为Options
。问题在于结构中的任何Option
字段都可以包含在这些Option
类型中。就其本身而言,在我开始使用serde序列化数据之前,这并不是什么大问题。我希望能够跳过值为None
的任何值,但是在某些情况下,它会变成类似于Some(None)
或Some(CustomOption::None)
的值。这两种情况都比简单的None
有意义,但我不能只在派生字段上写#[serde(skip_serializing_if = "Option::is_none")]
。当然,它们虽然会以JSON格式输出null
值。
基本上,我希望能够使用syn库来检查派生字段的内部值的类型是否为Option
并将其展平为派生结构中的单数Option<T>
而不是Option<Option<T>>
类型。我希望Rust在泛型上具有基于类型的模式匹配,但这不是真的。
我可以想到解决这个问题的两种解决方案,但我真的想不到如何实现它们。首先是遍历所有字段并找到Option
,然后解开这些选项并重新包装它们,以便它们在外部仅具有一个Option
。这种解决方案的一个潜在问题是,在执行计算之后,我可能不得不将它们重新包装在另一个Option
中。第二种解决方案是找到Option
并相应地修改生成的代码,这样,如果内部选项包含None
,整个事情就变成None
;基本上只具有一个辅助函数,如果该字段是Option
,则输出 bool 值。关于如何实现这些或更好的解决方案的任何想法?
这是一个代码示例:
#[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> }
}
}
最佳答案
我按照原始帖子中的第二个想法找到了解决此问题的方法。我使用了这样的函数来判断 token 是否是Option
:
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
是一个选项,该方法将返回一个 bool 值。
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
引入该生态系统。有点困惑,但现在可以完成工作。
关于rust - 程序宏如何检查Option <Option <T >>的泛型类型并将其展平为单个Option?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/63878327/
我经常使用 var options = options || {} 作为默认为空对象的方式。它通常用于初始化选项对象,以防它未在函数调用的参数中传递。 问题是我在几个地方(博客文章、源代码)读到opt
我是Python中Rust的新手。这是我学习Rust的第四天。 在第一个问题Type casting for Option type之后,我有一个跟语法match和所有权概念有关的后续问题。 首先,我
我正在学习 Ray Wenderlich。我遇到了闭包语法错误。我想知道 Xcode 提示是什么意思? Xcode 报告如下: /Users/.../FlickrPhotosViewControlle
使用 Python 编写命令行界面 (CLI) 时 click library , 是否可以定义例如三个选项,其中仅当第一个(可选)未设置时才需要第二个和第三个选项? 我的用例是一个登录系统,它允许我
我有一个这样的 JPA 查询。 PersonRepository.java public Optional> findByStatus(int status); 人员服务.java System.ou
我遇到了很多地方,我有类似的东西 def f(s: String): Option[Long] = ... def g(l: Long): IO[Option[Wibble]] = ... val a
我有一个results: List[Future[Option[T]]]其中包含(并行)计算。 我想获得第一个非None尽快出结果,或者返回None如果所有计算都返回 None . 目前,我正在这样做
我正在尝试加载一个简单的 Listbox组件来自 @headlessui/react . 选择.tsx type Option = { id: number name: string
如何将Future[Option[Future[Option[X]]]]转换为Future[Option[X]]? 如果它是 TraversableOnce 而不是 Option 我会使用 Futur
Haskell、Rust 等语言提供了一个 Maybe 或 Option 类型。即使在 Java 中,也有一个 Optional 现在打字。 为简单起见,我将在剩下的问题中将此类型称为“选项类型”。
当我尝试在 SQL 中存储一个 XML 而不是一个空元素时,SQL 只是更改它并仅使用一个元素标签来存储它。例如,要存储的 XML 是: ROGER 然后Sql存起来就好了
使用这个非常好的命令行解析器 Argo(仅 header C++ 库)我遇到了一个小问题。请参阅:https://github.com/phforest/Argo Argo 返回:'Error: Un
我是来自 Java 背景的 Scala 新手,目前对考虑 Option[T] 的最佳实践感到困惑. 我觉得用 Option.map只是更实用和美观,但这不是说服其他人的好理由。有时, isEmpty
这个问题在这里已经有了答案: Chaining Optionals in Java 8 (9 个回答) Optional orElse Optional in Java (6 个回答) Functio
Optional::stream如果存在,则返回一个包含该值的 Stream,否则返回一个空流。所以对于 Stream> optionals , optionals.flatMap(Optional:
我使用箭头键作为输入,在 printf 菜单中上下移动 printf 箭头(“==>”)。 我正在使用一个函数来计算箭头应该在的位置,并使用 switch case 和 printf("\n==>")
这个问题在这里已经有了答案: What does the construct x = x || y mean? (12 个答案) 关闭 9 年前。 如我的问题标题所述,我最近偶然发现了这个变量声明:
这个问题在这里已经有了答案: BackboneJS: What is options || (options = {}); in Backbone source code (1 个回答) 关闭 8
我有这个简单的语法: word = Word(alphanums + '_') with_stmt = Suppress('with') + OneOrMore(Group(word('key') +
使用 Cucumber 和 SitePrism 编写测试,我在页面上有以下 HTML... Select a Status Active Product Inactive Prod
我是一名优秀的程序员,十分优秀!