Язык программирования C#9 и платформа .NET5 - Троелсен Эндрю - Страница 98

Например, с помощью свойства

или операции можно программно выяснять, действительно ли переменной, допускающей , было присвоено значение . Значение, которое присвоено типу, допускающему , можно получать напрямую или через свойство . Учитывая, что суффикс является просто сокращением для использования , предыдущий метод можно было бы реализовать следующим образом:

Как отмечалось ранее, типы данных, допускающие

, особенно полезны при взаимодействии с базами данных, потому что столбцы в таблицах данных могут быть намеренно оставлены пустыми (скажем, быть неопределенными). В целях демонстрации рассмотрим показанный далее класс, эмулирующий процесс доступа к базе данных с таблицей, в которой два столбца могут принимать значения . Обратите внимание, что метод не присваивает значение члену целочисленного типа, допускающего , тогда как метод присваивает допустимое значение члену типа ?

В следующем коде происходит обращение к каждому члену класса

и выяснение присвоенных значений с применением членов и , а также операции равенства C# (точнее операции "не равно"):

(window.adrunTag = window.adrunTag || []).push({v: 1, el: 'adrun-4-390', c: 4, b: 390})

Использование ссылочных типов, допускающих null (нововведение в версии 8.0)

Важным средством, добавленным в версию C# 8, является поддержка ссылочных типов, допускающих значение

. На самом деле изменение было настолько значительным, что инфраструктуру .NET Framework не удалось обновить для поддержки нового средства. В итоге было принято решение поддерживать C# 8 только в .NET Core 3.0 и последующих версиях и также по умолчанию отключить поддержку ссылочных типов, допускающих . В новом проекте .NET Core 3.0/3.1 или .NET 5 ссылочные типы функционируют точно так же, как в C# 7. Это сделано для того, чтобы предотвратить нарушение работы миллиардов строк кода, существовавших в экосистеме до появления C# 8. Разработчики в своих приложениях должны дать согласие на включение ссылочных типов, допускающих .

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

, подчиняются множеству тех же самых правил, что и типы значений, допускающие . Переменным ссылочных типов, не допускающих , во время инициализации должны присваиваться отличающиеся от значения, которые позже нельзя изменять на . Переменные ссылочных типов, допускающих , могут принимать значение , но перед первым использованием им по-прежнему должны присваиваться какие-то значения (либо фактический экземпляр чего-нибудь, либо значение ).