Co nowego w C# 8,0What's new in C# 8.0

Istnieje wiele ulepszeń C# języka, który można wypróbować już.There are many enhancements to the C# language that you can try out already.

Uwaga

Ten artykuł został ostatnio zaktualizowany do C# wersji 8,0 Preview 5.This article was last updated for C# 8.0 preview 5.

W pozostałej części tego artykułu krótko opisano te funkcje.The remainder of this article briefly describes these features. Tam, gdzie są dostępne szczegółowe artykuły, znajdują się linki do samouczków i przeglądów.Where in-depth articles are available, links to those tutorials and overviews are provided. Te funkcje można eksplorować w środowisku za pomocą dotnet try narzędzia globalnego:You can explore these features in your environment using the dotnet try global tool:

  1. Zainstaluj narzędzie dotnet-try Global.Install the dotnet-try global tool.
  2. Sklonuj repozytorium dotnet/try-Samples .Clone the dotnet/try-samples repository.
  3. Ustaw bieżący katalog na podkatalog csharp8 dla repozytorium try-Samples .Set the current directory to the csharp8 subdirectory for the try-samples repository.
  4. Uruchom dotnet try.Run dotnet try.

Elementy członkowskie tylko do odczytuReadonly members

Można zastosować readonly modyfikator do dowolnego elementu członkowskiego struktury.You can apply the readonly modifier to any member of a struct. Wskazuje, że element członkowski nie modyfikuje stanu.It indicates that the member does not modify state. Jest to bardziej szczegółowe niż stosowanie readonly modyfikatora struct do deklaracji.It's more granular than applying the readonly modifier to a struct declaration. Weź pod uwagę następującą niemodyfikowalną strukturę:Consider the following mutable struct:

public struct Point
{
    public double X { get; set; }
    public double Y { get; set; }
    public double Distance => Math.Sqrt(X * X + Y * Y);

    public override string ToString() =>
        $"({X}, {Y}) is {Distance} from the origin";
}

Podobnie jak większość struktur, ToString() Metoda nie modyfikuje stanu.Like most structs, the ToString() method does not modify state. Można wskazać, że dodając readonly modyfikator do ToString()deklaracji:You could indicate that by adding the readonly modifier to the declaration of ToString():

public readonly override string ToString() =>
    $"({X}, {Y}) is {Distance} from the origin";

Poprzednia zmiana generuje ostrzeżenie kompilatora, ponieważ ToString uzyskuje dostęp Distance do właściwości, która nie jest readonlyoznaczona:The preceding change generates a compiler warning, because ToString accesses the Distance property, which is not marked readonly:

warning CS8656: Call to non-readonly member 'Point.Distance.get' from a 'readonly' member results in an implicit copy of 'this'

Kompilator ostrzega o tym, gdy musi utworzyć kopię obronną.The compiler warns you when it needs to create a defensive copy. Właściwość nie zmienia stanu, więc możesz naprawić to ostrzeżenie, readonly dodając modyfikator do deklaracji: DistanceThe Distance property does not change state, so you can fix this warning by adding the readonly modifier to the declaration:

public readonly double Distance => Math.Sqrt(X * X + Y * Y);

Należy zauważyć, readonly że modyfikator jest konieczny dla właściwości tylko do odczytu.Notice that the readonly modifier is necessary on a read only property. Kompilator nie zakłada get , że metody dostępu nie modyfikują stanu; należy zadeklarować readonly jawnie.The compiler doesn't assume get accessors do not modify state; you must declare readonly explicitly. Kompilator wymusza zasadę, której readonly elementy członkowskie nie modyfikują stanu.The compiler does enforce the rule that readonly members do not modify state. Następująca metoda nie zostanie skompilowana, chyba że zostanie usunięty readonly modyfikator:The following method will not compile unless you remove the readonly modifier:

public readonly void Translate(int xOffset, int yOffset)
{
    X += xOffset;
    Y += yOffset;
}

Ta funkcja umożliwia określenie zamierzonego projektu, aby kompilator mógł go wymusić i dokonać optymalizacji na podstawie tego zamiaru.This feature lets you specify your design intent so the compiler can enforce it, and make optimizations based on that intent.

Domyślne elementy członkowskie interfejsuDefault interface members

