Новые возможности C# 8.0What's new in C# 8.0

В C# 8.0 добавлены следующие функции и улучшения языка C#:C# 8.0 adds the following features and enhancements to the C# language:

В остальных разделах этой статьи кратко описываются эти возможности.The remainder of this article briefly describes these features. Здесь приведены ссылки на эти подробные руководства и обзоры (если они доступны).Where in-depth articles are available, links to those tutorials and overviews are provided. Эти функции можно изучить в своей среде с помощью глобального средства dotnet try:You can explore these features in your environment using the dotnet try global tool:

  1. Установите глобальное средство dotnet-try.Install the dotnet-try global tool.
  2. Клонируйте репозиторий dotnet/try-samples.Clone the dotnet/try-samples repository.
  3. Для репозитория try-samples установите в качестве текущего каталога подкаталог csharp8.Set the current directory to the csharp8 subdirectory for the try-samples repository.
  4. Запустите dotnet try.Run dotnet try.

Члены только для чтенияReadonly members

Модификатор readonly можно применить к любому члену структуры.You can apply the readonly modifier to any member of a struct. Он означает, что член не изменяет состояние.It indicates that the member does not modify state. Это более детализированный способ, чем применение модификатора readonly в объявлении struct.It's more granular than applying the readonly modifier to a struct declaration. Рассмотрим следующую изменяемую структуру: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";
}

Как и большинство структур, метод ToString() не изменяет состояние.Like most structs, the ToString() method does not modify state. Это можно указать, добавив модификатор readonly в объявление ToString():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";

Предыдущее изменение создает предупреждение компилятора, так как ToString обращается к свойству Distance, которое не помечено как readonly: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'

Компилятор выдает предупреждение, когда ему требуется создать защитную копию.The compiler warns you when it needs to create a defensive copy. Свойство Distance не изменяет состояние, поэтому вы можете устранить это предупреждение, добавив модификатор readonly в объявление:The 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);

Обратите внимание, что модификатор readonly необходим для свойства только для чтения.Notice that the readonly modifier is necessary on a read only property. Компилятор не предполагает, что методы доступа get не изменяют состояние: readonly необходимо объявить явно.The compiler doesn't assume get accessors do not modify state; you must declare readonly explicitly. Компилятор применяет правило о том, что члены readonly не изменяют состояние.The compiler does enforce the rule that readonly members do not modify state. Следующий метод не будет компилироваться, если не удален модификатор readonly:The following method will not compile unless you remove the readonly modifier:

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

Эта функция позволяет указать намерение вашего проекта, чтобы компилятор мог применить его и выполнить оптимизацию на основе намерения.This feature lets you specify your design intent so the compiler can enforce it, and make optimizations based on that intent.

Методы интерфейса по умолчаниюDefault interface methods

Теперь вы можете добавлять члены в интерфейсы и предоставлять реализацию для этих членов.You can now add members to interfaces and provide an implementation for those members. Эта возможность языка позволяет разработчикам API добавлять методы в интерфейс в более поздних версиях, не нарушая исходный код или совместимость на уровне двоичного кода с существующими реализациями этого интерфейса.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. Существующие реализации наследуют реализацию по умолчанию.Existing implementations inherit the default implementation. Эта функция также позволяет C# взаимодействовать с API-интерфейсами, предназначенными для Android или Swift, которые поддерживают аналогичные функциональные возможности.This feature also enables C# to interoperate with APIs that target Android or Swift, which support similar features. Методы интерфейса по умолчанию также поддерживают сценарии, аналогичные функции языка "признаки".Default interface methods also enable scenarios similar to a "traits" language feature.

Методы интерфейса по умолчанию влияют на многие сценарии и элементы языка.Default interface methods affects many scenarios and language elements. В нашем первом учебнике рассматривается изменение интерфейса с помощью реализаций по умолчанию.Our first tutorial covers updating an interface with default implementations. Выпуск общедоступных версий обновлений других руководств и справочника ожидается в ближайшее время.Other tutorials and reference updates are coming in time for general release.

