[英]How add setter to to discriminated unions in F#
我想将setter属性添加到有区别的工会中,我该怎么做?
fe:
type Factor =
| Value of Object
| Range of String
let mutable myProperty = 123
member this.MyProperty
with get() = myProperty
and set(value) = myProperty <- value
这是我可能的处理方法:
type Value = { value: obj; mutable MyProperty: int }
type Range = { range: string; mutable MyProperty: int }
type Factor =
| Value of Value
| Range of Range
member this.MyProperty
with get() =
match this with
| Value { MyProperty=myProperty }
| Range { MyProperty=myProperty } -> myProperty
and set(myProperty) =
match this with
| Value x -> x.MyProperty <- myProperty
| Range x -> x.MyProperty <- myProperty
并像这样使用它:
let v = Value {value="hi":>obj ; MyProperty=0 }
v.MyProperty <- 2
match v with
| Value { value=value } as record ->
printfn "Value of value=%A with MyProperty=%i" value record.MyProperty
| _ ->
printfn "etc."
我在与您类似的情况下使用了该技术,并在FsEye的手表模型中获得了令人满意的结果: http : //code.google.com/p/fseye/source/browse/tags/2.0.0-beta1/FsEye/WatchModel。 fs 。
为什么不使用类和活动模式:
type _Factor =
| Value_ of obj
| Range_ of string
type Factor(arg:_Factor) =
let mutable myProperty = 123
member this._DU = arg
member this.MyProperty
with get() = myProperty
and set(value) = myProperty <- value
let (|Value|Range|) (arg:Factor) =
match arg._DU with
|Value_(t) -> Value(t)
|Range_(t) -> Range(t)
这显然会明显慢一些,但是它可以让您做自己想做的事情
我对F#不太熟悉,但是我想您不能这样做,这没有任何意义。 从名称中可以看出,受歧视的工会是工会。 它们代表某种选择。 您正在尝试将一些状态合并到其中。 您想达到什么目的? 用例是什么?
也许您需要做的就是在DU中添加其他“参数”,即如果您有
type DU =
| A of int
| B of string
并且要添加int类型的setter,则可以通过以下方式扩展DU:
type DU =
| A of int * int
| B of string * int
member x.Set i =
match x with
| A(a1, a2) -> A(a1, i)
| B(b1, b2) -> B(b1, i)
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.