Teraz można dodawać członków do interfejsów i dostarczać implementację dla tych członków.You can now add members to interfaces and provide an implementation for those members. Ta funkcja języka umożliwia autorom interfejsu API dodawanie metod do interfejsu w nowszych wersjach, bez podzielenia zgodności źródłowej lub binarnej z istniejącymi implementacjami tego interfejsu.This language feature enables API authors to add methods to an interface in later versions without breaking source or binary compatibility with existing implementations of that interface. Istniejące implementacje dziedziczą implementację domyślną.Existing implementations inherit the default implementation. Ta funkcja umożliwia C# również współdziałanie z interfejsami API przeznaczonymi dla systemu Android lub SWIFT, które obsługują podobne funkcje.This feature also enables C# to interoperate with APIs that target Android or Swift, which support similar features. Domyślne elementy członkowskie interfejsu umożliwiają również scenariusze podobne do funkcji języka "cechy".Default interface members also enable scenarios similar to a "traits" language feature.

Domyślne elementy członkowskie interfejsu mają wpływ na wiele scenariuszy i elementów języka.Default interface members affects many scenarios and language elements. W pierwszym samouczku omówiono aktualizowanie interfejsu przy użyciu domyślnych implementacji.Our first tutorial covers updating an interface with default implementations. Inne samouczki i aktualizacje referencyjne są dostępne w czasie do wydania ogólnego.Other tutorials and reference updates are coming in time for general release.

Więcej wzorców w większej liczbie miejscMore patterns in more places

Dopasowanie wzorców oferuje narzędzia do zapewniania funkcji zależnych od kształtu między powiązanymi, ale różnymi rodzajami danych.Pattern matching gives tools to provide shape-dependent functionality across related but different kinds of data. C#7,0 wprowadzono składnię dla wzorców typu i wzorców stałych przy użyciu is wyrażenia switch i instrukcji.C# 7.0 introduced syntax for type patterns and constant patterns by using the is expression and the switch statement. Te funkcje przedstawiają pierwsze wstępnie wymagane kroki w kierunku obsługi odmian programistycznych, w których dane i funkcje są aktywne.These features represented the first tentative steps toward supporting programming paradigms where data and functionality live apart. Gdy branża jest przenoszona do większej liczby mikrousług i architektur opartych na chmurze, inne narzędzia języka są zbędne.As the industry moves toward more microservices and other cloud-based architectures, other language tools are needed.

C#8,0 rozwija ten słownik, aby można było używać więcej wyrażeń wzorca w większej liczbie miejsc w kodzie.C# 8.0 expands this vocabulary so you can use more pattern expressions in more places in your code. Te funkcje należy wziąć pod uwagę, gdy dane i funkcje są osobne.Consider these features when your data and functionality are separate. Rozważ dopasowanie wzorców, gdy algorytmy zależą od faktu innego niż typ środowiska uruchomieniowego obiektu.Consider pattern matching when your algorithms depend on a fact other than the runtime type of an object. Techniki te zapewniają inny sposób tworzenia projektów.These techniques provide another way to express designs.

Oprócz nowych wzorców w nowych miejscach, C# 8,0 dodaje cykliczne wzorce.In addition to new patterns in new places, C# 8.0 adds recursive patterns. Wynikiem dowolnego wyrażenia wzorca jest wyrażenie.The result of any pattern expression is an expression. Wzorzec cykliczny jest po prostu wyrażeniem wzorca zastosowanym do danych wyjściowych innego wyrażenia wzorca.A recursive pattern is simply a pattern expression applied to the output of another pattern expression.

Przełącz wyrażeniaswitch expressions

Często instrukcja generuje wartość w każdym z jego case bloków. switchOften, a switch statement produces a value in each of its case blocks. Wyrażenia Switch umożliwiają użycie bardziej zwięzłej składni wyrażeń.Switch expressions enable you to use more concise expression syntax. Jest mniej powtarzające case się break i słowa kluczowe i mniej nawiasów klamrowych.There are fewer repetitive case and break keywords, and fewer curly braces. Na przykład rozważmy następujące Wyliczenie, które zawiera listę kolorów tęczu:As an example, consider the following enum that lists the colors of the rainbow:

public enum Rainbow
{
    Red,
    Orange,
    Yellow,
    Green,
    Blue,
    Indigo,
    Violet
}

