Uwaga
Dostęp do tej strony wymaga autoryzacji. Może spróbować zalogować się lub zmienić katalogi.
Dostęp do tej strony wymaga autoryzacji. Możesz spróbować zmienić katalogi.
Typ struktury (lub typ struktury) to typ wartości, który może hermetyzować dane i powiązane funkcje. Używasz słowa kluczowego struct
do definiowania typu struktury.
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})";
}
Aby uzyskać informacje o typach ref struct
i readonly ref struct
, zobacz artykuł Typy struktur ref.
Typy struktur mają semantykę wartości. Oznacza to, że zmienna typu struktury zawiera wystąpienie typu . Domyślnie wartości zmiennych są kopiowane przy przypisaniu, przekazując argument do metody i zwracając wynik metody. W przypadku zmiennych typu struktury wystąpienie tego typu jest kopiowane. Aby uzyskać więcej informacji, zobacz Typy wartości.
Zazwyczaj typy struktur są używane do projektowania małych typów skoncentrowanych na danych, które zapewniają niewielkie lub żadne zachowanie. Na przykład platforma .NET używa typów struktur do reprezentowania liczby (zarówno liczby całkowitej , jak i rzeczywistej), wartości logicznej , znaku Unicode, wystąpienia czasu. Jeśli koncentrujesz się na zachowaniu typu, rozważ zdefiniowanie klasy. Typy klas mają semantykę referencyjną. Oznacza to, że zmienna typu klasy zawiera odwołanie do wystąpienia typu, a nie samego wystąpienia.
Ponieważ typy struktur mają semantyka wartości, zalecamy zdefiniowanie niezmiennych typów struktur.
readonly
Struktura
Ty używasz modyfikatora readonly
do deklarowania, że typ struktury jest niezmienny. Wszystkie pola danych struktury readonly
muszą być tylko do odczytu.
- Każda deklaracja pola musi mieć modyfikator
readonly
. - Każda właściwość, także te automatycznie zaimplementowane, muszą być tylko do odczytu lub
init
tylko. Ustawienia dostępne tylko podczas inicjacji są dostępne od wersji 9 języka C#.
Gwarantuje to, że żaden element członkowski readonly
struktury nie modyfikuje stanu struktury. Oznacza to, że pozostałe elementy instancji poza konstruktorami są niejawnie readonly
.
Uwaga
readonly
W ramach struktury element członkowski danych typu odwołania modyfikowalnego nadal może modyfikować własny stan. Na przykład nie można zastąpić List<T> wystąpienia, ale można do niego dodać nowe elementy.
Poniższy kod definiuje readonly
strukturę z ograniczonymi do inicjalizacji ustawieniami właściwości:
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
członkowie instancji
Można również użyć readonly
modyfikatora, aby zadeklarować, że element członkowski wystąpienia nie modyfikuje stanu struktury. Jeśli nie możesz zadeklarować całego typu struktury jako readonly
, użyj readonly
modyfikatora, aby oznaczyć elementy członkowskie wystąpienia, które nie modyfikują stanu struktury.
W ramach elementu readonly
członkowskiego wystąpienia nie można przypisać do pól wystąpienia struktury. Jednak członek readonly
może wywołać członka, który nie jest readonly
. W takim przypadku kompilator tworzy kopię wystąpienia struktury i wywołuje element niebędącyreadonly
członkiem tej kopii. W rezultacie pierwotna instancja struktury nie zostaje zmodyfikowana.
Zazwyczaj stosujesz modyfikator readonly
do następujących rodzajów elementów członkowskich wystąpienia:
Metody:
public readonly double Sum() { return X + Y; }
Modyfikator
readonly
można również zastosować do metod, które zastępują metody zadeklarowane w System.Object.public readonly override string ToString() => $"({X}, {Y})";
właściwości i indeksatory:
private int counter; public int Counter { readonly get => counter; set => counter = value; }
Jeśli musisz zastosować modyfikator
readonly
do obu akcesorów właściwości lub indeksatora, zastosuj go w deklaracji właściwości lub indeksatora.Uwaga
Kompilator deklaruje akcesor
get
automatycznie zaimplementowanej właściwości jakoreadonly
, niezależnie od obecności modyfikatorareadonly
w deklaracji właściwości.Modyfikator
readonly
można zastosować do właściwości lub indeksatora za pomocą akcesorainit
.public readonly double X { get; init; }
Można zastosować modyfikator readonly
do pól statycznych typu struktury, ale nie do innych statycznych członków, takich jak właściwości lub metody.
Kompilator może korzystać z modyfikatora readonly
na potrzeby optymalizacji wydajności. Aby uzyskać więcej informacji, zobacz Unikanie alokacji.
Mutacja nieniszcząca
Możesz użyć wyrażenia with
, aby utworzyć kopię wystąpienia typu struktury z zmodyfikowanymi określonymi właściwościami i polami. Używasz składni inicjatora obiektów, aby określić, które członki zmodyfikować i jakie mają one nowe wartości, jak pokazano w następującym przykładzie:
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
Struktura
Można zdefiniować typy struktury rekordów. Typy rekordów zapewniają wbudowane funkcje hermetyzacji danych. Można zdefiniować zarówno typy, jak record struct
i readonly record struct
. Struktura rekordów nie może być ref struct
. Aby uzyskać więcej informacji i przykładów, zobacz Rekordy.
Tablice w linii
Począwszy od języka C# 12, można zadeklarować tablice inline jako struct
typ:
[System.Runtime.CompilerServices.InlineArray(10)]
public struct CharBuffer
{
private char _firstElement;
}
Tablica śródliniowa to struktura zawierająca ciągły blok N elementów tego samego typu. Jest to bezpieczny odpowiednik stałej deklaracji buforu dostępnej tylko w niebezpiecznym kodzie. Tablica śródliniowa ma struct
następujące cechy:
- Zawiera jedno pole.
- Struktura nie określa jawnego układu.
Ponadto kompilator weryfikuje System.Runtime.CompilerServices.InlineArrayAttribute atrybut:
- Długość musi być większa niż zero (
> 0
). - Typ docelowy musi być strukturą.
W większości przypadków można uzyskać dostęp do tablicy inline tak, jak do zwykłej tablicy, zarówno w celu odczytu, jak i zapisu wartości. Ponadto można użyć operatorów zakresu i indeksu .
Istnieją minimalne ograniczenia dotyczące typu poszczególnych elementów pola w tablicy wbudowanej. Nie może to być typ wskaźnika:
[System.Runtime.CompilerServices.InlineArray(10)]
public struct CharBufferWithPointer
{
private unsafe char* _pointerElement; // CS9184
}
Może to być jednak dowolny typ odwołania lub dowolny typ wartości:
[System.Runtime.CompilerServices.InlineArray(10)]
public struct CharBufferWithReferenceType
{
private string _referenceElement;
}
Tablice wbudowane można używać z niemal dowolną strukturą danych języka C#.
Tablice wbudowane to zaawansowana funkcja języka. Są one przeznaczone dla scenariuszy o wysokiej wydajności, w których wbudowany, ciągły blok elementów jest szybszy niż inne alternatywne struktury danych. Można znaleźć więcej informacji na temat tablic wbudowanych w specyfikacji funkcji .
Inicjalizacja struktur i wartości domyślne
Zmienna struct
typu zawiera bezpośrednio dane dla tego struct
typu . To tworzy rozróżnienie między niezainicjowanym struct
, który ma wartość domyślną, a zainicjowanym struct
, który przechowuje wartości ustalone podczas jego tworzenia. Rozważmy na przykład następujący kod:
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 ()
}
Jak pokazano w poprzednim przykładzie, domyślne wyrażenie wartości ignoruje konstruktor bez parametrów i generuje wartość domyślną typu struktury. Wystąpienie tablicy typu struktury pomija konstruktor bez parametrów i tworzy tablicę wypełnioną wartościami domyślnymi typu struktury.
Najczęstszą sytuacją, w której wartości domyślne są widoczne, jest obecność w tablicach lub innych kolekcjach, gdzie przechowywanie wewnętrzne obejmuje bloki zmiennych. Poniższy przykład tworzy tablicę 30 TemperatureRange
struktur, z których każda ma wartość domyślną:
// All elements have default values of 0:
TemperatureRange[] lastMonth = new TemperatureRange[30];
Wszystkie pola składowe struktury muszą być jednoznacznie przypisane podczas tworzenia, ponieważ typy struct
przechowują swoje dane bezpośrednio. Wartość default
struktury pewnie przypisuje wszystkie pola do wartości 0. Wszystkie pola muszą być zdecydowanie przypisane po wywołaniu konstruktora. Inicjujesz pola przy użyciu następujących mechanizmów:
- Inicjatory pól można dodawać do dowolnego pola lub automatycznie zaimplementowanej właściwości.
- W ciele konstruktora można zainicjować zarówno pola, jak i właściwości automatyczne.
Począwszy od języka C# 11, jeśli nie zainicjujesz wszystkich pól w strukturze, kompilator dodaje kod do konstruktora, który inicjuje te pola na wartość domyślną. Struktura przypisana do wartości default
jest inicjowana do wzorca 0-bitowego. Struktura zainicjowana przy użyciu new
jest inicjowana do wzorca 0-bitowego, a następnie wykonanie dowolnych inicjatorów pól i konstruktora.
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 ()
}
Każdy struct
ma public
konstruktor bez parametrów. Jeśli piszesz konstruktor bez parametrów, musi być publiczny. Jeśli struktura deklaruje dowolne inicjatory pól, musi jawnie zadeklarować konstruktor. Ten konstruktor nie musi być bezparametrowy. Jeśli struktura deklaruje inicjatora pól, ale nie konstruktorów, kompilator zgłasza błąd. Każdy jawnie zadeklarowany konstruktor (z parametrami lub bez parametrów) wykonuje wszystkie inicjatory pól dla tej struktury. Wszystkie pola bez inicjatora pola lub przypisania w konstruktorze są ustawione na wartość domyślną. Aby uzyskać więcej informacji, zobacz notatkę dotyczącą propozycji funkcji konstruktorów struktury bez parametrów .
Począwszy od języka C# 12, struct
typy mogą definiować podstawowy konstruktor w ramach jego deklaracji. Konstruktory podstawowe zapewniają zwięzłą składnię parametrów konstruktora, które mogą być używane w całej treści struct
w dowolnej deklaracji składowej dla tej struktury.
Jeśli wszystkie pola instancji typu struktury są widoczne, możesz również zainicjować je bez operatora new
. W takim przypadku należy zainicjować wszystkie pola przed pierwszym użyciem wystąpienia. W poniższym przykładzie pokazano, jak to zrobić:
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)
}
}
Dla wbudowanych typów wartościużyj odpowiednich literałów, aby określić wartość typu.
Ograniczenia dotyczące projektowania typu struktury
Struktury mają większość możliwości typu klasy . Istnieją pewne wyjątki:
- Typ struktury nie może dziedziczyć z innej klasy lub typu struktury i nie może być bazą klasy. Jednak typ struktury może implementować interfejsy.
- Nie można zadeklarować finalizatora w typie struktury.
- Przed C# 11, konstruktor struktury typu musi zainicjować wszystkie pola instancyjne typu.
Przekazywanie zmiennych typu struktury przez referencję
Podczas przekazywania zmiennej typu struktury do metody jako argumentu lub zwracania wartości typu struktury z metody całe wystąpienie typu struktury jest kopiowane. Wartość przekazywana może mieć wpływ na wydajność kodu w scenariuszach o wysokiej wydajności, które obejmują duże typy struktur. Aby uniknąć kopiowania wartości, można przekazać zmienną typu struktura przez referencję. Użyj modyfikatorów parametrów metody ref
, out
, in
lub ref readonly
, aby wskazać, że argument musi zostać przekazany przez referencję. Użyj ref returns, aby zwrócić wynik metody według odwołania. Aby uzyskać więcej informacji, zobacz Unikanie alokacji.
ograniczenie struct
Słowo kluczowe struct
ograniczenie.
Konwersje
W przypadku dowolnego typu struktury (z wyjątkiem ref struct
typów) istnieją konwersje boxingu i unboxingu do typów i System.ValueType oraz z tych typów. Istnieją również konwersje boksowania i unboksowania między typem struktury a dowolnym interfejsem, które on implementuje.
specyfikacja języka C#
Aby uzyskać więcej informacji, zobacz sekcję Struktury specyfikacji języka C#.
Aby uzyskać więcej informacji na temat struct
funkcji, zobacz następujące uwagi dotyczące propozycji funkcji:
- Struktury tylko do odczytu
- Członkowskie elementy obiektowe tylko do odczytu
- Konstruktory struktur bez parametrów
-
Zezwalaj na wyrażenie
with
w strukturach - struktury rekordów
- Struktury automatycznie domyślne