主页 / coding / 问题 / 77640119
Accepted
TimothyH
Asked: 2023-12-11 21:59:34 +0800 CST

删除 F# 中两个离散类型完全相同的重复代码

  • 772

我有一个离散联合 WordContainer，它是 WordDocument 的 Doc 或 WordTableCell 的 Cell。就该特定功能而言，每种类型在功能方面都具有相同的 API。我使用匹配表达式来确定该值是 Doc 还是 Cell，然后在每种情况下使用具有两个不同变量的相同代码。

我花了一些时间查找此内容并阅读文档以找出如何删除重复项。首先，我认为类型类会很棒，但这些显然对 F# 来说是一个陌生的概念。然后我想也许一个接口可能会很好，但似乎我需要那些使用实际方法的完整类，这极大地复杂了我现在拥有的类型层次结构。尝试将类型保留并解决该问题并没有成功，没想到会成功，但我仍然尝试了。

types

1 个回答

  1. Best Answer

    这里的问题是 和WordTableCell提供WordDocument类似的 API，但不共享基类或接口。这称为“鸭子打字”。

    解决方案 1：辅助函数

    addParagraph处理此问题的一种方法是通过创建自己的辅助函数来消除差异addTable：

        let rec addPartUnified (part: DocumentPart) addParagraph addTable =
        match part with
        | Par paragraph ->
            for run in paragraph do
                let wordParagraph : OfficeIMO.Word.WordParagraph = addParagraph run.text
                ()
        | Img image ->
            (addParagraph "").AddImage (image.path, 100, 100, OfficeIMO.Word.WrapTextImage.Square) |> ignore
        | Tab table ->
            let wordTable : OfficeIMO.Word.WordTable = addTable (table.rows, table.cols)
            for cell in table.cells do
                for row = cell.height - 1 downto 0 do
                    for col = cell.width - 1 downto 0 do
                        wordTable.Rows[row+cell.y].Cells[col+cell.x].MergeHorizontally 1
                        wordTable.Rows[row+cell.y].Cells[col+cell.x].MergeVertically 1
                FillWordContainer (Cell wordTable.Rows[cell.y].Cells[cell.x]) cell.content
        | Lst listing ->
            let wordListing = (addParagraph "").AddList OfficeIMO.Word.WordListStyle.Bulleted
            for text in listing do
                wordListing.AddItem text |> ignore

    然后您可以像这样调用统一函数：

        and addPart part (master: WordContainer) =
        match master with
        | Cell cell ->
            addPartUnifiied part cell.AddParagraph cell.AddTable
        | Doc document ->
            addPartUnifiied part document.AddParagraph document.AddTable

    这基本上是穷人的类型。

    解决方案 2：成员

    另一个稍微冗长但可能更具可扩展性的解决方案是WordContainer通过定义AddParagraph和AddTable成员在类型上创建统一的接口：

        type WordContainer =
    
        Doc of OfficeIMO.Word.WordDocument | Cell of OfficeIMO.Word.WordTableCell

        member master.AddParagraph(text : string) =
            match master with
            | Cell cell -> cell.AddParagraph(text)
            | Doc document -> document.AddParagraph(text)

        member master.AddTable(rows, columns) =
            match master with
            | Cell cell -> cell.AddTable(rows, columns)
            | Doc document -> document.AddTable(rows, columns)

    然后你可以这样称呼它们：

        let rec addPart (part: DocumentPart) (master: WordContainer) =
        match part with
        | Par paragraph ->
            for run in paragraph do
                let wordParagraph = master.AddParagraph run.text
                ()
        | Img image ->
            (master.AddParagraph "").AddImage (image.path, 100, 100, OfficeIMO.Word.WrapTextImage.Square) |> ignore
        | Tab table ->
            let wordTable = master.AddTable (table.rows, table.cols)
            for cell in table.cells do
                for row = cell.height - 1 downto 0 do
                    for col = cell.width - 1 downto 0 do
                        wordTable.Rows[row+cell.y].Cells[col+cell.x].MergeHorizontally 1
                        wordTable.Rows[row+cell.y].Cells[col+cell.x].MergeVertically 1
                FillWordContainer (Cell wordTable.Rows[cell.y].Cells[cell.x]) cell.content
        | Lst listing ->
            let wordListing = (master.AddParagraph "").AddList OfficeIMO.Word.WordListStyle.Bulleted
            for text in listing do
                wordListing.AddItem text |> ignore
    • 0

相关问题