Comment implémenter correctement une propriété dans F #?

Question

Tenir compte de ma première tentative, un type simple F # comme ce qui suit:

type Test() = 
    inherit BaseImplementingNotifyPropertyChangedViaOnPropertyChanged() 
    let mutable prop: string = null 
    member this.Prop 
     with public get() = prop 
     and public set value = 
      match value with 
       | _ when value = prop ->() 
       | _ -> 
        let prop = value 
        this.OnPropertyChanged("Prop") 

Maintenant, je teste ce via C# (cet objet est exposé à un projet C#, donc apparemment sémantique C# sont souhaitables):

[TestMethod] 
public void TaskMaster_Test() 
{ 
    var target = new FTest(); 
    string propName = null; 
    target.PropertyChanged += (s, a) => propName = a.PropertyName; 
    target.Prop = "newString"; 

    Assert.AreEqual("Prop", propName); 
    Assert.AreEqual("newString", target.Prop); 

    return; 
} 

propName est correctement affecté, mon F # Setter est en cours d'exécution, mais le second est assert défaillantes en raison de la valeur sous-jacente de prop ne change pas. Ce genre de sens a du sens pour moi, parce que si je supprime mutable du champ prop, aucune erreur n'est générée (et il faut le faire parce que j'essaie de muter la valeur). Je pense qu'il me manque un concept fondamental.

Quelle est la bonne façon de relier/muter prop dans la classe Test afin que je puisse passer mon test d'unité?

Answer 1

Essayez ceci:

type Test() = 
    inherit BaseImplementingNotifyPropertyChangedViaOnPropertyChanged() 
    let mutable prop: string = null 
    member this.Prop 
     with public get() = prop 
     and public set value = 
      match value with 
       | _ when value = prop ->() 
       | _ -> 
        prop <- value 
        this.OnPropertyChanged("Prop") 

Vous devez faire la liaison mutable et modifier sa valeur dans votre setter. Dans votre code initial, vous étiez en train de créer une nouvelle liaison (également appelée prop) dans votre setter, donc aucune modification n'était visible.

Answer 2

Dans votre correspondance de motif vous liez en fait une nouvelle valeur avec

let prop = value 

Lorsque vous liez une valeur comme celui-ci avec le même nom, elle masque l'autre valeur pour le champ d'application de la nouvelle qui a été déclaré. Je crois que ce que vous voulez vraiment faire est la suivante:

prop <- value 

Answer 3

Comme un côté note, je serais probablement utiliser if .. then au lieu de la match construction car il rend le code plus succinct (correspondant de patterh est particulièrement utile lorsque vous avez besoin pour tester la valeur agains plusieurs modèles complexes). En outre, public est l'accès par défaut pour member, vous pouvez donc faire un peu le code plus succinct:

type Test() = 
    inherit BaseImplementingNotifyPropertyChangedViaOnPropertyChanged() 
    let mutable prop : string = null 
    member this.Prop 
     with get() = prop 
     and set(value) = 
      if value <> prop then 
       prop <- value 
       this.OnPropertyChanged("Prop")