ИМ
аннотации да
Size: a a a
2021 March 29
ИМ
там есть вопросик)
ИМ
тогда часть
AR
А как там? Я видел только истории с аннотациями
@NotNull, @Null в джаве.это вроде фича ide ваще, а не языка
ИМ
там есть вопросик)
это называется nullable
ES
Так то тип. А null — не часть типа.
И в этом проблема. Система типов не говорит "может ли тут быть null", а программисты этим активно пользуются для "доказательства" корректности кода.
ES
это называется nullable
Но все типы при этом по умолчанию nullable. А пишутся без вопросика. И не считается хорошим тоном проверять на
nullИМ
ES
(ну, которые
class в Java, про struct в шарпах не знаю)ИМ
неееееет
ES
неееееет
А как? Возможно, у меня какая-то очень старая джава.
ES
Когда последний раз смотрел — код вроде
ArrayList<Integer> x = null; был абсолютно корректенИМ
дичь какая
ES
И по сигнатуре функции
ArrayList<User> getUsers(); никак нельзя было узнать, можно ли вернуть null и надо ли его обрабатывать. Либо читать доки, либо смотреть аннотации при их наличии (возможно, при помощи IDE)ES
Nullable и вопросик в C#, я так понимаю, добавлен для value types, которые как раз null хранить по умолчанию не умеют. Инты всякие,
struct'ы... А вот объекты всегда nullable, как и в Java.A
(ну, которые
class в Java, про struct в шарпах не знаю)struct не может быть null, class - может. но это уже фиксят, как выше отметили
IV
кстати, nullable type в шарпе можно определить с помощью рефлексии?
ES
struct не может быть null, class - может. но это уже фиксят, как выше отметили