Дополнительные шаблоны в нескольких расположенияхMore patterns in more places

Возможность сопоставления шаблонов позволяет работать с шаблонами в зависимости от формата в связанных, но различных типах данных.Pattern matching gives tools to provide shape-dependent functionality across related but different kinds of data. В C# 7.0 появился синтаксис для шаблонов типа и шаблонов константы, использующий выражение is и инструкцию switch.C# 7.0 introduced syntax for type patterns and constant patterns by using the is expression and the switch statement. Эти функции представляют первые пробные шаги на пути к поддержке парадигм программирования, где данные и функции разделены.These features represented the first tentative steps toward supporting programming paradigms where data and functionality live apart. По мере того как отрасль переходит на использование микрослужб и других облачных архитектур, необходимы также средства других языков.As the industry moves toward more microservices and other cloud-based architectures, other language tools are needed.

В C# 8.0 расширены эти возможности, так что вы можете использовать дополнительные выражения шаблонов в нескольких расположениях в коде.C# 8.0 expands this vocabulary so you can use more pattern expressions in more places in your code. Учитывайте эти функции, когда данные и функциональные возможности представлены отдельно.Consider these features when your data and functionality are separate. Рассмотрите возможность сопоставления шаблонов, когда алгоритмы зависят от фактов, отличных от типа среды выполнения объекта.Consider pattern matching when your algorithms depend on a fact other than the runtime type of an object. Эти методы предоставляют другой способ выражения проектов.These techniques provide another way to express designs.

Помимо новых шаблонов в новых расположениях, в C# 8.0 добавлены рекурсивные шаблоны.In addition to new patterns in new places, C# 8.0 adds recursive patterns. Результат выражения любого шаблона — это выражение языка.The result of any pattern expression is an expression. Рекурсивный шаблон является просто выражением шаблона, которое применяется к результатам другого выражения шаблона.A recursive pattern is simply a pattern expression applied to the output of another pattern expression.

Выражения switchswitch expressions

Часто инструкция switch возвращает значение в каждом из блоков case.Often, a switch statement produces a value in each of its case blocks. Выражения switch позволяет использовать более краткий синтаксис выражения.Switch expressions enable you to use more concise expression syntax. В нем меньше повторяющихся ключевых слов case и break, а также меньше фигурных скобок.There are fewer repetitive case and break keywords, and fewer curly braces. Например, рассмотрим следующее перечисление, которое выводит список цветов радуги:As an example, consider the following enum that lists the colors of the rainbow:

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

Если для приложения определен тип RGBColor, который создается на основе компонентов R, G и B, вы можете преобразовать значение Rainbow в RGB-значение, используя следующий метод, содержащий выражение 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)),
    };

Здесь представлено несколько улучшений синтаксиса:There are several syntax improvements here:

  • Переменная расположена перед ключевым словом switch.The variable comes before the switch keyword. Другой порядок позволяет визуально легко отличить выражение switch от инструкции switch.The different order makes it visually easy to distinguish the switch expression from the switch statement.
  • Элементы case и : заменяются на =>.The case and : elements are replaced with =>. Это более лаконично и интуитивно понятно.It's more concise and intuitive.
  • Случай default заменяется пустой переменной _.The default case is replaced with a _ discard.
  • Тексты являются выражениями, а не инструкциями.The bodies are expressions, not statements.

Сравните это с эквивалентным кодом, где используется классическая инструкция switch: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));
    };
}

Шаблоны свойствProperty patterns

Шаблон свойств позволяет сопоставлять свойства исследуемого объекта.The property pattern enables you to match on properties of the object examined. Рассмотрим сайт электронной коммерции, на котором должен вычисляться налог с продаж по адресу покупателя.Consider an eCommerce site that must compute sales tax based on the buyer's address. Это вычисление не является основной задачей класса Address.That computation is not a core responsibility of an Address class. Оно меняется со временем и, скорее всего, чаще, чем изменения формата адреса.It will change over time, likely more often than address format changes. Сумма налога с продаж зависит от свойства State адреса.The amount of sales tax depends on the State property of the address. В следующем методе используется шаблон свойства для вычисления налога с продаж по адресу и цене: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
    };

