Groups > comp.lang.java.programmer > #36836

Re: null checks

Path	csiph.com!eternal-september.org!feeder.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From	Martin Gregorie <martin@address-in-sig.invalid>
Newsgroups	comp.lang.java.programmer
Subject	Re: null checks
Date	Sat, 8 Jul 2017 21:14:59 -0000 (UTC)
Organization	A noiseless patient Spider
Lines	26
Message-ID	<ojri0j$j6$1@dont-email.me> (permalink)
References	<fb0314ea-bd97-4348-8af1-3ac9f9f46bdc@googlegroups.com> <ojoaip$pab$1@gioia.aioe.org> <70f5af57-8dc0-416c-b2aa-0bbbb47fc7b5@googlegroups.com> <ojobsn$rh8$1@gioia.aioe.org> <wj8y35fwauls$.t07pxjfiv3wa.dlg@40tude.net>
Mime-Version	1.0
Content-Type	text/plain; charset=UTF-8
Content-Transfer-Encoding	8bit
Injection-Date	Sat, 8 Jul 2017 21:14:59 -0000 (UTC)
Injection-Info	mx02.eternal-september.org; posting-host="140303e73431db828bd3f67d48099a64"; logging-data="614"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19MuqsxlG0elRy4j6hDspDh7+ZxCbditxw="
User-Agent	Pan/0.141 (Tarzan's Death; 168b179 git.gnome.org/pan2)
Cancel-Lock	sha1:FvVdUCGVxRmHcd0W0A8LGXM3XfU=
Xref	csiph.com comp.lang.java.programmer:36836

Show key headers only | View raw

On Sat, 08 Jul 2017 22:33:36 +0200, Joerg Meier wrote:

> On Fri, 7 Jul 2017 12:12:04 -0400, Arne Vajhøj wrote:
> 
>> I don't like to rely on IDE/checktool to enforce integrity of
>> application.
> 
> Why not ? You presumably let a tool do your type checking for you all
> the time. Where is the difference to null checking ?
>
I'm with Arne here.

Type checking can generally be done at compile time because its static 
w.r.t code statements. 

However, the same doesn't apply to null checks. Whether a reference 
variable contains null or not depends on what has been assigned to it 
while the code was executing. Whether a null value is valid is entirely 
dependent on the logic of the code using it and so often cannot be 
checked at compile time.

-- 
martin@   | Martin Gregorie
gregorie. | Essex, UK
org       |

Thread

null checks Eric Douglas <e.d.programmer@gmail.com> - 2017-07-07 08:03 -0700
  Re: null checks Arne Vajhøj <arne@vajhoej.dk> - 2017-07-07 11:49 -0400
    Re: null checks Eric Douglas <e.d.programmer@gmail.com> - 2017-07-07 08:54 -0700
      Re: null checks Arne Vajhøj <arne@vajhoej.dk> - 2017-07-07 12:12 -0400
        Re: null checks Eric Douglas <e.d.programmer@gmail.com> - 2017-07-07 10:16 -0700
        Re: null checks Joerg Meier <joergmmeier@arcor.de> - 2017-07-08 22:33 +0200
          Re: null checks Martin Gregorie <martin@address-in-sig.invalid> - 2017-07-08 21:14 +0000
            Re: null checks Eric Sosman <esosman@comcast-dot-net.invalid> - 2017-07-08 17:51 -0400
              Re: null checks Martin Gregorie <martin@address-in-sig.invalid> - 2017-07-08 22:26 +0000
            Re: null checks Arne Vajhøj <arne@vajhoej.dk> - 2017-07-08 18:28 -0400
            Re: null checks Joerg Meier <joergmmeier@arcor.de> - 2017-07-25 07:26 +0200
              Re: null checks Martin Gregorie <martin@address-in-sig.invalid> - 2017-07-25 12:12 +0000
          Re: null checks Arne Vajhøj <arne@vajhoej.dk> - 2017-07-08 18:20 -0400
            Re: null checks Eric Douglas <e.d.programmer@gmail.com> - 2017-07-10 05:35 -0700
        Re: null checks Robert Klemme <shortcutter@googlemail.com> - 2017-07-09 13:10 +0200
      Re: null checks Eric Sosman <esosman@comcast-dot-net.invalid> - 2017-07-07 12:53 -0400
        Re: null checks lewbloch@gmail.com - 2017-07-26 11:16 -0700
          Re: null checks Eric Douglas <e.d.programmer@gmail.com> - 2017-07-26 11:40 -0700
            Re: null checks Eric Sosman <esosman@comcast-dot-net.invalid> - 2017-07-26 16:40 -0400
            Re: null checks lewbloch@gmail.com - 2017-07-28 18:47 -0700
  Re: null checks Wayne <wayne@nospam.invalid> - 2017-07-07 16:24 -0400
  Re: null checks Joerg Meier <joergmmeier@arcor.de> - 2017-07-08 22:32 +0200
  Re: null checks Lothar Kimmeringer <news201705@kimmeringer.de> - 2017-07-09 15:59 +0200
    Re: null checks Arne Vajhøj <arne@vajhoej.dk> - 2017-07-11 20:30 -0400

csiph-web