Jeśli aplikacja RGBColor definiuje typ, który jest zbudowany G Rze składników, i B , można skonwertować Rainbow wartość na wartości RGB przy użyciu następującej metody zawierającej wyrażenie Switch:If your application defined an RGBColor type that is constructed from the R, G and B components, you could convert a Rainbow value to its RGB values using the following method containing a switch expression:

public static RGBColor FromRainbow(Rainbow colorBand) =>
    colorBand switch
    {
        Rainbow.Red    => new RGBColor(0xFF, 0x00, 0x00),
        Rainbow.Orange => new RGBColor(0xFF, 0x7F, 0x00),
        Rainbow.Yellow => new RGBColor(0xFF, 0xFF, 0x00),
        Rainbow.Green  => new RGBColor(0x00, 0xFF, 0x00),
        Rainbow.Blue   => new RGBColor(0x00, 0x00, 0xFF),
        Rainbow.Indigo => new RGBColor(0x4B, 0x00, 0x82),
        Rainbow.Violet => new RGBColor(0x94, 0x00, 0xD3),
        _              => throw new ArgumentException(message: "invalid enum value", paramName: nameof(colorBand)),
    };

Poniżej przedstawiono kilka ulepszeń składni:There are several syntax improvements here:

  • Zmienna jest wcześniejsza niż switch słowo kluczowe.The variable comes before the switch keyword. Inna kolejność ułatwia odróżnienie wyrażenia Switch od instrukcji switch.The different order makes it visually easy to distinguish the switch expression from the switch statement.
  • Elementy case =>i : są zamieniane na.The case and : elements are replaced with =>. Jest to bardziej zwięzłe i intuicyjne.It's more concise and intuitive.
  • Przypadek jest zastępowany _odrzuceniem. defaultThe default case is replaced with a _ discard.
  • Treść to wyrażenia, a nie instrukcje.The bodies are expressions, not statements.

Kontrast, który ma odpowiedni kod przy użyciu instrukcji switch klasycznej:Contrast that with the equivalent code using the classic switch statement:

public static RGBColor FromRainbowClassic(Rainbow colorBand)
{
    switch (colorBand)
    {
        case Rainbow.Red:
            return new RGBColor(0xFF, 0x00, 0x00);
        case Rainbow.Orange:
            return new RGBColor(0xFF, 0x7F, 0x00);
        case Rainbow.Yellow:
            return new RGBColor(0xFF, 0xFF, 0x00);
        case Rainbow.Green:
            return new RGBColor(0x00, 0xFF, 0x00);
        case Rainbow.Blue:
            return new RGBColor(0x00, 0x00, 0xFF);
        case Rainbow.Indigo:
            return new RGBColor(0x4B, 0x00, 0x82);
        case Rainbow.Violet:
            return new RGBColor(0x94, 0x00, 0xD3);
        default:
            throw new ArgumentException(message: "invalid enum value", paramName: nameof(colorBand));
    };
}

Wzorce właściwościProperty patterns

Wzorzec właściwości pozwala dopasować się do właściwości badanego obiektu.The property pattern enables you to match on properties of the object examined. Rozważmy witrynę handlu elektronicznego, która musi obliczać podatek od sprzedaży na podstawie adresu kupującego.Consider an eCommerce site that must compute sales tax based on the buyer's address. To obliczenie nie jest podstawową odpowiedzialnością Address klasy.That computation is not a core responsibility of an Address class. Zostanie ona zmieniona z upływem czasu, co prawdopodobnie częściej niż zmienia format adresu.It will change over time, likely more often than address format changes. Podatek od sprzedaży zależy State od właściwości adresu.The amount of sales tax depends on the State property of the address. Poniższa metoda używa wzorca właściwości do obliczania podatku od adresu i ceny:The following method uses the property pattern to compute the sales tax from the address and the price:

public static decimal ComputeSalesTax(Address location, decimal salePrice) =>
    location switch
    {
        { State: "WA" } => salePrice * 0.06M,
        { State: "MN" } => salePrice * 0.75M,
        { State: "MI" } => salePrice * 0.05M,
        // other cases removed for brevity...
        _ => 0M
    };

