Yapı türleri (C# başvurusu)
Yapı türü (veya yapı türü), verileri ve ilgili işlevleri kapsülleyebilecek bir değer türüdür. Bir yapı türü tanımlamak için anahtar sözcüğünü struct
kullanırsınız:
public struct Coords
{
public Coords(double x, double y)
{
X = x;
Y = y;
}
public double X { get; }
public double Y { get; }
public override string ToString() => $"({X}, {Y})";
}
ve türleri hakkında ref struct
bilgi için başvuru yapısı türleri makalesine bakın.readonly ref struct
Yapı türlerinin değer semantiği vardır. Yani, bir yapı türünün değişkeni türün bir örneğini içerir. Varsayılan olarak, değişken değerleri atamada kopyalanır, bir bağımsız değişken yönteme geçirilir ve yöntem sonucu döndürüler. Yapı türü değişkenleri için, türün bir örneği kopyalanır. Daha fazla bilgi için bkz . Değer türleri.
Genellikle, çok az davranış sağlayan veya hiç davranış sağlamayan küçük veri odaklı türler tasarlamak için yapı türlerini kullanırsınız. Örneğin, .NET bir sayıyı ( hem tamsayı hem de gerçek), Boole değerini, Unicode karakterini ve zaman örneğini temsil etmek için yapı türlerini kullanır. Bir türün davranışına odaklandıysanız bir sınıf tanımlamayı göz önünde bulundurun. Sınıf türleri başvuru semantiğine sahiptir. Diğer bir ifadeyle, sınıf türündeki bir değişken, örneğin kendisine değil, türün bir örneğine başvuru içerir.
Yapı türleri değer semantiğine sahip olduğundan sabit yapı türlerini tanımlamanızı öneririz.
readonly
Yapı
Bir yapı türünün sabit olduğunu bildirmek için değiştiriciyi kullanırsınız readonly
. Bir readonly
yapının tüm veri üyeleri aşağıdaki gibi salt okunur olmalıdır:
- Herhangi bir alan bildiriminde
readonly
değiştirici olmalıdır - Otomatik uygulananlar da dahil olmak üzere tüm özellikler salt okunur olmalıdır. C# 9.0 ve sonraki sürümlerde bir özelliğin erişimcisi
init
olabilir.
Bu, hiçbir readonly
yapı üyesinin yapı durumunu değiştirmesini garanti eder. Bu, oluşturucular dışındaki diğer örnek üyelerinin örtük olduğu readonly
anlamına gelir.
Not
Yapıda readonly
, değiştirilebilir başvuru türünün veri üyesi yine de kendi durumunu sessize alabilir. Örneğin, bir List<T> örneği değiştiremezsiniz, ancak örneğine yeni öğeler ekleyebilirsiniz.
Aşağıdaki kod, C# 9.0 ve sonraki sürümlerde kullanılabilen init-only özellik ayarlayıcılarıyla bir readonly
yapı tanımlar:
public readonly struct Coords
{
public Coords(double x, double y)
{
X = x;
Y = y;
}
public double X { get; init; }
public double Y { get; init; }
public override string ToString() => $"({X}, {Y})";
}
readonly
örnek üyeleri
Bir örnek üyesinin readonly
bir yapı durumunu değiştirmediğini bildirmek için değiştiriciyi de kullanabilirsiniz. Yapı türünün tamamını olarak readonly
bildiremiyorsanız, yapısının readonly
durumunu değiştirmeyen örnek üyelerini işaretlemek için değiştiriciyi kullanın.
Bir readonly
örnek üyesi içinde, yapının örnek alanlarına atayamazsınız. Ancak, üye readonly
olmayanreadonly
bir üyeyi çağırabilir. Bu durumda derleyici, yapı örneğinin bir kopyasını oluşturur ve bu kopyada üye olmayanıreadonly
çağırır. Sonuç olarak, özgün yapı örneği değiştirilmez.
Genellikle değiştiriciyi readonly
aşağıdaki örnek üyelerine uygularsınız:
Yöntemler:
public readonly double Sum() { return X + Y; }
Değiştiriciyi
readonly
içinde bildirilen System.Objectyöntemleri geçersiz kılan yöntemlere de uygulayabilirsiniz:public readonly override string ToString() => $"({X}, {Y})";
özellikler ve dizin oluşturucular:
private int counter; public int Counter { readonly get => counter; set => counter = value; }
Değiştiriciyi bir özelliğin
readonly
veya dizin oluşturucunun her iki erişimcisine de uygulamanız gerekiyorsa, özelliğin veya dizin oluşturucunun bildiriminde uygulayın.Not
Derleyici, otomatik uygulanan bir
get
özelliğin erişimcisini, bir özellik bildiriminde değiştiricininreadonly
varlığına bakılmaksızın olarakreadonly
bildirir.C# 9.0 ve sonraki sürümlerde değiştiriciyi erişimciye
readonly
sahipinit
bir özelliğe veya dizin oluşturucuya uygulayabilirsiniz:public readonly double X { get; init; }
Değiştiriciyi readonly
bir yapı türünün statik alanlarına uygulayabilirsiniz, ancak özellikler veya yöntemler gibi diğer statik üyelere uygulayamayın.
Derleyici, performans iyileştirmeleri için değiştiriciyi readonly
kullanabilir. Daha fazla bilgi için bkz . Ayırmalardan kaçınma.
Yıkıcı olmayan mutasyon
C# 10'undan başlayarak, belirtilen özelliklerin ve alanların değiştirildiği bir yapı türü örneğinin kopyasını oluşturmak için ifadeyi kullanabilirsinizwith
. Aşağıdaki örnekte gösterildiği gibi, hangi üyelerin değiştirileceğini ve yeni değerlerini belirtmek için nesne başlatıcı söz dizimini kullanırsınız:
public readonly struct Coords
{
public Coords(double x, double y)
{
X = x;
Y = y;
}
public double X { get; init; }
public double Y { get; init; }
public override string ToString() => $"({X}, {Y})";
}
public static void Main()
{
var p1 = new Coords(0, 0);
Console.WriteLine(p1); // output: (0, 0)
var p2 = p1 with { X = 3 };
Console.WriteLine(p2); // output: (3, 0)
var p3 = p1 with { X = 1, Y = 4 };
Console.WriteLine(p3); // output: (1, 4)
}
record
Yapı
C# 10'da kayıt yapısı türlerini tanımlayabilirsiniz. Kayıt türleri, verileri kapsüllemek için yerleşik işlevler sağlar. Hem readonly record struct
hem de record struct
türlerini tanımlayabilirsiniz. Kayıt yapısı bir ref struct
olamaz. Daha fazla bilgi ve örnek için bkz. Kayıtlar.
Yapı başlatma ve varsayılan değerler
Bir struct
türün değişkeni doğrudan ilgili struct
için verileri içerir. Bu, varsayılan değerine sahip başlatılmamış struct
bir ile onu oluşturarak ayarlanan değerleri depolayan başlatılan struct
bir arasında ayrım oluşturur. Örneğin aşağıdaki kodu göz önünde bulundurun:
public readonly struct Measurement
{
public Measurement()
{
Value = double.NaN;
Description = "Undefined";
}
public Measurement(double value, string description)
{
Value = value;
Description = description;
}
public double Value { get; init; }
public string Description { get; init; }
public override string ToString() => $"{Value} ({Description})";
}
public static void Main()
{
var m1 = new Measurement();
Console.WriteLine(m1); // output: NaN (Undefined)
var m2 = default(Measurement);
Console.WriteLine(m2); // output: 0 ()
var ms = new Measurement[2];
Console.WriteLine(string.Join(", ", ms)); // output: 0 (), 0 ()
}
Yukarıdaki örnekte gösterildiği gibi, varsayılan değer ifadesi parametresiz bir oluşturucuyu yoksayar ve yapı türünün varsayılan değerini üretir. Yapı türü dizi örneği de parametresiz oluşturucuyu yoksayar ve bir yapı türünün varsayılan değerleriyle doldurulmuş bir dizi oluşturur.
Varsayılan değerleri göreceğiniz en yaygın durum dizilerde veya iç depolamanın değişken blokları içerdiği diğer koleksiyonlardadır. Aşağıdaki örnek, her biri varsayılan değere sahip olan 30 TemperatureRange
yapıdan oluşan bir dizi oluşturur:
// All elements have default values of 0:
TemperatureRange[] lastMonth = new TemperatureRange[30];
Türler verilerini doğrudan depoladığından, bir yapının üye alanlarının tümü oluşturulduğunda struct
kesinlikle atanmalıdır. Bir default
yapı değeri kesinlikle tüm alanları 0'a atamıştır . Bir oluşturucu çağrıldığında tüm alanlar kesinlikle atanmalıdır. Aşağıdaki mekanizmaları kullanarak alanları başlatırsınız:
- Herhangi bir alana veya otomatik uygulanan özelliğe alan başlatıcıları ekleyebilirsiniz.
- Oluşturucunun gövdesinde herhangi bir alanı veya otomatik özellikleri başlatabilirsiniz.
C# 11 ile başlayarak, bir yapıdaki tüm alanları başlatmazsanız, derleyici bu alanları varsayılan değere başlatan oluşturucuya kod ekler. Derleyici, her zamanki kesin atama analizini gerçekleştirir. Atanmadan önce erişilen veya oluşturucu yürütmeyi tamamladığında kesinlikle atanmayan tüm alanlar, oluşturucu gövdesi yürütülmeden önce varsayılan değerlerine atanır. Tüm alanlar atanmadan önce erişilirse this
, yapı oluşturucu gövdesi yürütülmeden önce varsayılan değere başlatılır.
public readonly struct Measurement
{
public Measurement(double value)
{
Value = value;
}
public Measurement(double value, string description)
{
Value = value;
Description = description;
}
public Measurement(string description)
{
Description = description;
}
public double Value { get; init; }
public string Description { get; init; } = "Ordinary measurement";
public override string ToString() => $"{Value} ({Description})";
}
public static void Main()
{
var m1 = new Measurement(5);
Console.WriteLine(m1); // output: 5 (Ordinary measurement)
var m2 = new Measurement();
Console.WriteLine(m2); // output: 0 ()
var m3 = default(Measurement);
Console.WriteLine(m3); // output: 0 ()
}
Her struct
parametresiz oluşturucuya sahiptir public
. Parametresiz bir oluşturucu yazarsanız, ortak olmalıdır. Bir yapı herhangi bir alan başlatıcı bildirirse, açıkça bir oluşturucu bildirmesi gerekir. Bu oluşturucu parametresiz olmamalıdır. Yapı bir alan başlatıcı bildirir ancak oluşturucu bildirmezse, derleyici bir hata bildirir. Açıkça bildirilen herhangi bir oluşturucu (parametrelerle veya parametresiz) bu yapı için tüm alan başlatıcıları yürütür. Alan başlatıcısı veya oluşturucuda ataması olmayan tüm alanlar varsayılan değere ayarlanır. Daha fazla bilgi için parametresiz yapı oluşturucuları özellik teklifi notunu inceleyin.
Bir yapı türünün tüm örnek alanları erişilebilir durumdaysa, işleci olmadan new
da örneği oluşturabilirsiniz. Bu durumda, örneğin ilk kullanımından önce tüm örnek alanlarını başlatmanız gerekir. Aşağıdaki örnekte bunun nasıl yapıldığını gösterilmektedir:
public static class StructWithoutNew
{
public struct Coords
{
public double x;
public double y;
}
public static void Main()
{
Coords p;
p.x = 3;
p.y = 4;
Console.WriteLine($"({p.x}, {p.y})"); // output: (3, 4)
}
}
Yerleşik değer türleri söz konusu olduğunda, türün değerini belirtmek için karşılık gelen değişmez değerleri kullanın.
Yapı türünün tasarımıyla ilgili sınırlamalar
Yapılar, bir sınıf türünün özelliklerinin çoğuna sahiptir. Bazı özel durumlar ve daha yeni sürümlerde kaldırılan bazı özel durumlar vardır:
- Yapı türü diğer sınıf veya yapı türünden devralamaz ve bir sınıfın temeli olamaz. Ancak, bir yapı türü arabirimleri uygulayabilir.
- Yapı türü içinde sonlandırıcı bildiremezsiniz.
- C# 11'in öncesinde, bir yapı türünün oluşturucusunun türün tüm örnek alanlarını başlatması gerekir.
- C# 10'un öncesinde parametresiz oluşturucu bildiremezsiniz.
- C# 10'un öncesinde, bir örnek alanını veya özelliğini bildiriminde başlatamazsınız.
Yapı türündeki değişkenleri başvuruya göre geçirme
Bir yapı türü değişkenini bir yönteme bağımsız değişken olarak geçirdiğinizde veya bir yöntemden yapı türü değeri döndürdüyseniz, yapı türünün tüm örneği kopyalanır. Değere göre geçiş, büyük yapı türleri içeren yüksek performanslı senaryolarda kodunuzun performansını etkileyebilir. Başvuruya göre bir yapı türü değişkeni geçirerek değer kopyalamayı önleyebilirsiniz. Bir bağımsız değişkenin ref
başvuruyla geçirilmesi gerektiğini belirtmek için , out
veya in
yöntem parametresi değiştiricilerini kullanın. Başvuruya göre bir yöntem sonucu döndürmek için başv dönüşlerini kullanın. Daha fazla bilgi için bkz . Ayırmalardan kaçınma.
yapı kısıtlaması
Tür parametresinin struct
null değer atanamayan bir değer türü olduğunu belirtmek için kısıtlamadastruct
anahtar sözcüğünü de kullanırsınız. Hem yapı hem de numaralandırma türleri kısıtlamayı karşılar struct
.
Dönüşümler
Herhangi bir yapı türü (türler dışındaref struct
) için ve türlerine ve türlerine yönelik ve türlerinden System.ValueTypeSystem.Objectgelen kutulama ve kutu açma dönüştürmeleri vardır. Ayrıca bir yapı türü ile uyguladığı arabirimler arasında kutulama ve kutu açma dönüştürmeleri de vardır.
C# dili belirtimi
Daha fazla bilgi için C# dil belirtimininYapılar bölümüne bakın.
Özellikler hakkında struct
daha fazla bilgi için aşağıdaki özellik teklifi notlarını inceleyin:
- C# 7.2 - Salt okunur yapılar
- C# 8 - Salt okunur örnek üyeleri
- C# 10 - Parametresiz yapı oluşturucuları
- C# 10 - Yapılarda ifadeye izin ver
with
- C# 10 - Kayıt yapıları
- C# 11 - Otomatik varsayılan yapılar