Современный C#

При включённом nullable string? объявляет ссылку, которая может держать null, а простой string компилятор считает никогда не null. Разыменование возможно-null значения без проверки даёт предупреждение (CS8602), как и присваивание null не-nullable ссылке.

Один раз. Null-условный оператор вычисляет получателя единожды и на null замыкается накоротко: не выполняется ничто — ни getter, ни setter, ни GetOrder(). Когда получатель не null, составное присваивание читает через get один раз и пишет через set один раз.

{ get; set; } — автосвойство: компилятор создаёт скрытое поле-хранилище, а аксессоры пишут в него и читают из него. Свойство с телом-выражением => expr объявляет только get, поля не создаёт и вычисляет выражение заново при каждом чтении. Обе формы компилируются в методы-аксессоры.

is null — константный шаблон: компилятор сводит его к прямому сравнению ссылок и никогда не вызывает пользовательский operator ==. x == null вызывает эту перегрузку, если тип её объявил, поэтому может ответить иначе или даже бросить исключение. is not null — отрицающая форма.

Raw string literal ограничен тремя или более двойными кавычками и не требует экранирования: кавычки, слэши и скобки остаются буквальными, поэтому JSON, регулярка и SQL читаются как есть. В многострочном литерале отступ закрывающего ограничителя срезается с каждой строки.

Target-typed new() берёт тип из цели присваивания, а не из аргументов, поэтому его можно опустить везде, где тип цели известен: поле, локальная переменная, параметр, возврат. Если выводить не из чего — var x = new(); — это ошибка компиляции.

Начиная с C# 9 точку входа можно писать голыми операторами в начале одного файла, без класса и без метода Main. Компилятор сам генерирует вокруг них класс Program и его Main. Внутри доступны args и await, а использовать их может лишь один файл проекта.

C# 14 разрешает ?. и ?[] слева от присваивания и составного присваивания. Когда customer равен null, присваивание пропускается, а правая часть не вычисляется, поэтому GetOrder() не вызывается. customer?.Order++ остаётся ошибкой компиляции.

В рантайме не проверяется ничего: аннотации — метаданные, проверок на null не генерируется, IL не меняется. На компиляции анализ потока отслеживает null-состояние и выдаёт предупреждения, а не ошибки, поэтому null приходит из неаннотированных библиотек или через !.

Коллекционное выражение типизируется по цели: [1, 2, 3] станет массивом, List<T>, Span<T> или типом с CollectionBuilder — тем, что требует цель, — а компилятор выберет способ построения. Спред ..other вставляет элементы коллекции на место.

Блок extension(Receiver r) в статическом классе называет получателя один раз и может объявлять extension-свойства, статические члены и операторы — не только методы экземпляра. Классические методы с this работают, и состояние не добавляет ни одна форма.

field называет синтезированное компилятором backing-поле объявляемого свойства, поэтому один аксессор несёт логику, пока второй остаётся авто-реализованным. Работает в get, set и init. Слово контекстное, поэтому может затенить переменную с именем field.

Внутри аксессора свойства field теперь связывается с backing-полем от компилятора, поэтому существующий код с идентификатором field в области видимости может сменить смысл или перестать компилироваться. Экранируйте его как @field, а поле класса уточните через this.field.

C# 14 делает конверсии span языковыми, поэтому они работают для получателей extension-методов и вывода типов. Они только расширяют — T[] → Span<T>/ReadOnlySpan<T>, Span<T> → ReadOnlySpan<T>, string → ReadOnlySpan<char> — и никогда обратно в Span<T> или T[].

Две половины: интерфейсы System.Numerics из .NET 7 — прежде всего INumber<T> — абстрагируют операторы, а static abstract-члены интерфейса из C# 11 позволяют их потребовать. Вместе один обобщённый метод с ограничением INumber<T> суммирует любой числовой T.

Source-генератор работает внутри компилятора и выдаёт обычный C#: код сериализатора — настоящий анализируемый исходник, метаданные при старте не строятся. Рефлексия узнаёт типы в рантайме, поэтому триммер не видит, что используется, а AOT нечего компилировать.