safety model in D

[Leandro Lucarella]

Walter Bright, el  3 de noviembre a las 16:21 me escribiste:
> Andrei Alexandrescu wrote:
> >Sketch of the safe rules:
> >
> >\begin{itemize*}
> >\item No @cast@ from a pointer type to an integral type and vice versa
> 
> replace integral type with non-pointer type.
> 
> >\item No @cast@ between unrelated pointer types
> >\item Bounds checks on all array accesses
> >\item  No  unions  that  include  a reference  type  (array,  @class@,
> >  pointer, or @struct@ including such a type)
> 
> pointers are not a reference type. Replace "reference type" with
> "pointers or reference types".

Strictly speaking, arrays are not reference types either, right?


-- 
Leandro Lucarella (AKA luca)                     http://llucax.com.ar/
----------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------
Nos retiramos hasta la semana que viene reflexionando sobre nuestras
vidas: "Qué vida de mier'... Qué vida de mier'!"
	-- Sidharta Kiwi