Dopasowanie wzorca tworzy zwięzłą składnię do wyrażania tego algorytmu.Pattern matching creates a concise syntax for expressing this algorithm.

Wzorce krotekTuple patterns

Niektóre algorytmy zależą od wielu danych wejściowych.Some algorithms depend on multiple inputs. Wzorce krotek umożliwiają przełączanie na podstawie wielu wartości wyrażonych jako krotka .Tuple patterns allow you to switch based on multiple values expressed as a tuple. Poniższy kod przedstawia wyrażenie Switch dla skały, papieru, nożyczków:The following code shows a switch expression for the game rock, paper, scissors:

public static string RockPaperScissors(string first, string second)
    => (first, second) switch
    {
        ("rock", "paper") => "rock is covered by paper. Paper wins.",
        ("rock", "scissors") => "rock breaks scissors. Rock wins.",
        ("paper", "rock") => "paper covers rock. Paper wins.",
        ("paper", "scissors") => "paper is cut by scissors. Scissors wins.",
        ("scissors", "rock") => "scissors is broken by rock. Rock wins.",
        ("scissors", "paper") => "scissors cuts paper. Scissors wins.",
        (_, _) => "tie"
    };

Komunikaty wskazują zwycięzcę.The messages indicate the winner. Przypadek odrzucania reprezentuje trzy kombinacje powiązań lub inne dane wejściowe tekstu.The discard case represents the three combinations for ties, or other text inputs.

Wzorce pozycyjnePositional patterns

Niektóre typy obejmują Deconstruct metodę, która dekonstrukcjauje swoje właściwości do zmiennych dyskretnych.Some types include a Deconstruct method that deconstructs its properties into discrete variables. Gdy metoda jest dostępna, można użyć wzorców pozycyjnych do inspekcji właściwości obiektu i używania tych właściwości dla wzorca. DeconstructWhen a Deconstruct method is accessible, you can use positional patterns to inspect properties of the object and use those properties for a pattern. Rozważmy następujące Point klasy, które Deconstruct obejmują metodę tworzenia zmiennych dyskretnych dla X i Y:Consider the following Point class that includes a Deconstruct method to create discrete variables for X and Y:

public class Point
{
    public int X { get; }
    public int Y { get; }

    public Point(int x, int y) => (X, Y) = (x, y);

    public void Deconstruct(out int x, out int y) =>
        (x, y) = (X, Y);
}

Dodatkowo Rozważmy następujące Wyliczenie, które reprezentuje różne położenia ćwiartki:Additionally, consider the following enum that represents various positions of a quadrant:

public enum Quadrant
{
    Unknown,
    Origin,
    One,
    Two,
    Three,
    Four,
    OnBorder
}

Poniższa metoda używa wzorca pozycyjnego do wyodrębnienia wartości x i y.The following method uses the positional pattern to extract the values of x and y. Następnie używa when klauzuli do Quadrant określenia punktu:Then, it uses a when clause to determine the Quadrant of the point:

static Quadrant GetQuadrant(Point point) => point switch
{
    (0, 0) => Quadrant.Origin,
    var (x, y) when x > 0 && y > 0 => Quadrant.One,
    var (x, y) when x < 0 && y > 0 => Quadrant.Two,
    var (x, y) when x < 0 && y < 0 => Quadrant.Three,
    var (x, y) when x > 0 && y < 0 => Quadrant.Four,
    var (_, _) => Quadrant.OnBorder,
    _ => Quadrant.Unknown
};

Odrzuć wzorzec w poprzednim przełączniku dopasowuje się x , y gdy lub ma wartość 0, ale nie oba.The discard pattern in the preceding switch matches when either x or y is 0, but not both. Wyrażenie Switch musi utworzyć wartość lub zgłosić wyjątek.A switch expression must either produce a value or throw an exception. Jeśli żaden z przypadków nie jest zgodny, wyrażenie Switch zgłasza wyjątek.If none of the cases match, the switch expression throws an exception. Kompilator generuje ostrzeżenie, jeśli nie obejmują wszystkich możliwych przypadków w wyrażeniu Switch.The compiler generates a warning for you if you do not cover all possible cases in your switch expression.

Techniki dopasowania wzorców można eksplorować w tym zaawansowanym samouczku dotyczącym dopasowania wzorców.You can explore pattern matching techniques in this advanced tutorial on pattern matching.

