如何在不指定构造函数的情况下从列表中提取区分的联合类型？
如何在不指定构造函数的情况下从列表中提取区分的联合类型？
提问于 2021-07-14 13:21:09
假设我有一个由三种情况组成的有区别的联合。Case A和C各自都有一个构造函数，分别为X和Y类型。我有一个由不同DU类型组成的列表，我想将该列表过滤为单个DU类型。目前，我有一个由A、B和C组成的列表。现在，如果我只想将DU列表过滤为case A类型，那么在不将构造函数传递给case A的情况下，我如何才能做到这一点呢？(或者传递一个默认的构造函数，我也不知道该怎么做)
type X = {
Id: string
Name: string
}
type Y = {
Id: int
}
type DU =
| A of a:X
| B
| C of b:Y
let extractDUTypesFromList (listDU: List<DU>) (typ: DU) : List<DU> =
listDU
|> List.filter (fun m -> m = typ)
let a = (A {Id = "1"; Name = "Test"})
let aa = (A {Id = "2"; Name = "Test 2"})
let b = B
let c = (C {Id = 1})
let listDU: List<DU> = [a; b; c; aa]
let filteredDUList: List<DU> = // this list will only contain case A
extractDUTypesFromList listDU (A _) // doesn't workStack Overflow用户
发布于 2021-07-14 15:22:52
另一个版本:与@brianberns解决方案(我认为这是一个很好的解决方案)不同，它没有使用反射。它需要创建虚拟值来定义筛选条件，就像在op中一样。
这个解决方案和所有其他解决方案都不是很好的f#代码，应该有更好的方法来实现您想要实现的目标。
type X = {
Id: string
Name: string
}
with static member Empty = { Id=""; Name="" }
type Y = {
Id: int
}
with static member Empty = { Id=0 }
type DU =
| A of a:X
| B
| C of b:Y
with
static member IsSameCase a b =
match a, b with
| A _, A _ -> true
| B, B -> true
| C _, C _ -> true
| _ -> false
let extractDUTypesFromList (listDU: List<DU>) (case: DU) : List<DU> =
listDU
|> List.filter (DU.IsSameCase case)
let a = (A {Id = "1"; Name = "Test"})
let aa = (A {Id = "2"; Name = "Test 2"})
let b = B
let c = (C {Id = 1})
let listDU: List<DU> = [a; b; c; aa]
let filteredDUList: List<DU> = // this list will only contain case A
extractDUTypesFromList listDU ((A (X.Empty)))
extractDUTypesFromList listDU ((A (X.Empty)))
extractDUTypesFromList listDU B
extractDUTypesFromList listDU (C (Y.Empty))页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/68372432
复制相关文章
相似问题
腾讯云开发者