При сопоставлении шаблонов создается сокращенный синтаксис для выражения этого алгоритма.Pattern matching creates a concise syntax for expressing this algorithm.

Шаблоны кортежейTuple patterns

Некоторые алгоритмы зависят от нескольких наборов входных данных.Some algorithms depend on multiple inputs. Шаблоны кортежей позволяют переключаться между несколькими значениями, выраженными как кортежи.Tuple patterns allow you to switch based on multiple values expressed as a tuple. В следующем примере кода показано выражение switch для игры камень, ножницы, бумага: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"
    };

В сообщении указан победитель.The messages indicate the winner. В случае отклонения представляются три комбинации, ведущие к ничьей, или другие текстовые входные данные.The discard case represents the three combinations for ties, or other text inputs.

Позиционные шаблоныPositional patterns

Некоторые типы включают метод Deconstruct, свойства которого деконструируются на дискретные переменные.Some types include a Deconstruct method that deconstructs its properties into discrete variables. Если метод Deconstruct доступен, можно использовать позиционные шаблоны для проверки свойств объекта и использовать эти свойства для шаблона.When a Deconstruct method is accessible, you can use positional patterns to inspect properties of the object and use those properties for a pattern. Рассмотрим следующий класс Point, который содержит метод Deconstruct для создания дискретных переменных для X и 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);
}

Кроме того, нужно учитывать следующее перечисление, представляющее различные позиции квадранта:Additionally, consider the following enum that represents various positions of a quadrant:

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

В следующем методе используется позиционный шаблон для извлечения значений x и y.The following method uses the positional pattern to extract the values of x and y. Затем используется предложение when для определения Quadrant точки: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
};

Шаблон пустой переменной в предыдущем операторе switch совпадает с выражением, если x или y, но не оба, имеет значение 0.The discard pattern in the preceding switch matches when either x or y is 0, but not both. Выражение switch должно создавать значение или исключение.A switch expression must either produce a value or throw an exception. Если ни один из вариантов не совпадает, выражение switch создает исключение.If none of the cases match, the switch expression throws an exception. Компилятор создает предупреждение, если в выражении switch не охватываются все возможные случаи.The compiler generates a warning for you if you do not cover all possible cases in your switch expression.

Ознакомиться с методами сопоставления шаблонов можно в этом подробном учебнике.You can explore pattern matching techniques in this advanced tutorial on pattern matching.

Объявления usingusing declarations

Объявление using — это объявление переменной, которому предшествует ключевое слово using.A using declaration is a variable declaration preceded by the using keyword. Оно сообщает компилятору, что объявляемая переменная должна быть удалена в конце области видимости.It tells the compiler that the variable being declared should be disposed at the end of the enclosing scope. Для примера рассмотрим следующий код, в котором записывается текстовый файл: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
}

В приведенном выше примере файл удаляется при достижении закрывающей фигурной скобки метода.In the preceding example, the file is disposed when the closing brace for the method is reached. Это конец области, в котором объявляется file.That's the end of the scope in which file is declared. Приведенный выше код эквивалентен следующему коду, в котором используется классическая инструкция 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
}

В приведенном выше примере файл удаляется при достижении закрывающей фигурной скобки, связанной с инструкцией using.In the preceding example, the file is disposed when the closing brace associated with the using statement is reached.

В обоих случаях компилятор создает вызов метода Dispose().In both cases, the compiler generates the call to Dispose(). Компилятор создает ошибку, если выражение в инструкции using нельзя удалить.The compiler generates an error if the expression in the using statement is not disposable.

Статические локальные функцииStatic local functions