Korzystanie z deklaracjiusing declarations

Deklaracja using jest deklaracją zmiennej poprzedzoną using słowem kluczowym.A using declaration is a variable declaration preceded by the using keyword. Informuje kompilator, że zadeklarowana zmienna powinna zostać usunięta na końcu otaczającego zakresu.It tells the compiler that the variable being declared should be disposed at the end of the enclosing scope. Rozważmy na przykład następujący kod, który zapisuje plik tekstowy:For example, consider the following code that writes a text file:

static void WriteLinesToFile(IEnumerable<string> lines)
{
    using var file = new System.IO.StreamWriter("WriteLines2.txt");
    foreach (string line in lines)
    {
        if (!line.Contains("Second"))
        {
            file.WriteLine(line);
        }
    }
// file is disposed here
}

W poprzednim przykładzie plik jest usuwany po osiągnięciu zamykającego nawiasu klamrowego dla metody.In the preceding example, the file is disposed when the closing brace for the method is reached. To koniec zakresu, w którym file jest zadeklarowany.That's the end of the scope in which file is declared. Poprzedni kod jest odpowiednikiem poniższego kodu, który używa klasycznej instrukcji using:The preceding code is equivalent to the following code that uses the classic using statement:

static void WriteLinesToFile(IEnumerable<string> lines)
{
    using (var file = new System.IO.StreamWriter("WriteLines2.txt"))
    {
        foreach (string line in lines)
        {
            if (!line.Contains("Second"))
            {
                file.WriteLine(line);
            }
        }
    } // file is disposed here
}

W poprzednim przykładzie plik jest usuwany po osiągnięciu zamykającego nawiasu klamrowego skojarzonego using z instrukcją.In the preceding example, the file is disposed when the closing brace associated with the using statement is reached.

W obu przypadkach kompilator generuje wywołanie Dispose().In both cases, the compiler generates the call to Dispose(). Kompilator generuje błąd, jeśli wyrażenie w using instrukcji nie jest jednorazowe.The compiler generates an error if the expression in the using statement is not disposable.

Statyczne funkcje lokalneStatic local functions

Teraz można dodać static modyfikator do funkcji lokalnych, aby upewnić się, że funkcja lokalna nie przechwytuje (nie dotyczy) żadnych zmiennych z zakresu otaczającego.You can now add the static modifier to local functions to ensure that local function doesn't capture (reference) any variables from the enclosing scope. Spowoduje to wygenerowanie CS8421, "statyczna funkcja lokalna nie może zawierać odwołania <do zmiennej >".Doing so generates CS8421, "A static local function can't contain a reference to <variable>."

Rozważmy następujący kod.Consider the following code. Funkcja LocalFunction lokalna uzyskuje dostęp do zmiennej yzadeklarowanej w zakresie otaczającym (Metoda M).The local function LocalFunction accesses the variable y, declared in the enclosing scope (the method M). W związkustatic z tym niemożnazadeklarowaćLocalFunction z modyfikatorem:Therefore, LocalFunction can't be declared with the static modifier:

int M()
{
    int y;
    LocalFunction();
    return y;

    void LocalFunction() => y = 0;
}

Poniższy kod zawiera statyczną funkcję lokalną.The following code contains a static local function. Może być statyczny, ponieważ nie uzyskuje dostępu do żadnych zmiennych w otaczającym zakresie:It can be static because it doesn't access any variables in the enclosing scope:

int M()
{
    int y = 5;
    int x = 7;
    return Add(x, y);

    static int Add(int left, int right) => left + right;
}

Nierozporządzalne struktury refDisposable ref structs

Deklaracja z modyfikatorem nie może implementować żadnych interfejsów i dlatego nie może implementować IDisposable. struct refA struct declared with the ref modifier may not implement any interfaces and so cannot implement IDisposable. W związku z tym, ref struct aby można było usunąć element, musi on mieć void Dispose() dostępną metodę.Therefore, to enable a ref struct to be disposed, it must have an accessible void Dispose() method. Dotyczy to również readonly ref struct deklaracji.This also applies to readonly ref struct declarations.

Typy referencyjne dopuszczające wartość nullNullable reference types

