bug in assigning to dynamic array element

via Digitalmars-d digitalmars-d at puremagic.com
Mon Nov 3 08:39:43 PST 2014


On Monday, 3 November 2014 at 00:16:48 UTC, ketmar via 
Digitalmars-d wrote:
> error-prone code. no, this is not "another task for lint". not
> rejecting such code is "safe" in the terms of "program will not
> segfault", but it's obviously not safe in terms of "correct 
> code".

Yes, this is a common complaint. Without solid semantic analysis 
it would probably be better to only have dynamic vectors as a 
library type with fat slices that are locked to the underlying 
array. That's what everybody expects from a dynamic array type 
anyway. …it is a reaaallyyy good idea to support what most 
people's assumptions about dynamic arrays…

D would gain more from relaxing "memory safe" language constructs 
and focus more on supporting programming constructs by semantic 
analysis. This is an area where the C++ crowd will be gridlocked 
to their backwards compatible mindset. But they are getting 
increasingly more powerful sanitizers…


More information about the Digitalmars-d mailing list