f# - 这条规则永远不会被匹配到 : Why?

Question

我有以下功能:

let hasColumnValue<'columnType> columnName (value: 'columnType) (row: KeyValuePair<int, ObjectSeries<string>>) =
    let columnValue =
        Series.get columnName row.Value :?> 'columnType

    match columnValue with
    | value -> true
    | _ -> false

默认模式匹配被标记为“永远不会匹配此规则”

=>我不明白为什么

提前致谢

Answer 1

第一个模式总是匹配的，因为它绑定(bind)到变量。如果存在具有相同名称的变量，它将被隐藏。但是，如果名称引用文字 绑定(bind)，则如果值等于基础常量值，则模式成功

let x = 1
[<Literal>] 
let Three = 3

match 2 with
| Three -> printfn "Three"
| x -> printfn "%d" x 
// prints 2

match 3 with
| Three -> printfn "Three"
| x -> printfn "%d" x 
// prints Three

在你的情况下，使用相等而不是模式匹配是最清楚的

 let hasColumnValue<'columnType when 'columnType: equality> columnName (value: 'columnType) (row: KeyValuePair<int, ObjectSeries<string>>) =
    let columnValue =
        Series.get columnName row.Value :?> 'columnType

    columnValue = value