Теперь вы можете добавить модификатор static для локальных функций, чтобы убедиться, что локальная функция не захватывает (не ссылается на) какие-либо переменные из области видимости.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. Это приводит к возникновению ошибки CS8421: "A static local function can't contain a reference to <variable>" (Статическая локальная функция не может содержать ссылку на <переменная>).Doing so generates CS8421, "A static local function can't contain a reference to <variable>."

Рассмотрим следующий код.Consider the following code. Локальная функция LocalFunction обращается к переменной y, объявленной в области видимости (метод M).The local function LocalFunction accesses the variable y, declared in the enclosing scope (the method M). Таким образом LocalFunction не может объявляться с помощью модификатора static:Therefore, LocalFunction can't be declared with the static modifier:

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

    void LocalFunction() => y = 0;
}

Следующий код содержит статическую локальную функцию.The following code contains a static local function. Она может быть статической, так как она не обращается ко всем переменным в области видимости: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;
}

Удаляемые ссылочные структурыDisposable ref structs

Объект struct, объявленный с помощью модификатора ref, не может реализовывать интерфейсы и поэтому не может реализовать IDisposable.A struct declared with the ref modifier may not implement any interfaces and so cannot implement IDisposable. Таким образом, чтобы объект ref struct можно было удалить, у него должен быть доступный метод void Dispose().Therefore, to enable a ref struct to be disposed, it must have an accessible void Dispose() method. Это также относится к объявлениям readonly ref struct.This also applies to readonly ref struct declarations.

Ссылочные типы, допускающие значение nullNullable reference types

Внутри контекста заметок, допускающих значение null, любая переменная ссылочного типа считается переменной ссылочного типа, не допускающего значения null.Inside a nullable annotation context, any variable of a reference type is considered to be a nonnullable reference type. Если вы хотите указать, что переменная может принимать значение null, необходимо добавить к имени типа ?, чтобы объявить переменную как переменную ссылочного типа, допускающего значения 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.

Для ссылочных типов, не допускающих значение null, компилятор использует анализ потока, чтобы убедиться, что локальные переменные инициализируются в значение, отличное от null, при объявлении.For nonnullable reference types, the compiler uses flow analysis to ensure that local variables are initialized to a non-null value when declared. Поля должны быть инициализированы во время построения.Fields must be initialized during construction. Компилятор создает предупреждение, если переменная не задана с помощью вызова любого из доступных конструкторов или с помощью инициализатора.The compiler generates a warning if the variable is not set by a call to any of the available constructors or by an initializer. Кроме того, ссылочным типам, не допускающим значение null, нельзя задать значение, которое может быть null.Furthermore, nonnullable reference types can't be assigned a value that could be null.

Ссылочные типы, допускающие значение null, не проверяются на предмет того, назначено ли им значение null или получили ли они его после инициализации.Nullable reference types aren't checked to ensure they aren't assigned or initialized to null. Тем не менее, компилятор использует анализ потока, чтобы убедиться, что любая переменная ссылочного типа, допускающего значение null, проверяется на наличие значения null, прежде чем обратиться к ней или назначить ей ссылочный тип, не допускающий значение null.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.

Дополнительные сведения о функции см. в обзоре ссылочных типов, допускающих значение null.You can learn more about the feature in the overview of nullable reference types. Попробуйте самостоятельно применить эту возможность в новом приложении в этом руководстве по ссылочным типам, допускающим значение null.Try it yourself in a new application in this nullable reference types tutorial. Дополнительные сведения о шагах переноса существующей базы кода для использования ссылочных типов, допускающих значение 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.

Асинхронные потокиAsynchronous streams

Начиная с C# версии 8.0 можно создавать и использовать потоки асинхронно.Starting with C# 8.0, you can create and consume streams asynchronously. В методе, который возвращает асинхронный поток, есть три свойства:A method that returns an asynchronous stream has three properties:

  1. Он объявлен с помощью модификатора async.It's declared with the async modifier.
  2. Он возвращает интерфейс IAsyncEnumerable<T>.It returns an IAsyncEnumerable<T>.
  3. Метод содержит инструкции yield return для возвращения последовательных элементов в асинхронном потоке.The method contains yield return statements to return successive elements in the asynchronous stream.

