Assertions in static blocks ?

[Ulf Zibis]

Am 07.03.2010 23:20, schrieb David Holmes - Sun Microsystems:
> Ulf Zibis said the following on 03/08/10 01:40:
>> In contrast to Keith and Neal, I think, we agree, that this 
>> "behaviour is surprising", so I would vote at least for a *warning* 
>> from javac side.
>
> I'm with Keith and Neal, this is all "working as designed". How can 
> javac in general know whether or not a class will be initialized.

This is not the question here. The question is if it *can* be 
initialized, (1) via standard java instruction or (2) via any other 
special magic like reflective call from Class.forName(). javac surely 
has knowledge about that.
If (1) could never be reached, there should be a warning, in particular 
for less experienced programmers, E.g.:
"static initializer will never be triggered by any member or method of 
this class. Could only be invoked by loading the class explicitly or 
inherently(not sure)"

> A static initializer is no different to a method or constructor in 
> that regard: none of them are ever flagged as unreachable because that 
> can't be determined a-priori by javac.

IMHO there is a _big_ difference on normal constructors and methods:
1. They _can_ always be executed by normal java instruction.
2. They will _never_ be executed, if not explicitly called from code.
On static initializers it's quite different:
1. They _cannot_ be executed by normal java instruction.
2. They will _mostly_ be _automatically_ executed but not ever, if a 
member/method from it's class is called

>
> At the absolute most I can concede that javac might issue a warning if 
> a class consisted only of constant field declarations and had a static 
> initializer, as no use of the fields would lead to initialization. But 
> even then I don't think this is worth the effort.

 From my point of view, warnings about "unchecked conversion" are often 
not worth the effort. I can't imagine any case, what could become 
broken, if ignored here:
List<MyClass> list = new ArrayList();


-Ulf

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/compiler-dev/attachments/20100308/318ebbaa/attachment.html