Wewnątrz bezwartościowego kontekstu adnotacji Każda zmienna typu referencyjnego jest uważana za typ referencyjny, który nie ma wartości null.Inside a nullable annotation context, any variable of a reference type is considered to be a nonnullable reference type. Aby wskazać, że zmienna może mieć wartość null, należy dołączyć nazwę typu z, ? aby zadeklarować zmienną jako typ referencyjny dopuszczający wartość null.If you want to indicate that a variable may be null, you must append the type name with the ? to declare the variable as a nullable reference type.

W przypadku typów referencyjnych, które nie mają wartości null, kompilator używa analizy przepływu, aby upewnić się, że zmienne lokalne są inicjowane do wartości innej niż null, gdy zostanie zadeklarowana.For nonnullable reference types, the compiler uses flow analysis to ensure that local variables are initialized to a non-null value when declared. Pola muszą być inicjowane podczas konstruowania.Fields must be initialized during construction. Kompilator generuje ostrzeżenie, jeśli zmienna nie jest ustawiona przez wywołanie do któregokolwiek z dostępnych konstruktorów lub inicjatora.The compiler generates a warning if the variable is not set by a call to any of the available constructors or by an initializer. Ponadto nie można przypisać wartości, która może mieć wartość null.Furthermore, nonnullable reference types can't be assigned a value that could be null.

Typy odwołań dopuszczających wartość null nie są sprawdzane w celu zapewnienia, że nie są przypisane ani zainicjowane do wartości null.Nullable reference types aren't checked to ensure they aren't assigned or initialized to null. Jednak kompilator używa analizy przepływu, aby upewnić się, że jakakolwiek zmienna typu referencyjnego null jest sprawdzana pod kątem wartości null przed uzyskaniem dostępu lub przypisaniem do niezerowego typu odwołania.However, the compiler uses flow analysis to ensure that any variable of a nullable reference type is checked against null before it's accessed or assigned to a nonnullable reference type.

Więcej informacji na temat funkcji można znaleźć w omówieniu typów referencyjnych dopuszczających wartość null.You can learn more about the feature in the overview of nullable reference types. Wypróbuj go samodzielnie w nowej aplikacji w tym samouczku typów odwołań dopuszczających wartość null.Try it yourself in a new application in this nullable reference types tutorial. Zapoznaj się z instrukcjami dotyczącymi migracji istniejącej bazy kodu w celu użycia w samouczku Migrowanie aplikacji do korzystaniaz typów odwołań dopuszczających wartość null.Learn about the steps to migrate an existing codebase to make use of nullable reference types in the migrating an application to use nullable reference types tutorial.

Strumienie asynchroniczneAsynchronous streams

Począwszy od C# 8,0, można tworzyć strumienie i korzystać z nich asynchronicznie.Starting with C# 8.0, you can create and consume streams asynchronously. Metoda zwracająca strumień asynchroniczny ma trzy właściwości:A method that returns an asynchronous stream has three properties:

  1. Jest on zadeklarowany z async modyfikatorem.It's declared with the async modifier.
  2. Zwraca wartość IAsyncEnumerable<T>.It returns an IAsyncEnumerable<T>.
  3. Metoda zawiera yield return instrukcje do zwrócenia kolejnych elementów w strumieniu asynchronicznym.The method contains yield return statements to return successive elements in the asynchronous stream.

Użycie strumienia asynchronicznego wymaga dodania await słowa kluczowego foreach przed słowem kluczowym podczas wyliczania elementów strumienia.Consuming an asynchronous stream requires you to add the await keyword before the foreach keyword when you enumerate the elements of the stream. Dodanie słowa kluczowego wymaga metody, która wylicza strumień asynchroniczny, który ma zostać zadeklarowany async z modyfikatorem i zwraca typ dozwolony dla async metody. awaitAdding the await keyword requires the method that enumerates the asynchronous stream to be declared with the async modifier and to return a type allowed for an async method. Zwykle oznacza to zwrócenie Task lub. Task<TResult>Typically that means returning a Task or Task<TResult>. Może być ValueTask również lub ValueTask<TResult>.It can also be a ValueTask or ValueTask<TResult>. Metoda może jednocześnie zużywać i generować strumień asynchroniczny, co oznacza, że zwróci IAsyncEnumerable<T>.A method can both consume and produce an asynchronous stream, which means it would return an IAsyncEnumerable<T>. Poniższy kod generuje sekwencję z przedziału od 0 do 19, oczekującą 100 ms między generowaniem każdej liczby:The following code generates a sequence from 0 to 19, waiting 100 ms between generating each number:

