Yapılar

Yapı , az miktarda veri ve basit davranışa sahip olan türler için bir sınıftan daha verimli olabilecek bir Compact nesne türüdür.

Syntax

[ attributes ]
type [accessibility-modifier] type-name =
    struct
        type-definition-elements-and-members
    end
// or
[ attributes ]
[<StructAttribute>]
type [accessibility-modifier] type-name =
    type-definition-elements-and-members

Açıklamalar

Yapılar değer türlerdir, bu, doğrudan yığında depolandıkları veya alan veya dizi öğeleri olarak kullanıldıkları zaman, üst tür içinde satır içi olarak kullanıldıkları anlamına gelir. Sınıfların ve kayıtlardan farklı olarak, yapıların değer geçişi semantiği vardır. Bu, öncelikli olarak sık erişilen ve kopyalandığı verilerin küçük toplamalar için yararlı oldukları anlamına gelir.

Önceki sözdiziminde iki form gösterilir. İlki basit sözdizimi değildir, ancak, struct ve end anahtar sözcüklerini kullandığınızda, StructAttribute ikinci formda görünen özniteliği atlayabilirsiniz, ancak. Yalnızca ' i kısaltabilirsiniz StructAttribute Struct .

Önceki sözdiziminde bulunan tür tanımı-öğeler-ve-Üyeler üye bildirimlerini ve tanımlarını temsil eder. Yapılar, oluşturucular ve değişebilir ve sabit alanlara sahip olabilir ve üyeleri ve arabirim uygulamalarını bildirebilirler. Daha fazla bilgi için bkz. Üyeler.

Yapılar devralmaya katılamaz, let veya do bağlama içeremez ve kendi türündeki alanları özyinelemeli olarak içeremez (ancak kendi türlerine başvuran başvuru hücreleri içerebilse de).

Yapılar bağlamalara izin vermediğinden let , anahtar sözcüğünü kullanarak yapıların alanlarını bildirmeniz gerekir val . valAnahtar sözcüğü bir alanı ve türünü tanımlar, ancak başlatmaya izin vermez. Bunun yerine, val Bildirimler sıfır veya null olarak başlatılır. Bu nedenle, örtük Oluşturucusu olan yapılar (diğer bir deyişle, bildirimdeki yapı adından hemen sonra verilen Parametreler), val bildirimlerin özniteliğiyle açıklanabilmesini gerektirir DefaultValue . Tanımlı bir oluşturucuya sahip olan yapılar sıfır başlatmayı desteklemeye devam eder. Bu nedenle öznitelik, bu DefaultValue tür sıfır değeri alan için geçerli olan bir bildirimidir. let do Tür üzerinde bağlamalara izin verilmediğinden, yapılar için örtük oluşturucular hiçbir eylem gerçekleştirmez, ancak geçirilen örtük Oluşturucu parametre değerleri özel alanlar olarak kullanılabilir.

Açık oluşturucular alan değerlerinin başlatılmasını içerebilir. Açık Oluşturucusu olan bir yapınız varsa, yine de sıfır başlatmayı destekler; Ancak, DefaultValue val Açık Oluşturucu ile çakıştığından, bu özniteliği bildirimlerinde kullanmayın. Bildirimler hakkında daha fazla bilgi için val bkz. açık alanlar: val anahtar sözcük.

Yapılar üzerinde özniteliklere ve erişilebilirlik değiştiricilerine izin verilir ve diğer türlerle aynı kuralları izler. Daha fazla bilgi için bkz. öznitelikler ve Access Control.

Aşağıdaki kod örnekleri yapı tanımlarını gösterir.

// In Point3D, three immutable values are defined.
// x, y, and z will be initialized to 0.0.
type Point3D =
    struct
        val x: float
        val y: float
        val z: float
    end

// In Point2D, two immutable values are defined.
// It also has a member which computes a distance between itself and another Point2D.
// Point2D has an explicit constructor.
// You can create zero-initialized instances of Point2D, or you can
// pass in arguments to initialize the values.
type Point2D =
    struct
        val X: float
        val Y: float
        new(x: float, y: float) = { X = x; Y = y }

        member this.GetDistanceFrom(p: Point2D) =
            let dX = (p.X - this.X) ** 2.0
            let dY = (p.Y - this.Y) ** 2.0
            
            dX + dY
            |> sqrt
    end

ByRefLike yapıları

Benzer anlambilimi olan kendi yapı birimlerinizi tanımlayabilirsiniz byref : daha fazla bilgi için bkz. byrefs . Bu, IsByRefLikeAttribute özniteliğiyle yapılır:

open System
open System.Runtime.CompilerServices

[<IsByRefLike; Struct>]
type S(count1: Span<int>, count2: Span<int>) =
    member x.Count1 = count1
    member x.Count2 = count2

IsByRefLike göstermez Struct . Her ikisi de türünde bulunmalıdır.

byrefF # içinde "-LIKE" yapısı, yığın bağlantılı bir değer türüdür. Yönetilen yığında hiçbir şekilde ayrılmadı. Bir byref -LIKE yapısı, yoğun ömür ve yakalama olmayan bir güçlü denetim kümesiyle zorlandığından, yüksek performanslı programlama için yararlıdır. Kurallar şunlardır:

• İşlev parametreleri, yöntem parametreleri, yerel değişkenler, yöntem geri dönüş olarak kullanılabilirler.
• Bunlar statik veya bir sınıfın ya da normal yapının örnek üyeleri olamaz.
• Bunlar herhangi bir kapanış yapısı ( async Yöntemler veya lambda ifadeleri) tarafından yakalanamaz.
• Genel parametre olarak kullanılamaz.

Bu kurallar kullanımı çok kuvvetli olsa da, yüksek performanslı bilgi işlem taahhüdünü güvenli bir şekilde yerine getirmelerini sağlar.

ReadOnly yapılar

Özniteliği olan yapılara not ekleyebilirsiniz IsReadOnlyAttribute . Örnek:

[<IsReadOnly; Struct>]
type S(count1: int, count2: int) =
    member x.Count1 = count1
    member x.Count2 = count2

IsReadOnly göstermez Struct . Yapısına sahip olmak için her ikisini de eklemeniz gerekir IsReadOnly .

Bu özniteliğin kullanılması, F # ve C# inref<'T> ' nin, sırasıyla ve olarak ele almasını sağlayan meta verileri yayar in ref .

Salt okunur bir yapının içinde kesilebilir değer tanımlamak bir hata oluşturur.

Struct kayıtları ve ayırt edici birleşimler

Özniteliği ile yapılar olarak kayıtları ve ayırt edici birleşimleri temsil edebilirsiniz [<Struct>] . Daha fazla bilgi için her makaleye bakın.

Ayrıca bkz.

• F # dil başvurusu
• Sınıflar
• Kayıtlar
• Üyeler