如何在F#中将PenEnum整数匹配到同名的MyPen可区分联合？

1. 将数据库整数转换为PenEnum枚举值 #

从数据库取回整数后，先将其转换为PenEnum类型：

// 示例：假设从数据库获取的整数值
let dbIntValue = 0
// 直接强转成枚举
let penEnum = enum<PenEnum>(dbIntValue)

如果需要处理无效整数（比如数据库中存在未定义的枚举值），可以用安全转换：

match Enum.TryParse<PenEnum>(string dbIntValue) with
| true, validEnum -> Some validEnum
| false, _ -> None

2. 枚举值到MyPen可区分联合的映射 #

由于MyPen的成员（除PenEnum.None外）与PenEnum枚举项一一对应，且每个MyPen成员都需要传入Stroke参数，我们可以用模式匹配实现类型安全的转换：

let convertPenEnumToMyPen (penEnum: PenEnum) (stroke: Stroke) : MyPen option =
    match penEnum with
    | PenEnum.InkPen -> Some (MyPen.InkPen stroke)
    | PenEnum.FreehandPen -> Some (MyPen.FreehandPen stroke)
    | PenEnum.CirclePen -> Some (MyPen.CirclePen stroke)
    | PenEnum.LinePen -> Some (MyPen.LinePen stroke)
    | PenEnum.RectanglePen -> Some (MyPen.RectanglePen stroke)
    | PenEnum.TextPen -> Some (MyPen.TextPen stroke)
    | PenEnum.PolyLine -> Some (MyPen.PolyLine stroke)
    | PenEnum.DiabeticPen -> Some (MyPen.DiabeticPen stroke)
    | PenEnum.SineWavePen -> Some (MyPen.SineWavePen stroke)
    | PenEnum.DiamondPen -> Some (MyPen.DiamondPen stroke)
    | PenEnum.AnnotationPen -> Some (MyPen.AnnotationPen stroke)
    | PenEnum.FreeFormShapePen -> Some (MyPen.FreeFormShapePen stroke)
    | PenEnum.MultiColoredPen -> Some (MyPen.MultiColoredPen stroke)
    | PenEnum.XYAxisPen -> Some (MyPen.XYAxisPen stroke)
    | PenEnum.TBarPen -> Some (MyPen.TBarPen stroke)
    | PenEnum.FilledCirclePen -> Some (MyPen.FilledCirclePen stroke)
    | PenEnum.ImagePen -> Some (MyPen.ImagePen stroke)
    | PenEnum.None -> None // MyPen无对应成员，返回None

3. 执行特定画笔逻辑 #

拿到MyPen实例后，通过模式匹配执行对应画笔的业务代码：

// 假设已构造好Stroke实例
let targetStroke = Stroke(...)

match convertPenEnumToMyPen penEnum targetStroke with
| Some myPen ->
    match myPen with
    | MyPen.InkPen s -> 
        // 执行InkPen专属逻辑，比如处理Stroke s
    | MyPen.FreehandPen s ->
        // 执行FreehandPen专属逻辑
    // 依次实现其他画笔的处理逻辑
| None ->
    // 处理PenEnum.None或无效枚举的情况，比如日志记录或提示

可选：字典映射简化代码 #

如果枚举与可区分联合成员数量较多，模式匹配会显得冗长，可预构建字典映射关系：

// 预定义枚举到MyPen构造函数的映射
let penMapping =
    dict [
        PenEnum.InkPen, MyPen.InkPen
        PenEnum.FreehandPen, MyPen.FreehandPen
        PenEnum.CirclePen, MyPen.CirclePen
        PenEnum.LinePen, MyPen.LinePen
        PenEnum.RectanglePen, MyPen.RectanglePen
        PenEnum.TextPen, MyPen.TextPen
        PenEnum.PolyLine, MyPen.PolyLine
        PenEnum.DiabeticPen, MyPen.DiabeticPen
        PenEnum.SineWavePen, MyPen.SineWavePen
        PenEnum.DiamondPen, MyPen.DiamondPen
        PenEnum.AnnotationPen, MyPen.AnnotationPen
        PenEnum.FreeFormShapePen, MyPen.FreeFormShapePen
        PenEnum.MultiColoredPen, MyPen.MultiColoredPen
        PenEnum.XYAxisPen, MyPen.XYAxisPen
        PenEnum.TBarPen, MyPen.TBarPen
        PenEnum.FilledCirclePen, MyPen.FilledCirclePen
        PenEnum.ImagePen, MyPen.ImagePen
    ]

let convertPenEnumToMyPenDict (penEnum: PenEnum) (stroke: Stroke) : MyPen option =
    match penMapping.TryGetValue(penEnum) with
    | true, createMyPen -> Some (createMyPen stroke)
    | false, _ -> None

这种方式代码更简洁，但需确保映射关系与枚举、可区分联合的定义同步，避免遗漏或错误。

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