如何解决如何将复杂的表达式传递给参数化的活动模式?
| 我将活动模式\“ 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是唯一变量。
您能提出更好的建议吗?
解决方法
可以用作参数化活动模式参数的表达式的语言在某些方面受到限制。据我所知,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.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。