Wann sollte ich lassen, Mitglied val und Mitglied diese.?

F# hat viele verschiedene Möglichkeiten, Variablen zu definieren/Mitglieder-Typen. Wann sollte ich let, member val und member this. in F# und was ist der Unterschied zwischen Ihnen? Wie zu statischen und veränderlichen Mitglieder?

InformationsquelleAutor rightfold | 2014-07-19

49

Die Antwort von @meziantou gibt bereits einen guten überblick über die Möglichkeiten (und wie Sie sich anders Verhalten), so lassen Sie mich nur eine kurze Inhaltsangabe, oder eine Liste von Empfehlungen:
- Verwenden let oder let mutable wenn Sie wollen, definieren Sie einen lokalen Wert, der sichtbar nur innerhalb der Art (im wesentlichen ein private Feld oder ein private - Funktion). In einem Modul auf top-Niveau, diese sind öffentlich zugänglich und einmal ausgewertet. let mutable auf Modul-Ebene-erstellt eine einzige beschreibbare Bereich mit keine Rückendeckung Wert.
- Können Sie val zum erstellen einer auto-Eigenschaft, es ist die Abkürzung für member val Foo = .. with get. Ab F# dies ist als ein Feld, aber es ist intern umgesetzt, wie ein get-Eigenschaft mit einem Feld sichern, um zu verhindern, dass mutation.
- Können Sie val mutable zu definieren, einen öffentlichen Bereich, aber ich würde nicht empfehlen dies, es sei denn, Sie wirklich brauchen einen öffentlichen Bereich (z.B. einige .NET-Bibliothek kann verlangen, Typen mit dieser Struktur).
- Mit member x.Foo = ... ist der beste Weg, zu setzen (nur Lesen) Status aus ein Typ. Die meisten F# - Typen sind unveränderlich, so ist dies vielleicht der am meisten common public member. Es ist die Kurzform für eine nur get-instance-Eigenschaft.
- Mit member x.Foo with get() = .. and set(value) ... ist nützlich, wenn Sie erstellen müssen eine get - /set-Eigenschaft mit Ihren eigenen benutzerdefinierten code in der gettor und settor. Dies ist manchmal nützlich, wenn Sie erstellen ein veränderliches Objekt.
- Mit member val Foo = ... with get, set ist im Grunde dasselbe wie automatisch implementierte Eigenschaften in C#. Dies ist nützlich, wenn Sie eine veränderliche Eigenschaft eine getter-und setter, die gerade liest/schreibt ein veränderliches Feld sichern.
- Mit static let auf eine Art erstellt eine statische (Klassen-Ebene) nur-Lesen-Feld, das intern erzeugt eine property mit einem Feld sichern. Verwenden static mutable let ... für ein Lesen/schreiben der statischen Feld ohne Feld sichern.
- Mit static val mutable private erstellt eine statische lese - /schreib-auto-Eigenschaft mit einem Feld sichern, es kann nicht öffentlich sein.
- sind Erweiterung auto-Eigenschaften möglich?
- das würde erfordern das hinzufügen neuer Felder zu vorhandenen Typen, das ist nicht möglich.
InformationsquelleAutor Tomas Petricek

Fand ich heraus, leichter zu dekompilieren, was passiert, also:

type Region() =
  let mutable t = 0.0f
  member val Width = 0.0f
  member x.Height = 0.0f
  member val Left = 0.0f with get,set
  member x.Top with get() = 0.0f and set(value) = t <- value

ist eigentlich die folgende:

public class Region
{
    internal float t;

    internal float Width@;

    internal float Left@;

    public float Width
    {
        get
        {
            return this.Width@;
        }
    }

    public float Height
    {
        get
        {
            return 0f;
        }
    }

    public float Left
    {
        get
        {
            return this.Left@;
        }
        set
        {
            this.Left@ = value;
        }
    }

    public float Top
    {
        get
        {
            return 0f;
        }
        set
        {
            this.t = value;
        }
    }

    public Region() : this()
    {
        this.t = 0f;
        this.Width@ = 0f;
        this.Left@ = 0f;
    }
}

InformationsquelleAutor foobarcode

Dieses Beispiel erklärt den Unterschied zwischen Syntax:

type MyClass() =
    let random  = new System.Random() 
    [<DefaultValue>] val mutable field : int
    member val AutoProperty = random.Next() with get, set
    member this.ExplicitProperty = random.Next()

let c = new MyClass()
//c.random is not accessible
c.field <- 42 //'field' is accessible

//An automatic property is only evaluated upon initialization, and not every time the property is accessed
printfn "AutoProperty = %d" c.AutoProperty //x
printfn "AutoProperty = %d" c.AutoProperty //Still x

//The value of the explicit property is evaluated each time
printfn "ExplicitProperty = %d" c.ExplicitProperty //y
printfn "ExplicitProperty = %d" c.ExplicitProperty //The value is re-evaluated so you'll get a different value

Was ist der Unterschied zwischen val mutable und member val … with get, set? Es ist wie int x; vs int x { get; set; } in C#?
val erstellen Sie ein Feld, member val eine Eigenschaft erstellen.

InformationsquelleAutor meziantou

Schreibe einen Kommentar

Du musst angemeldet sein, um einen Kommentar abzugeben.