Смотрите.
По поводу того, где проверять на null
. Правильная стратегия — определить границы ваших модулей. Внутри модуля вы доверяете nullable-аннотации, точно так же как вы и не делаете других проверок аргументов функций. Однако публичные функции, которые могут вызвать из-за границы модуля, не имеют права рассчитывать, что вызывающий код «хороший», и должны проверять свои аргументы на входе. Компилятор, кстати, выдаёт предупреждения если вы не следуете этой стратегии.
По поводу DTO-объектов, Майкрософт на текущий момент предлагает три опции (альтернативная ссылка, если вам нравится читать в переводе):
- Инициализировать в конструкторе (то есть, отойти от чистого DTO); или
- Отказаться от автоматических свойств, и бросать
InvalidOperationException
в геттере, если обнаружится null
; или
- Заткнуть анализатор, инициализируя свойства конструкцией
null!
(означающей «да, это null
, заткнись, я знаю, что делаю»).
Кстати, использование инициализирующих функций в конструкторе вполне позволительно, необходимо только правильно проставить атрибут [MemberNotNull]
.