Wie kann ich Operatoren für WPF-Container überladen?

Question

type AdderType() = 
    /// Appends to the container. 
    static member (+) 
     (cont:DockPanel,child:#UIElement) = 
     cont.Children.Add child |> ignore 
     child 

Wenn ich die Klasse wie oben gemacht und versuchen Sie so etwas.

let dock = DockPanel() 
let win = Window(Title = "Check the Window Style", Content = dock) 
let menu = dock + Menu() 

erhalte ich die Fehler None of the types 'DockPanel,Menu' support the operator '+'. ich inspiriert wurde, die oben durch Phil Trelford's Bindung Beispiel zu machen, die so geht:

type DependencyPropertyValuePair(dp:DependencyProperty,value:obj) = 
    member this.Property = dp 
    member this.Value = value 
    static member (+) 
     (target:#UIElement,pair:DependencyPropertyValuePair) = 
     target.SetValue(pair.Property,pair.Value) 
     target 

Die oben aus irgendeinem Grund funktioniert. Ich habe keine Idee warum. Wäre es möglich, den + oder einen anderen Operator zu überlasten, so dass ich Container elegant hinzufügen könnte?

Answer 1

Operatoren innerhalb einer Klasse definiert nur funktionieren, wenn eines der Argumente eine Instanz der Klasse ist, aber Sie können Ihre Betreiber als globaler Operator definieren:

let (++) (cont:DockPanel) (child:#UIElement) = 
    cont.Children.Add child |> ignore 
    child 

Folgendes sollte dann funktionieren:

let dock = DockPanel() 
let win = Window(Title = "Check the Window Style", Content = dock) 
let menu = dock ++ Menu() 

Aber um ehrlich zu sein, glaube ich nicht, dass diese Art von Problem ein guter Ort für die Verwendung von benutzerdefinierten Operatoren ist. Mit + hier ist verwirrend, weil Sie nicht wirklich zwei Dinge in irgendeinem Sinne hinzufügen. Ihr Operator ist nicht kommutativ, z.B. (a ++ b) <> (b ++ a).

denke ich, eine idiomatische Code wäre eine benannte Funktion zu definieren und verwenden, um den |>:

let appendTo (cont:DockPanel) (child:#UIElement) = 
    cont.Children.Add child |> ignore 
    child 

let dock = DockPanel() 
let win = Window(Title = "Check the Window Style", Content = dock) 
let menu = Menu() |> appendTo dock 

Answer 2

so, wie es wie im letzten Beispiel, wie dies wäre in ähnlicher Weise zu tun:

type ContainerType(con:Panel) = 
    member this.Children = con.Children 
    static member (+) 
     (child:#UIElement,cont:ContainerType) = 
     cont.Children.Add child |> ignore 
     child 

let toCon = ContainerType 

Eigentlich mag ich Tomas Lösung besser. Und Phil Trelford Beispiel sieht so sehr wie es ist ein Teil von .NET, dass es mir in den Sinn, dass eines der Argumente in der static member (+) hat DependencyPropertyValuePair als der Typ, warum der + Operator könnte in erster Linie überlastet werden. Also das beantwortet das.