public static async System.Collections.Generic.IAsyncEnumerable<int> GenerateSequence()
{
    for (int i = 0; i < 20; i++)
    {
        await Task.Delay(100);
        yield return i;
    }
}

Sekwencję można wyliczyć przy użyciu await foreach instrukcji:You would enumerate the sequence using the await foreach statement:

await foreach (var number in GenerateSequence())
{
    Console.WriteLine(number);
}

Możesz samodzielnie wypróbować strumienie asynchroniczne w naszym samouczku dotyczącym tworzenia i używania strumieni asynchronicznych.You can try asynchronous streams yourself in our tutorial on creating and consuming async streams.

Indeksy i zakresyIndices and ranges

Zakresy i indeksy zapewniają zwięzłą składnię do określania podzakresów w tablicy, Span<T>lub. ReadOnlySpan<T>Ranges and indices provide a succinct syntax for specifying subranges in an array, Span<T>, or ReadOnlySpan<T>.

Ten język obsługuje dwa nowe typy i dwa nowe operatory:This language support relies on two new types, and two new operators:

  • System.Indexreprezentuje indeks w sekwencji.System.Index represents an index into a sequence.
  • ^ Operator, który określa, że indeks jest względem końca sekwencji.The ^ operator, which specifies that an index is relative to the end of the sequence.
  • System.Rangereprezentuje Podzakres sekwencji.System.Range represents a sub range of a sequence.
  • Operator zakresu (..), który określa początek i koniec zakresu jako jego operandy.The Range operator (..), which specifies the start and end of a range as its operands.

Zacznijmy od reguł dotyczących indeksów.Let's start with the rules for indexes. Weź pod uwagę sequencetablicę.Consider an array sequence. Indeks jest taki sam jak sequence[0]. 0The 0 index is the same as sequence[0]. Indeks jest taki sam jak sequence[sequence.Length]. ^0The ^0 index is the same as sequence[sequence.Length]. Należy pamiętać sequence[^0] , że generuje wyjątek, podobnie jak sequence[sequence.Length] .Note that sequence[^0] does throw an exception, just as sequence[sequence.Length] does. Dla dowolnej liczby nindeks ^n jest taki sam jak sequence.Length - n.For any number n, the index ^n is the same as sequence.Length - n.

Zakres określa początek i koniec zakresu.A range specifies the start and end of a range. Początek zakresu jest włączony, ale koniec zakresu jest na wyłączność, co oznacza, że początek znajduje się w zakresie, ale koniec nie jest uwzględniony w zakresie.The start of the range is inclusive, but the end of the range is exclusive, meaning the start is included in the range but the end is not included in the range. Zakres [0..^0] reprezentuje cały zakres, tak jak [0..sequence.Length] reprezentuje cały zakres.The range [0..^0] represents the entire range, just as [0..sequence.Length] represents the entire range.

Przyjrzyjmy się kilku przykładom.Let's look at a few examples. Rozważmy następującą tablicę zawierającą adnotację z jej indeksem od początku i od końca:Consider the following array, annotated with its index from the start and from the end:

var words = new string[]
{
                // index from start    index from end
    "The",      // 0                   ^9
    "quick",    // 1                   ^8
    "brown",    // 2                   ^7
    "fox",      // 3                   ^6
    "jumped",   // 4                   ^5
    "over",     // 5                   ^4
    "the",      // 6                   ^3
    "lazy",     // 7                   ^2
    "dog"       // 8                   ^1
};              // 9 (or words.Length) ^0

Możesz pobrać ostatni wyraz z ^1 indeksem:You can retrieve the last word with the ^1 index:

Console.WriteLine($"The last word is {words[^1]}");
// writes "dog"

Poniższy kod tworzy Podzakres słowami "Quick", "brązowy" i "Fox".The following code creates a subrange with the words "quick", "brown", and "fox". Zawiera words[1] .words[3]It includes words[1] through words[3]. Element words[4] nie należy do zakresu.The element words[4] is not in the range.

