169 похожих чатов

Понял. А в чем причина? В том что исторически сложилось

и много кода завязано на null или это невозможно проанализировать во время компиляции по каким-то причинам? Может быть что-то невозможно предсказать

6 ответов

11 просмотров

Ну, ээ, естественно универсально предсказать невозможно, потому что для этого надо знать все конкретные вызовы (с конкретными значениями параметров) методов, которые произойдут, потому что иначе предсказать значение мутабельной величины в произвольный момент времени исполнения программы невозможно.

Исторически. В других JVM языках есть non-nullable types. Но и они не гарантируют NPE в runtime

Vlad- Автор вопроса

А почему даже они не гарантируют? Из-за того, что не могут гарантировать отсутствие null в других jvm библиотеках?

Значение может прийти из вне, как пример по HTTP, при десериализации получится NULL

Vlad- Автор вопроса

Тогда можно помечать такие объекты как nullable и требовать от программиста доказать что не null. Этого недостаточно?

Оно так и работает там, если помечаешь как NULLABLE -> тебя компилятор заставит обработать возможный null.

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта