Что нового в Unity 6? Обзор нововведений и ошибок в исходном коде

Наконец, состоялся релиз Unity 6! Разработчики называют эту версию самой стабильной версией за всё время существования движка. Почему бы нам не убедиться в этом с помощью статического анализатора кода? А заодно проведём краткий обзор основных фич и улучшений, привнесённых обновлением.

Unity 6 — это глобальное обновление, нацеленное на улучшение производительности и стабильности движка, но далеко не ограничивающееся этим. Улучшения затронули самые разные аспекты: инструментарий мультиплеера, систему освещения, рендеринг, постобработку, XR-инструментарий, некоторые визуальные эффекты и пр. Отдельно хочу отметить, что была добавлена система для интеграции нейросетей.

Хотя preview-версия Unity 6 уже была доступна с 15 мая 2024 года, возможно вы, как и я, лишь недавно заинтересовались что же особенного в этом обновлении. Поэтому в первой части статьи я хочу провести краткий обзор наиболее значительных, на мой взгляд, улучшений, но не буду сильно углубляться в детали. Вместо этого я поделюсь ссылками, по которым вы сможете получить больше информации.

Во второй части статьи вы сможете испытать свои навыки анализа кода и попробовать отыскать потенциальные ошибки в нескольких фрагментах кода, найденных статическим анализатором в Open Source части движка. Такая тренировка — хорошая возможность научиться на чужих ошибках и минимизировать вероятность их допущения в собственном коде.

Приятного чтения!

Итак, давайте узнаем, что же команда Unity приготовила для нас на этот раз.

Добавлен фреймворк Sentis. Он позволяет интегрировать предварительно обученные модели нейронных сетей в среду выполнения и использовать их для реализации таких функций как распознавание речи и объектов, создания интеллектуальных NPC и т. д.

· Новый пакет Multiplayer Center. Представляет отправную точку для создания многопользовательской игры. Он рекомендует пакеты для мультиплеера в зависимости от заданных параметров игры и предоставляет доступ к соответствующим примерам и руководствам.

· Добавлен Multiplayer Play Mode. Позволяет моделировать до 4-х игроков прямо из редактора Unity.

· В пакет Netcode for GameObjects добавлена поддержка Distributed authority topologies. А в пакет Multiplayer Tools добавлен новый инструмент Network scene visualization, который, помимо прочего, должен помочь в отладке проектов, использующих новую топологию.

· Добавлен пакет для поддержки разработки игр и приложений на платформе выделенного сервера.

· Новая система рендеринга GPU Resident Drawer. Эффективность этой системы напрямую зависит от среднего количества экземпляров объектов в сцене. Чем больше в сцене экземпляров одних и тех же объектов (например, растительности, созданной с помощью SpeedTree) — тем больше польза. Данная система имеет ряд технических ограничений. Например, она оптимизирует рендеринг только экземпляров объектов со статическими сетками. Следовательно, она не будет работать в случае экземпляров систем частиц и прочих эффектов.

· Новая функция GPU Occlusion Culling. Данная функция выполняет исключение из рендеринга полностью затенённых объектов на GPU вместо CPU.

· Новая функция Foveated Rendering. Уменьшает нагрузку графического процессора в XR-проектах за счёт снижения детализации в периферийном зрении пользователя. Имеет два режима:

o Fixed foveated — рендеринг центральной области дисплея для каждого глаза с максимальным разрешением и снижение разрешения на периферии;

o Gaze-based foveated — в этом режиме используется отслеживание глаз для определения области экрана с максимальным разрешением.

· Уменьшение нагрузки на GPU за счёт внедрения автоматического объединения этапов рендеринга в Render Graph. Также GPU можно оптимизировать с помощью создания собственных этапов и проходов между ними. Стоит также отметить, что теперь Render Graph доступен не только в HDRP, но и в URP.

· Улучшена визуализация неба для заката и восхода солнца в HDRP. Добавлены эффекты озонового слоя и рассеивания в атмосфере в дополнение к туману на больших расстояниях;

· Улучшена визуализация воды (в HDRP) посредством добавления эффекта подводного объёмного тумана.

· Были внесены важные улучшения в XR-инструментарий;

· Редактор Unity 6, в отличии от предыдущих версий, теперь работает на устройствах Windows на базе Arm;

· Улучшено окно сборки, были добавлены новые профили сборки;

· Были внесены улучшения, связанные с освещением. В частности, был добавлен новый способ создания глобального освещения;

· Исправлены основные известные проблемы, а также внесены некоторые улучшения в Shader Graph.

Перечисленные здесь изменения показались мне основными, но это вовсе не полный список. Более полный список улучшений, а также их подробное описание вы можете найти здесь.