var quickBrownFox = words[1..4];

Poniższy kod tworzy Podzakres "z opóźnieniem" i "Dog".The following code creates a subrange with "lazy" and "dog". Obejmuje words[^2] i .words[^1]It includes words[^2] and words[^1]. Indeks words[^0] końcowy nie jest uwzględniony:The end index words[^0] is not included:

var lazyDog = words[^2..^0];

W poniższych przykładach zostały utworzone zakresy, które są otwarte dla początku, końca lub obu:The following examples create ranges that are open ended for the start, end, or both:

var allWords = words[..]; // contains "The" through "dog".
var firstPhrase = words[..4]; // contains "The" through "fox"
var lastPhrase = words[6..]; // contains "the", "lazy" and "dog"

Można również zadeklarować zakresy jako zmienne:You can also declare ranges as variables:

Range phrase = 1..4;

Zakres może być następnie używany wewnątrz [ znaków i: ]The range can then be used inside the [ and ] characters:

var text = words[phrase];

Więcej informacji o indeksach i zakresach można dowiedzieć się w samouczku dotyczącym indeksów i zakresów.You can explore more about indices and ranges in the tutorial on indices and ranges.

Przypisanie do łączenia o wartości nullNull-coalescing assignment

C#8,0 wprowadza operator ??=przypisania łączenia wartości null.C# 8.0 introduces the null-coalescing assignment operator ??=. ??= Operatora można używać do przypisywania wartości operandu po prawej stronie do jego operandu po lewej stronie tylko wtedy, gdy argument operacji po lewej stronie jest obliczany null.You can use the ??= operator to assign the value of its right-hand operand to its left-hand operand only if the left-hand operand evaluates to null.

List<int> numbers = null;
int? i = null;

numbers ??= new List<int>();
numbers.Add(i ??= 17);
numbers.Add(i ??= 20);

Console.WriteLine(string.Join(' ', numbers));  // output: 17 17
Console.WriteLine(i);  // output: 17

Aby uzyskać więcej informacji, zobacz ? = — artykuł.For more information, see the ?? and ??= operators article.

Niezarządzane typy skonstruowaneUnmanaged constructed types

W C# 7,3 i starszych, typ skonstruowany (typ, który zawiera co najmniej jeden argument typu) nie może być typem niezarządzanym.In C# 7.3 and earlier, a constructed type (a type that includes at least one type argument) cannot be an unmanaged type. Począwszy od C# 8,0, skonstruowany typ wartości jest niezarządzany, jeśli zawiera pola tylko typów niezarządzanych.Starting with C# 8.0, a constructed value type is unmanaged if it contains fields of unmanaged types only.

Na przykład, uwzględniając następującą definicję typu ogólnego Coords<T> :For example, given the following definition of the generic Coords<T> type:

public struct Coords<T>
{
    public T X;
    public T Y;
}

Typ jest typem niezarządzanym w C# 8,0 i nowszych. Coords<int>the Coords<int> type is an unmanaged type in C# 8.0 and later. Podobnie jak w przypadku dowolnego typu niezarządzanego, można utworzyć wskaźnik do zmiennej tego typu lub przydzielić blok pamięci na stosie dla wystąpień tego typu:Like for any unmanaged type, you can create a pointer to a variable of this type or allocate a block of memory on the stack for instances of this type:

Span<Coords<int>> coordinates = stackalloc[]
{
    new Coords<int> { X = 0, Y = 0 },
    new Coords<int> { X = 0, Y = 3 },
    new Coords<int> { X = 4, Y = 0 }
};

Aby uzyskać więcej informacji, zobacz typy niezarządzane.For more information, see Unmanaged types.

Ulepszenie interpolowanych ciągów VerbatimEnhancement of interpolated verbatim strings

@$"..." $@"..." Kolejność tokenów @iw interpolowanych ciągach Verbatim może być dowolna: oba i są prawidłowymi interpolowanymi ciągami Verbatim. $Order of the $ and @ tokens in interpolated verbatim strings can be any: both $@"..." and @$"..." are valid interpolated verbatim strings. We wcześniejszych C# wersjach $ token @ musi znajdować się przed tokenem.In earlier C# versions, the $ token must appear before the @ token.