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

| 我将活动模式\“ 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 = ActualWidth 其中cw是唯一变量。 您能提出更好的建议吗？     
2020-01-14 2 条评论
分享

没有找到相关结果

    已邀请:

    弦砂牧扁

            可以用作参数化活动模式参数的表达式的语言在某些方面受到限制。据我所知，F＃规范没有明确说明，但语法表明必须有可能将参数表达式解析为
    pat-param
    （第90页）：   pat参数：=   | const   |长久的   | [pat-param; ...; pat-param   | （pat-param，...，pat-param）   |长期身份参数   | pat-param：类型   | <@ expr @>   | <@@ expr @@>   |空值 因此，我认为您需要以不同的方式编写匹配的模式。您可以将表达式转换为
    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.
        
    2020-01-14 0 0
    分享
    为什么被折叠? 0 个回复被折叠

    要回复问题请先登录或注册

    或代码 OrCode.com 备案号：粤ICP备15020848号-1
    Escape time: 0.034755945205688