Для использования асинхронного потока требуется добавить ключевое слово await перед ключевым словом foreach при перечислении элементов потока.Consuming an asynchronous stream requires you to add the await keyword before the foreach keyword when you enumerate the elements of the stream. Для добавления ключевого слова await требуется, чтобы метод, который перечисляет асинхронный поток, был объявлен с помощью модификатора async и возвращал тип, допустимый для метода async.Adding 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. Обычно это означает возвращение структуры Task или Task<TResult>.Typically that means returning a Task or Task<TResult>. Это также может быть структура ValueTask или ValueTask<TResult>.It can also be a ValueTask or ValueTask<TResult>. Метод может использовать и создавать асинхронный поток. Это означает, что будет возвращен интерфейс IAsyncEnumerable<T>.A method can both consume and produce an asynchronous stream, which means it would return an IAsyncEnumerable<T>. Следующий код создает последовательность чисел от 0 до 19 с интервалом 100 мс между генерированием каждого числа: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;
    }
}

Вы бы перечислили последовательность с использованием инструкции await foreach:You would enumerate the sequence using the await foreach statement:

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

Вы можете попробовать асинхронные потоки самостоятельно в нашем руководстве по созданию и использованию асинхронных потоков.You can try asynchronous streams yourself in our tutorial on creating and consuming async streams.

Индексы и диапазоныIndices and ranges

Диапазоны и индексы обеспечивают лаконичный синтаксис для доступа к отдельным элементам или диапазонам в последовательности.Indices and ranges provide a succinct syntax for accessing single elements or ranges in a sequence.

Поддержка языков опирается на два новых типа и два новых оператора:This language support relies on two new types, and two new operators:

  • System.Index представляет индекс в последовательности.System.Index represents an index into a sequence.
  • Оператор ^ (индекс с конца), который указывает, что индекс указан относительно конца последовательности.The index from end operator ^, which specifies that an index is relative to the end of the sequence.
  • System.Range представляет вложенный диапазон последовательности.System.Range represents a sub range of a sequence.
  • Оператор диапазона .., который задает начало и конец диапазона в качестве своих операндов.The range operator .., which specifies the start and end of a range as its operands.

Начнем с правил для использования в индексах.Let's start with the rules for indexes. Рассмотрим массив sequence.Consider an array sequence. Индекс 0 совпадает с sequence[0].The 0 index is the same as sequence[0]. Индекс ^0 совпадает с sequence[sequence.Length].The ^0 index is the same as sequence[sequence.Length]. Обратите внимание, что sequence[^0] создает исключение так же, как и sequence[sequence.Length].Note that sequence[^0] does throw an exception, just as sequence[sequence.Length] does. Для любого числа n индекс ^n совпадает с sequence.Length - n.For any number n, the index ^n is the same as sequence.Length - n.

Диапазон указывает начало и конец диапазона.A range specifies the start and end of a range. Начало диапазона включается, а окончание — исключается, то есть start входит в диапазон, а end — не входит.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. Диапазон [0..^0] представляет весь диапазон так же, как [0..sequence.Length] представляет весь диапазон.The range [0..^0] represents the entire range, just as [0..sequence.Length] represents the entire range.

Рассмотрим несколько примеров.Let's look at a few examples. Обратите внимание на следующий массив, который помечен индексом от начала и от конца: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

Вы можете получить последнее слово с помощью индекса ^1:You can retrieve the last word with the ^1 index:

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

Следующий код создает поддиапазон со словами "quick", "brown" и "fox".The following code creates a subrange with the words "quick", "brown", and "fox". Он включает в себя элементы от words[1] до words[3].It includes words[1] through words[3]. Элемент words[4] находится вне диапазона.The element words[4] is not in the range.

