如何消除F#中两种离散类型的重复代码？

针对你遇到的WordContainer并集类型两个分支逻辑重复的问题，这里提供几个轻量且不复杂化现有类型层级的解决方案：

1. 提取公共逻辑到独立函数 #

把重复的操作封装成一个接收底层实例（WordDocument/WordTableCell）的函数，再通过match将并集中的实例传入，避免分支内代码重复：

// 假设你的基础类型定义如下
type WordDocument = { Content: string } with
    member this.InsertText(text) = { this with Content = this.Content + text }
    member this.GetLength() = this.Content.Length

type WordTableCell = { Text: string } with
    member this.InsertText(text) = { this with Text = this.Text + text }
    member this.GetLength() = this.Text.Length

type WordContainer = Doc of WordDocument | Cell of WordTableCell

// 提取公共处理逻辑
let processUnderlyingElement element =
    let updatedElement = element.InsertText(" [suffix]")
    printfn "Updated content length: %d" (updatedElement.GetLength())
    updatedElement

// 简化后的处理函数
let handleContainer container =
    match container with
    | Doc doc -> processUnderlyingElement doc |> Doc
    | Cell cell -> processUnderlyingElement cell |> Cell

这个方案的优势是完全不修改原有类型结构，仅针对当前重复逻辑做封装，适合只在单个函数内复用的场景。

2. 给离散并集类型添加公共成员 #

如果这类重复操作需要在多个地方使用，可以直接给WordContainer定义成员方法，把match逻辑封装在DU内部，外部调用时无需再处理分支：

type WordContainer =
    | Doc of WordDocument
    | Cell of WordTableCell
    // 封装InsertText操作
    member this.InsertText(text) =
        match this with
        | Doc doc -> Doc (doc.InsertText(text))
        | Cell cell -> Cell (cell.InsertText(text))
    // 封装GetLength操作
    member this.GetLength() =
        match this with
        | Doc doc -> doc.GetLength()
        | Cell cell -> cell.GetLength()

// 调用时无需手动match
let handleContainer container =
    let updated = container.InsertText(" [suffix]")
    printfn "Updated content length: %d" (updated.GetLength())
    updated

这种方式把分支逻辑隐藏在DU内部，外部代码更简洁，适合公共操作多处复用的场景。

3. 使用活动模式统一提取实例 #

如果需要在多处提取并集的底层实例，可以定义一个活动模式，简化实例的获取过程：

// 定义活动模式，统一提取底层元素
let (|UnderlyingElement|) = function
    | Doc doc -> doc
    | Cell cell -> cell

// 辅助函数：将更新后的实例重新包装回并集类型
let wrapBack container updatedElement =
    match container with
    | Doc _ -> Doc updatedElement
    | Cell _ -> Cell updatedElement

let handleContainer container =
    match container with
    | UnderlyingElement element ->
        let updated = element.InsertText(" [suffix]")
        printfn "Updated content length: %d" (updated.GetLength())
        wrapBack container updated

活动模式适合需要频繁从并集中提取实例的场景，让代码可读性更高。

为什么这些方案比接口更合适？ #

如果WordDocument或WordTableCell是第三方库类型，你无法修改它们实现接口；即使是自定义类型，添加接口会增加类型层级的复杂度。上述方案都基于现有类型做封装，无需改动基础类型的定义，更轻量化。

内容的提问来源于stack exchange，提问作者TimothyH