Теперь, когда мы познакомились с положительными изменениями, настало время узнать не появились ли вместе с обновлением новые ошибки в исходном коде движка.

Итак, вооружившись анализатором кода PVS-Studio, я исследовал C#-часть наиболее актуальной на момент написания статьи версии движка (6000.0.21f1) и нашёл несколько интересных как потенциальных, так и явных ошибок. Однако вместо того, чтобы просто описать вам их я бы хотел предложить вам испытать свои силы в роли статического анализатора кода. Попробуйте отыскать по одной ошибке в приведённых фрагментах кода и придумать способы их исправления. Под каждым из фрагментов есть полный ответ, с помощью которого вы можете проверить своё предположение.

Да начнутся голодные игры и пусть программистская смекалка всегда будет с вами! Кстати, будет круто, если вы поделитесь результатами в комментариях :)

Первое испытание

Ответ:

Сообщение анализатора:

V3005. The 'this.defaultHasBeenPrevented' variable is assigned to itself. EventDebuggerTrace.cs 42.

По какой-то причине при инициализации свойство defaultHasBeenPrevented присваивается само себе. Так как у свойства отсутствует сеттер, его значение больше никогда не изменится и всегда будет равно значению по умолчанию — false.

Возможное исправление: добавить в конструктор новый параметр для инициализации свойства.

Слишком просто? Будем считать это разминкой, посмотрим, как вы справитесь дальше!

Второе испытание

Ответ:

Сообщение анализатора:

V3095. The 'sprite' object was used before it was verified against null. Check lines: 310, 312. TextGeneratorParsing.cs 310.

Переменная sprite разыменовывается прямо перед проверкой на null:

В случае если sprite действительно окажется равным null, это неизбежно приведёт к исключению. Вероятно, при добавлении строк c разыменованием в метод не обратили внимание на важность порядка выполнения операций. Таким образом, избежать проблемы можно, если перенести разыменования под проверку на null:

Третье испытание

Ответ:

Сообщение анализатора:

V3001. There are identical sub-expressions to the left and to the right of the '&&' operator. StyleSheetApplicator.cs 169.

Анализатор подсказывает, что в одном из условий через оператор && выполняются два одинаковых выражения:

Здесь явно допущена ошибка. Более того очевидно и её исправление. Обратите внимание на остальной код. В нём повсеместно выполняются аналогичные операции сначала с использованием val1, а потом с использованием val2. Например, следующее за рассматриваемым условие, состоит из двух аналогичных проверок:

Разница между ними заключается лишь в том, что в первой используется значение val1, а во второй — val2.

Таким образом, исправление ошибки, вероятнее всего, будет заключаться в замене всех val1 на val2 в повторяющемся выражении некорректного условия:

Четвёртое испытание

Ответ:

Сообщение анализатора:

V3084. Anonymous function is used to unsubscribe from 'drawingMultiplayerBuildOptions' event. No handlers will be unsubscribed, as a separate delegate instance is created for each anonymous function declaration. EditorMultiplayerManager.bindings.cs 48.

Простая, но распространённая ошибка. Здесь для подписки на событие и отписки от него используются анонимные функции. Независимо от того, насколько визуально они похожи, эти функции всё равно будут разными объектами. В результате подписка на событие выполнится корректно, а вот отписка уже не сработает.

Один из вариантов решения — вместо анонимной функции реализовать полноценный метод и использовать его для подписки/отписки на/от события.

Пятое испытание

Ответ:

Сообщение анализатора:

V3001. There are identical sub-expressions 'previewUtility.lights[0].intensity != kDefaultIntensity' to the left and to the right of the '||' operator. AvatarPreview.cs 721.

Условие первого if-оператора в методе DoRenderPreview состоит из двух одинаковых подвыражений. Это может быть как ошибкой, так и просто избыточным кодом, оставленным по невнимательности.

На наличие именно ошибки здесь намекает реализация метода SetupPreviewLightingAndFx, в которой используется не только previewUtility.lights[0], но и previewUtility.lights[1].

Таким образом, исправление ошибки может выглядеть следующим образом:

Шестое испытание

Ответ:

Сообщение анализатора:

V3025. Incorrect format. A different number of format items is expected while calling 'Format' function. Arguments not used: 3rd, 4th. UILayoutDebugger.cs 179.

Обратите внимание на второй string.Format(....). В его строке формата (первый аргумент) имеется 4 слота для вставки. Значений для вставки (2-5 аргумент) также передаётся 4. Проблема в том, что слоты содержат только номера 0 и 1. В результате в них будут вставлены только первое и второе значение, тогда как остальные два не будут использованы вовсе.

Исправленная строка формата выглядит следующим образом:

Седьмое испытание

Ответ:

