如何减少模式匹配嵌套层数？能否将3层嵌套简化为1层？

完全可以将三层嵌套的模式匹配简化为一层，F#原生支持嵌套模式解构，直接在单个match表达式里完成所有层级的结构匹配即可，无需逐层嵌套match语句。

简化后的代码实现 #

以下是两种等价的简化写法，逻辑和原代码完全一致：

写法1：精确匹配每个None分支

let nestedmatch (t:test2) =  
    match t with
    | { A = Some { B = Some { C = Some c } } } -> printfn $"{c}"
    | { A = Some { B = Some { C = None } } } -> printfn "None at C"
    | { A = Some { B = None } } -> printfn "None at B"
    | { A = None } -> printfn "None at A"

写法2：用通配符简化分支（更简洁）

let nestedmatch (t:test2) =  
    match t with
    | { A = Some { B = Some { C = Some c } } } -> printfn $"{c}"
    | { A = Some { B = Some _ } } -> printfn "None at C"
    | { A = Some _ } -> printfn "None at B"
    | _ -> printfn "None at A"

原理说明 #

F#的模式匹配支持直接解构嵌套的记录类型和option类型：

• 用{ 字段名 = 模式 }解构记录的字段
• 用Some 子模式匹配option的有值情况，None匹配空值情况
• 通配符_可以匹配任意值，用来简化无需关注具体内容的分支

两种写法都能准确对应原代码的逻辑：

• 第一个分支匹配A、B、C全为Some的情况，输出具体数值
• 第二个分支匹配A和B为Some、C为None的情况
• 第三个分支匹配A为Some、B为None的情况
• 最后一个分支匹配A为None的情况

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