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