d
в компайл тайме еще как стринг!
Size: a a a
2020 February 24
DS
Ну если ты говоришь, что тип есть, то он энивэй не стринг
Я 4 ответил
d
налл тип без имени кастится к референс
d
почему я зацепился за компайл тайм? да потому что если говорить только о рантайме - вся система рушится
DS
Есть тип, есть правила работы с этим типом (кастится к любому ссылочному типу, к нему нельзя кастить никакой тип)
d
вспомните затирание дженериков
d
если поведение в рантайме и компайле отличаются - об этом стоит сказать
d
потому что если бы у s был бы nulltype всегда - мы бы нулевые ссылки не смогли бы вообще никуда поместить
S
в компайл тайме еще как стринг!
Тут, мне кажется, тонкая грань между типом reference и типом value.
String s = "abc";
Object o = s;
У s reference тип String,
у o reference тип Object,
оба указывают на инстансе типа String:
o instanceof String вернёт true
String s = "abc";
Object o = s;
У s reference тип String,
у o reference тип Object,
оба указывают на инстансе типа String:
o instanceof String вернёт true
S
Опрос я старался как раз про value сделать, потому как именно для value у null проявляются особенности.
DS
Тут, мне кажется, тонкая грань между типом reference и типом value.
String s = "abc";
Object o = s;
У s reference тип String,
у o reference тип Object,
оба указывают на инстансе типа String:
o instanceof String вернёт true
String s = "abc";
Object o = s;
У s reference тип String,
у o reference тип Object,
оба указывают на инстансе типа String:
o instanceof String вернёт true
Во, я поэтому и говорю, что во время компиляции странно про "значения" говорить. Там ещё только типы переменных есть.
DS
По-моему, когда мы пишем String s, то мы говорим компилятору - "создай область памяти, к которой я буду обращаться по имени s, и трактуй значения в этой области памяти, как ссылки на значения типа String).
d
я думаю в случае налл - надо говорить об обоих случаях
DS
Но самих значений нету в этот момент.
S
Мне любопытен вот какой факт:
* во-первых, мы так или иначе установили, что <nulltype> и String - это два очень разных типа;
* при этом в "String s" может храниться значение одно из этих - весьма разных - типов.
* во-первых, мы так или иначе установили, что <nulltype> и String - это два очень разных типа;
* при этом в "String s" может храниться значение одно из этих - весьма разных - типов.
S
Понятно, никакой Америки это не открывает, и if (s == null) все умеют.
Но если вдуматься - это всё какой-то костыль.
Но если вдуматься - это всё какой-то костыль.
S
(про Optional знаю, сам использую, всем рекомендую)
DS
Понятно, никакой Америки это не открывает, и if (s == null) все умеют.
Но если вдуматься - это всё какой-то костыль.
Но если вдуматься - это всё какой-то костыль.
Ну так поэтому и существует NullPointerException. Потому что в джаве в переменную с типом String можно запихнуть значение типа null.
S
Ну так поэтому и существует NullPointerException. Потому что в джаве в переменную с типом String можно запихнуть значение типа null.
Отож.
S
Ну так поэтому и существует NullPointerException. Потому что в джаве в переменную с типом String можно запихнуть значение типа null.
Java не одинока, конечно. Ежели сравнивать с языками, где есть адресная арифметика - типизация Java вообще идеальна.