Spec#, nullables and more

[Michel Fortin]

On 2010-11-05 19:27:03 -0400, Walter Bright <newshound2 at digitalmars.com> said:

> Andrei Alexandrescu wrote:
>> The language may limit the static size of object. That's what Java does 
>> - it limits the size of any class to 64KB, and then every VM 
>> implementation guarantees that the first 64KB are made verboten one way 
>> or another.
> 
> I've meant to do that in D, but haven't gotten around to it.

On 32-bit OS X, that limit is 4 KB.

And what happens if I dereference a null pointer to a static array of 
65k elements and I try to read the last one?

Disallowing objects longer than 64 KB can help, but it's not a complete 
solution.

-- 
Michel Fortin
michel.fortin at michelf.com
http://michelf.com/