f# 与类型进行模式匹配

Question

我正在尝试递归地打印出所有对象属性和子类型属性等。我的对象模型如下...

type suggestedFooWidget = {
    value: float ; 
    hasIncreasedSinceLastPeriod: bool ;
}

type firmIdentifier = {
    firmId: int ;
    firmName: string ;
}
type authorIdentifier = {
    authorId: int ;
    authorName: string ;
    firm: firmIdentifier ;
}

type denormalizedSuggestedFooWidgets = {
    id: int ; 
    ticker: string ;
    direction: string ;
    author: authorIdentifier ;
    totalAbsoluteWidget: suggestedFooWidget ;
    totalSectorWidget: suggestedFooWidget ;
    totalExchangeWidget: suggestedFooWidget ;
    todaysAbsoluteWidget: suggestedFooWidget ;
    msdAbsoluteWidget: suggestedFooWidget ;
    msdSectorWidget: suggestedFooWidget ;
    msdExchangeWidget: suggestedFooWidget ;
}

并且我的递归基于以下模式匹配...

let rec printObj (o : obj) (sb : StringBuilder) (depth : int) 
    let props = o.GetType().GetProperties()
    let enumer = props.GetEnumerator()
    while enumer.MoveNext() do
        let currObj = (enumer.Current : obj)
        ignore <|
             match currObj with
             | :? string as s -> sb.Append(s.ToString())
             | :? bool as c -> sb.Append(c.ToString())
             | :? int as i -> sb.Append(i.ToString())
             | :? float as i -> sb.Append(i.ToString())
             | _ ->  printObj currObj sb (depth + 1)
    sb

在调试器中我看到 currObj 是类型 string、int、float 等，但它总是跳转到底部的默认情况。知道为什么会发生这种情况吗？

Answer 1

正如其他人指出的那样，您需要调用 GetValue 成员来获取属性的值 - 您实现的迭代会迭代 PropertyInfo 对象，这些对象是“属性的描述符”财产” - 不是实际价值。但是，我不太明白为什么在可以使用 for 循环编写相同的内容时显式使用 GetEnumerator 和 while 循环。

另外，您不需要忽略 sb.Append 调用返回的值 - 您只需将其作为总体结果返回（因为它是 StringBuilder）。这实际上会使代码更加高效（因为它可以实现尾部调用优化）。最后一点，您不需要 sb.Append(..) 中的 ToString，因为 Append 方法已重载并且适用于所有标准类型。

因此，经过一些简化后，您可以得到类似这样的结果（它并不是真正使用 深度 参数，但我猜您想在以后使用它）：

let rec printObj (o : obj) (sb : StringBuilder) (depth : int) =
  let props = o.GetType().GetProperties() 
  for propInfo in props do
    let propValue = propInfo.GetValue(o, null)
    match propValue with 
    | :? string as s -> sb.Append(s) 
    | :? bool as c -> sb.Append(c) 
    | :? int as i -> sb.Append(i) 
    | :? float as i -> sb.Append(i) 
    | _ ->  printObj currObj sb (depth + 1) 

Answer 2

这是我如何让它工作的......

 let getMethod = prop.GetGetMethod()
 let value = getMethod.Invoke(o, Array.empty)
     ignore <|
         match value with
         | :? float as f -> sb.Append(f.ToString() + ", ") |> ignore
                            ...

Answer 3

在您的示例中，enumer.Current 是一个包含 PropertyInfo 的对象。这意味着 currObj 始终是 PropertyInfo 对象，并且始终对应于 match 语句中的最后一个案例。

由于您对属性的值的类型感兴趣，因此您需要调用 PropertyInfo 的 GetValue() 方法来获取属性的实际值（如 ChaosPandion 的回答中所示） ）。

由于 Enumerator 将其值作为对象返回，因此您还需要将 enum.current 转换为 PropertyInfo，然后才能访问 GetValue。

尝试替换

let currObj = (enumer.Current : obj)

为

let currObj = unbox<PropertyInfo>(enumer.Current).GetValue (o, null)

通过此更改，我可以让您的代码正常工作（在 FSI 中）：

>  let test = {authorId = 42; authorName = "Adams"; firm = {firmId = 1; firmName = "GloboCorp inc."} };;
> string <| printObj test (new StringBuilder()) 1;;
val it : string = "42Adams1GloboCorp inc."

Answer 4

您确定该程序没有按预期运行吗？调试器范围并不总是可靠的。

Answer 5

你想要这样的东西。

let rec printObj (o : obj) (sb : StringBuilder) (depth : int) 
    let props = o.GetType().GetProperties() :> IEnumerable<PropertyInfo>
    let enumer = props.GetEnumerator()
    while enumer.MoveNext() do
        let currObj = (enumer.Current.GetValue (o, null)) :> obj
        ignore <|
             match currObj with
             | :? string as s -> sb.Append(s.ToString())
             | :? bool as c -> sb.Append(c.ToString())
             | :? int as i -> sb.Append(i.ToString())
             | :? float as i -> sb.Append(i.ToString())
             | _ ->  printObj currObj sb (depth + 1)
    sb

这来自关于 Array 类的 MSDN 文档：

在 .NET Framework 2.0 版中，
数组类实现了
System.Collections.Generic.IList，
System.Collections.Generic.ICollection，
和
System.Collections.Generic.IEnumerable
通用接口。这
提供给数组的实现
在运行时，因此不是
对文档构建可见
工具。结果，通用的
界面中没有出现
数组的声明语法
类，并且没有参考
接口成员的主题是
只能通过将数组转换为
通用接口类型（显式
接口实现）。关键
当你施放时要注意的事情
这些接口之一的数组是
添加、插入或
删除元素抛出
NotSupportedException。