Сообщение анализатора:

V3076. Comparison of 'f' with 'float.NaN' is meaningless. Use 'float.IsNaN()' method instead. PhysicsDebugWindowQueries.cs 87.

Ошибка здесь связана с не очень очевидным поведением. Сравнение двух значений равных NaN всегда ложно. Поэтому, как и советует анализатор, вместо выражения f == float.NaN здесь следует использовать float.IsNaN(f).

Восьмое испытание

Ответ:

Сообщение анализатора:

V3197. The compared value inside the 'Object.Equals' override is converted to the 'SearchIndexEntry' type instead of 'SearchField' that contains the override. SearchItem.cs 634.

Как сказано в сообщении анализатора, в первом методе Equals параметр other ошибочно приводится к типу SearchIndexEntry вместо SearchField. Из-за чего при последующем вызове Equals(l) будет вызвана та же самая перегрузка метода. Если же вдруг окажется, что other действительно имеет тип SearchIndexEntry, произойдёт зацикливание кода. Это приведёт к StackOverflowException.

Девятое испытание

Ответ:

Сообщение анализатора:

V3001. There are identical sub-expressions 'blackMinLevel < whiteMaxLevel' to the left and to the right of the '&&' operator. FrameDebuggerEventDetailsView.cs 364.

Снова перед нами if-оператор, условие которого состоит из двух, по сути, одинаковых выражений, которые отличаются друг от друга лишь порядком операндов. Вероятно, вместо blackMinLevel во втором выражении должно быть что-то другое. Рассмотрев окружающий код, наиболее логичным вариантом кажется whiteLevel. Таким образом, исправленное условие могло бы выглядеть следующим образом:

Десятое испытание

Ответ:

Сообщение анализатора:

V3042. Possible NullReferenceException. The '?.' and '.' operators are used for accessing members of the 'package' object. PackageSample.cs 102.

Проверкой в начале метода разработчик попытался обработать сразу несколько случаев:

· когда package.upmReserved равен null или пустой строке;

· когда package.resolvedPath равен null или пустой строке;

· когда package равен null.

Однако в большинстве случаев она будет работать некорректно:

· если package равен null, то NullReferenceException будет выброшен уже при разыменовании во втором подвыражении самой проверки;

· если либо package.upmReserved, либо package.resolvedPath будет равен null или пустой строке (но не оба сразу) выхода из метода, вопреки ожиданиям, не произойдёт.

Возможно, разработчик по невнимательности использовал оператор && вместо ||. Таким образом, исправленная версия проверки может выглядеть так:

Одиннадцатое испытание

Ответ:

Сообщение анализатора:

V3145. Unsafe dereference of a WeakReference target. The object could have been garbage collected between checking 'IsAlive' and accessing the 'Target' property. TextGenerator.cs 140.

Несмотря на небольшое количество кода, пожалуй, это самый сложный кейс в статье. Причин несколько:

1. Не все знакомы с понятием слабой ссылки (WeakReference). Объект, на который ссылается такая ссылка, в любой момент может быть удален сборщиком мусора, несмотря на наличие слабой ссылки.

2. Свойство WeakReference.IsAlive позволяет проверить существует ли ещё объект, на который ссылается слабая ссылка. Но в данном коде не учитывается, что этот самый объект может быть отчищен уже после прохождения проверки, перед разыменованием. В результате всё равно может быть выброшен NullReferenceException.

3. Можно было бы предположить, что оператор lock может защитить объект от сборки мусора. Однако после воспроизведения такого кейса выяснилось, что это не так.

Так как же защититься в данном случае? Чтобы наверняка избежать исключения NullReferenceException, следует создать сильную ссылку на объект. В таком случае сборщик мусора уже не сможет его удалить, пока ссылка остается актуальной. Проще говоря, нужно создать простую локальную переменную, ссылающуюся на этот объект, и дальше работать уже с ней. Таким образом, безопасная версия метода может выглядеть так:

Ну как, справились? Не устали? Что же, пришло время отдохнуть, ведь статья подходит к концу. Надеюсь, она показалась вам не только полезной, но и увлекательной.

Искать ошибки даже в таких небольших фрагментах кода бывает не просто, но найти их в кодовой базе такого большого проекта как редактор Unity практически невозможно. Конечно, если не использовать специальные программные инструменты.

Инструмент, с помощью которого были найдены потенциальные проблемы, описанные в статье, вы можете бесплатно попробовать самостоятельно, запросив триал на сайте PVS-Studio.

Кстати, с помощью анализатора кода PVS-Studio можно проанализировать не только сам Unity, но и игры, реализованные с помощью Unity. Больше информации об этом вы сможете найти в документации.

До встречи в следующих статьях!