list - 对联合类型的 F# 列表进行操作

Question

这是我在 F# List of Union Types 上的问题的延续.感谢有用的反馈，我能够创建一个列表 Report s，与 Report要么 Detail或 Summary .这是数据定义:

module Data

type Section = { Header: string;
                 Lines:  string list;
                 Total:  string }

type Detail = { State:     string;
                Divisions: string list;
                Sections:  Section list }

type Summary = { State:    string;
                 Office:   string;
                 Sections: Section list }

type Report = Detail of Detail | Summary of Summary

现在我已经得到了 Report 的列表s 位于名为 reports 的变量中，我想遍历那些 Report对象并根据每个对象执行操作。除了处理 Detail.Divisions 的情况外，操作是相同的。或 Summary.Office .显然，我必须以不同的方式处理这些。但我不想复制所有处理类似 State 的代码。和 Sections每个。

我的第一个(工作)想法如下:

for report in reports do
    let mutable isDetail  = false
    let mutable isSummary = false

    match report with
    | Detail  _ -> isDetail  <- true
    | Summary _ -> isSummary <- true

    ...

这将使我知道何时处理 Detail.Divisions而不是 Summary.Office .但它并没有给我一个工作的对象。我仍然坚持 report ，不知道是哪个， Detail或 Summary ，并且也无法访问属性。我想转换 report到相应的 Detail或 Summary然后使用相同的代码处理任何一种情况，除了 Detail.Divisions和 Summary.Office .有没有办法做到这一点？

谢谢。

Answer 1

你可以这样做:

for report in reports do
    match report with
    | Detail { State = s; Sections = l }
    | Summary { State = s; Sections = l } ->
        // common processing for state and sections (using bound identifiers s and l)

    match report with
    | Detail { Divisions = l } ->
        // unique processing for divisions
    | Summary { Office = o } ->
        // unique processing for office