如何将复杂表达式传递给参数化的活动模式

Question

我定义了活动模式"Expression"如下：

let (|Expression|_|) expression _ = Some(expression)

现在我正试图以这种方式使用它：

match () with
| Expression((totalWidth - wLeft - wRight) / (float model.Columns.Count - 0.5)) cw
    when cw <= wLeft * 4. && cw <= wRight * 4. ->
        cw
| Expression((totalWidth - wLeft) / (float model.Columns.Count - .25)) cw
    when cw <= wLeft * 4. && cw > wRight * 4. ->
        cw
| Expression((totalWidth - wRight) / (float model.Columns.Count - .25)) cw
    when cw > wLeft * 4. && cw <= wRight * 4. ->
        cw
| Expression(totalWidth / float model.Columns.Count) cw
    when cw > wLeft * 4. && cw > wRight * 4. ->
        cw
| _ -> System.InvalidProgramException() |> raise

但这会导致"错误FS0010：模式中出现意外的符号'-"。这是可以解决的吗？

我想做的是清楚地写出以下方程的解：

max（wl-cw*.25，0）+max（wr-cw*.25%）+cw*columnCount=实际宽度

其中cw是唯一的变量。

你能提出更好的办法吗？

Answer 1

可以用作参数化活动模式参数的表达式的语言在某些方面受到限制。据我所知，F#规范没有明确说明这一点，但语法表明，必须可以将参数表达式解析为pat-param（第90页）：

pat-param:=
 nbsp |常量
 nbsp |长标识符
 nbsp |[pat param；…；pat param]
 nbsp |（pat-param，…，pat-param）
 nbsp |长标识符pat参数
 nbsp |pat参数：类型
 nbsp |<@expr@>
 nbsp |<@@expr@@>
 nbsp |空

所以，我认为你需要用不同的方式来写你的模式匹配。您可以将表达式转换为match构造的普通参数，并编写如下内容：

match 
  (totalWidth - wLeft - wRight) / (float model.Columns.Count - 0.5),
  (totalWidth - wLeft) / (float model.Columns.Count - .25),
  (totalWidth - wRight) / (float model.Columns.Count - .25)
with
| cw1, _, _ when cw1 <= wLeft * 4. && cw1 <= wRight * 4. -> cw1
| _, cw2, _ when cw2 <= wLeft * 4. && cw2 > wRight * 4. -> cw2
| _, _, cw3 when cw3 > wLeft * 4. && cw3 <= wRight * 4. -> cw3
| _ -> totalWidth / float model.Columns.Count

如果表达式中使用的模式始终相同，您也可以使用活动模式，如：

let (|Calculate|) w p _ =
  (totalWidth - w) / (float model.Columns.Count - p)

然后写一些类似的东西：

let wDif = wLeft - wRight
match () with
| Calculate wDif 0.5 cw -> cw
| Calculate wLeft 0.25 cw -> cw
// .. etc.