var quickBrownFox = words[1..4];

Следующий код создает поддиапазон со словами "lazy" и "dog".The following code creates a subrange with "lazy" and "dog". Он включает элементы words[^2] и words[^1].It includes words[^2] and words[^1]. Конечный индекс words[^0] не включен:The end index words[^0] is not included:

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

В следующих примерах создаются диапазоны, которые должны быть открыты для начала, конца или в обоих случаях: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"

Вы также можете объявить диапазоны как переменные:You can also declare ranges as variables:

Range phrase = 1..4;

Затем вы можете использовать диапазон внутри символов [ и ]:The range can then be used inside the [ and ] characters:

var text = words[phrase];

Индексы и диапазоны поддерживаются не только массивами.Not only arrays support indices and ranges. Кроме того, можно использовать индексы и диапазоны со строкой (Span<T> или ReadOnlySpan<T>).You also can use indices and ranges with string, Span<T>, or ReadOnlySpan<T>. Дополнительные сведения см. в разделе Поддержка типа для индексов и диапазонов.For more information, see Type support for indices and ranges.

Вы можете изучить сведения об индексах и диапазонах адресов в руководстве Индексы и диапазоны.You can explore more about indices and ranges in the tutorial on indices and ranges.

Присваивание объединения со значением NULLNull-coalescing assignment

В C# 8.0 появился оператор присваивания объединения со значением NULL ??=.C# 8.0 introduces the null-coalescing assignment operator ??=. Оператор ??= можно использовать для присваивания значения правого операнда левому операнду только в том случае, если левый операнд принимает значение 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

Дополнительные сведения см. в статье Операторы ?? и ??=.For more information, see the ?? and ??= operators article.

Неуправляемые сконструированные типыUnmanaged constructed types

В C# 7.3 и более ранних версиях сконструированный тип (тип, содержащий по крайней мере один аргумент типа) не может быть неуправляемым типом.In C# 7.3 and earlier, a constructed type (a type that includes at least one type argument) cannot be an unmanaged type. Начиная с C# 8.0, сконструированный тип значения является неуправляемым, если он содержит поля исключительно неуправляемых типов.Starting with C# 8.0, a constructed value type is unmanaged if it contains fields of unmanaged types only.

Например, при наличии следующего определения универсального типа Coords<T>:For example, given the following definition of the generic Coords<T> type:

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

тип Coords<int> является неуправляемым в C# 8.0 и более поздних версиях.the Coords<int> type is an unmanaged type in C# 8.0 and later. Как и для любого неуправляемого типа, вы можете создать указатель на переменную этого типа или выделить блок памяти в стеке для экземпляров этого типа: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 }
};

Дополнительные сведения см. в разделе Неуправляемые типы.For more information, see Unmanaged types.

Выражение stackalloc во вложенных выраженияхstackalloc in nested expressions

Начиная с C# 8.0, если результат выражения stackalloc имеет тип System.Span<T> или System.ReadOnlySpan<T>, можно использовать выражение stackalloc в других выражениях:Starting with C# 8.0, if the result of a stackalloc expression is of the System.Span<T> or System.ReadOnlySpan<T> type, you can use the stackalloc expression in other expressions:

Span<int> numbers = stackalloc[] { 1, 2, 3, 4, 5, 6 };
var ind = numbers.IndexOfAny(stackalloc[] { 2, 4, 6 ,8 });
Console.WriteLine(ind);  // output: 1

Улучшение интерполированных строк verbatimEnhancement of interpolated verbatim strings

Порядок маркеров $ и @ в интерполированных строках verbatim может быть любым: и $@"...", и @$"..." являются допустимыми интерполированными строками verbatim.Order of the $ and @ tokens in interpolated verbatim strings can be any: both $@"..." and @$"..." are valid interpolated verbatim strings. В более ранних версиях C# маркер$ должен располагаться перед маркером @.In earlier C# versions, the $ token must appear before the @ token.